Yin, Weichen Winston
- Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
2025/10/14 by Breen, Benjamin, Del Tredici, Marco, McCarran, Jacob +6 · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multiagent Systems (cs.MA)
- A New Probe of Cosmic Birefringence Using Galaxy Polarization and Shapes
2024/02/28 by Weichen Winston Yin, Liang Dai, Yin, Weichen Winston +7 · 2 citations
Physics and Astronomy · #Astronomy and Astrophysical Research #Astrophysics of Galaxies (astro-ph.GA) #Cosmology and Nongalactic Astrophysics (astro-ph.CO) #FOS: Physical sciences #High Energy Physics - Phenomenology (hep-ph) #History and Developments in Astronomy #Stellar, planetary, and galactic studies