5 papers
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…
How to augment cosmic shear measurements with radio polarimetry of galaxies?
Liang Dai, Junwu Huang, Weichen Winston Yin +2
The integral polarization of spiral galaxies in the radio band has been proposed as a new tracer of the intrinsic galaxy shape that augments lensing shear measurements. We revisit…
Integral Curves and Flows on Banach Manifolds in Lean
Weichen Winston Yin, Yury Kudryashov
We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properti…
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…
A New Probe of Cosmic Birefringence Using Galaxy Polarization and Shapes
Weichen Winston Yin, Liang Dai, Junwu Huang +2
We propose a novel statistical method to measure cosmic birefringence and demonstrate its power in probing parity violation due to axions. Exploiting an empirical correlation betwe…