Growing an Agent/Prover Interface: Evolutionary Tool Design for Cost-Efficient Theorem Proving in Rocq and LeanResearchOct 1, 2026
$D^2$-Monitor: Dynamic Safety Monitoring for Diffusion LLMs via Hesitation SignalsResearchOct 1, 2026
Cybersecurity in Edge Computing: A Trust-Aware Federated Hybrid Intrusion Detection FrameworkResearchOct 1, 2026