Peano: Learning Formal Mathematical Reasoning

29 November 2022

Papers citing "Peano: Learning Formal Mathematical Reasoning"

11 / 11 papers shown

Title
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 21 0 20 Dec 2024
Quantifying artificial intelligence through algebraic generalization Takuya Ito Murray Campbell L. Horesh Tim Klinger Parikshit Ram ELM 48 0 0 08 Nov 2024
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis Sagnik Anupam Maddy Bowers Omar Costilla-Reyes Armando Solar-Lezama 15 0 0 26 Sep 2024
What makes math problems hard for reinforcement learning: a case study Ali Shehper A. Medina-Mardones Lucas Fagan Angus Gruen Piotr Kucharski Sergei Gukov Piotr Kucharski Zhenghan Wang Sergei Gukov 32 3 0 27 Aug 2024
Building Machines that Learn and Think with People Katherine M. Collins Ilia Sucholutsky Umang Bhatt Kartik Chandra Lionel Wong ... Mark K. Ho Vikash K. Mansinghka Adrian Weller Joshua B. Tenenbaum Thomas L. Griffiths 54 30 0 22 Jul 2024
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia David Broman Nick Haber Noah D. Goodman LRM 35 9 0 30 Jun 2024
Exploring the hierarchical structure of human plans via program generation Carlos G. Correa Sophia Sanborn Mark K. Ho Frederick Callaway Nathaniel D. Daw Thomas L. Griffiths 35 10 0 30 Nov 2023
AI for Mathematics: A Cognitive Science Perspective Cedegao E. Zhang Katherine M. Collins Adrian Weller Joshua B. Tenenbaum 36 9 0 19 Oct 2023
Forward-Backward Reasoning in Large Language Models for Mathematical Verification Weisen Jiang Han Shi L. Yu Zheng Liu Yu Zhang Zhenguo Li James T. Kwok LRM 42 25 0 15 Aug 2023
Certified Deductive Reasoning with Language Models Gabriel Poesia Kanishk Gandhi E. Zelikman Noah D. Goodman ELM ReLM LRM 32 0 0 06 Jun 2023
Formal Mathematics Statement Curriculum Learning Stanislas Polu Jesse Michael Han Kunhao Zheng Mantas Baksys Igor Babuschkin Ilya Sutskever AIMat 86 116 0 03 Feb 2022