Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Toward Quantum Software Automation: A Quantum-Aware Harness for LLM-Guided Evolution
Lily Jiaxin Wan, Deming Chen, Klara Nahrstedt +1
Quantum software is critical for improving the efficiency and reliability of scarce quantum hardware. However, its design still relies heavily on ad-hoc, handcrafted heuristics tha…
cs.AI2026
SVR-R1: Bootstrapping Multi-modal Reasoning with Self-verification in Reinforcement Learning
Mingyuan Wu, Jingcheng Yang, Shengyi Qian +11
We introduce Self-Verified Reasoner (SVR-R1), a multi-turn RL framework that turns a model's own verification into a learning signal for multimodal reasoning. For each query, the m…