Long-horizon reasoning is vulnerable to early errors that compromise later decisions. We present QART, the Quantum-Augmented Reasoning Transformer, a quantum--classical hybrid architecture combining a backbone language model with quantum encoding, CIM-based QUBO optimization, and quantum decoding. Semantic information...
Le-Hao Lin, Yuheng Cheng, Guolong Liu et al.· 0 citations
Proof-Verified Benchmark Rewriting (RePro) is proposed, the first framework to integrate Lean-oriented neural automated theorem provers (ATPs) into benchmark rewriting, which rewrites problems and regenerates answers with correctness ensured by Lean-verified proofs.
Xiyuan Zhou, Zhuo-Qi Li, Xinlei Wang et al.· 0 citations
An organizing framework for understanding LLM‐based agents is established, systematically deconstructing both single‐agent and multi‐agent systems into their core components, and the architectural principles and key mechanisms that underpin their intelligence are analyzed.
Yuheng Cheng, Ceyao Zhang, Zhengwen Zhang et al.· WIREs Data Mining and Knowle...· 2 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.