External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Position: Formal Mathematical Reasoning - A New Frontier in AI

Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song. Position: Formal Mathematical Reasoning - A New Frontier in AI. In Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025 - Position Paper Track. OpenReview.net, 2025. [doi]

Authors

Kaiyu Yang

This author has not been identified. Look up 'Kaiyu Yang' in Google

Gabriel Poesia

This author has not been identified. Look up 'Gabriel Poesia' in Google

Jingxuan He

This author has not been identified. Look up 'Jingxuan He' in Google

Wenda Li

This author has not been identified. Look up 'Wenda Li' in Google

Kristin E. Lauter

This author has not been identified. Look up 'Kristin E. Lauter' in Google

Swarat Chaudhuri

This author has not been identified. It may be one of the following persons: Look up 'Swarat Chaudhuri' in Google

Dawn Song

This author has not been identified. Look up 'Dawn Song' in Google
runs on