The Future of AI-assisted Physics: Discovering, Verifying and Organizing Results via Formalization

arXiv:2610.14059 · hep-ph, cs.AI, cs.LO, hep-th · Submitted 2026-10-06 · Read on arXiv

hep-ph, cs.AI, cs.LO, hep-th

Submitted: 2026-10-06

Updated: 2026-10-06

Related papers