2 papers
cs.AI2026
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Benjamin Breen, Marco Del Tredici, Jacob McCarran +6
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collab…
cond-mat.mes-hall2026
Localized emission in MoSe monolayers on GaN nanopillars
Abderrahim Lamrani Alaoui, Ãlvaro Moreno, Maximilian Heithoff +12
Solid-state quantum emitters (QEs) in two-dimensional semiconductors offer compact, chip-compatible sources for quantum photonics. In transition-metal dichalcogenides (TMDs), nanop…