⚛️ quantum physics
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Dit artikel introduceert Lean-QuantumAlg-Bench en Lean-QIT-Bench, twee Lean 4-benchmarks voor het evalueren van AI-agenten op het gebied van kwantumstellingbewijzen, waarbij wordt aangetoond dat bibliotheek-geaugmenteerde deductie de prestaties aanzienlijk verbetert terwijl specifieke domeinspecifieke zwakheden en efficiëntie-afwegingen over vier toonaangevende modellen worden onthuld.
Lei Zhang, Yusheng Zhao, Yimeng Cao, Ranyiliu Chen, Mingrui Jing, Jizhe Lai, Ziao Tang, Jingu Xie, Hongshun Yao, Xuanqia (…)2026-07-24