24 citations · 44 across the 7 of their papers we have counts for
Showing 2025Show all
2 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…
astro-ph.GA2025
Polarization-shape alignment of IllustrisTNG star-forming galaxies
Rui Zhou, Liang Dai, Junwu Huang +2
In star-forming disk galaxies, the radio continuum emission (-GHz) powered by star formation has an integrated polarization direction imperfectly aligned with the apparent…