Automated Theorem Proving

5 Items

Automated Theorem Proving

All Items

  • AI for Mathematics: Progress, Challenges, and Prospects

    Haocheng Ju, Bin Dong
    DOI: https://doi.org/10.70777/si.v3i3.18747
  • Aristotle: IMO-level Automated Theorem Proving

    Tudor Achim, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, Kirsten Henningsgard, Yury Kudryashov, Alexander Meiburg, Martin Michelsen, Riley Patterson, Eric Rodriguez, Laura Scharff, Vikram Shanker, Vladmir Sicca, Hari Sowrirajan, Aidan Swope, Matyas Tamas, Vlad Tenev, Jonathan Thomm, Harold Williams, Lawrence Wu
    DOI: https://doi.org/10.70777/si.v3i3.18745
  • Automated Conjecture Resolution with Formal Verification

    Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Shurui Liu, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong
    DOI: https://doi.org/10.70777/si.v3i3.18746
  • Explanations of the Fermi Paradox and the Drake Equation

    Kris
    DOI: https://doi.org/10.70777/si.v3i4.18374
  • SI Report-Harmonic Aristotle Automated Theorem Prover

    Kris Carlson
    DOI: https://doi.org/10.70777/si.v3i3.18760