Position: Formal Mathematical Reasoning - A New Frontier in AI

Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter +2 more
2/14/2026

No confident code implementation found for this paper.

Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{yang2026position,
  title  = {Position: Formal Mathematical Reasoning - A New Frontier in AI},
  author = {Kaiyu Yang and Gabriel Poesia and Jingxuan He and Wenda Li and Kristin E. Lauter and Swarat Chaudhuri and Dawn Song},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:8922c97b7836e308d0f632ad2bbc99782ebfcf4c},
  journal = {ICML 2025 2025}
}

Discussion