Showing 2025Show all
3 papers · 1 filter
cs.AI2025
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…
physics.app-ph2025
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
Ryan Tomich, Zhizhen Zhong, Dirk Englund
The growing demand for low-latency, energy-efficient inference in large language models (LLMs) has catalyzed interest in heterogeneous architectures. While GPUs remain dominant, th…
quant-ph2025
Hardware Co-Designed Optimal Control for Programmable Atomic Quantum Processors via Reinforcement Learning
Qian Ding, Dirk Englund
Developing scalable, fault-tolerant atomic quantum processors requires precise control over large arrays of optical beams. This remains a major challenge due to inherent imperfecti…