Notes on a Path to AI Assistance in Mathematical Reasoning

Alex Kontorovich

Type: Preprint

Publication Date: 2023-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2310.02896

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Formal Mathematical Reasoning: A New Frontier in AI	2024	Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song
+ PDF Chat	Machine Learning and Information Theory Concepts towards an AI Mathematician	2024	Yoshua Bengio Nikolay Malkin
+	Engaging Mathematical Reasoning-and-Proving: A Task, a Method, and a Taxonomy.	2019	Unni Wathne Cornelia Brodahl
+ PDF Chat	Machine learning and information theory concepts towards an AI Mathematician	2024	Yoshua Bengio Nikolay Malkin
+	Adventures in Mathematical Reasoning	2016	Sherman K. Stein
+ PDF Chat	FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI	2024	Elliot Glazer Ege Erdil Tamay Besiroglu Diego Chicharro Evan Chen Amy C. Gunning Caroline Olsson Jean-Stanislas Denain Anson Ho Emily de Oliveira Santos
+	Numbers and Reasoning	2020	Henri Picciotto
+ PDF Chat	LILA: A Unified Benchmark for Mathematical Reasoning	2022	Swaroop Mishra Matthew Finlayson Pan Lu Leonard Tang Sean Welleck Chitta Baral Tanmay Rajpurohit Oyvind Tafjord Ashish Sabharwal Peter E. Clark
+ PDF Chat	A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems	2024	Roozbeh Yousefzadeh Xuenan Cao
+ PDF Chat	NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks	2022	Swaroop Mishra Arindam Mitra Neeraj Varshney Bhavdeep Sachdeva Peter Clark Chitta Baral Ashwin Kalyan
+ PDF Chat	Theorem proving in artificial neural networks: new frontiers in mathematical AI	2024	Markus Pantsar
+ PDF Chat	A Triumvirate of AI Driven Theoretical Discovery	2024	Yang‐Hui He
+	How syntactic reasoners can develop understanding, evaluate conjectures, and generate counterexamples in advanced mathematics	2009	Keith Weber
+ PDF Chat	AI for Mathematics Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean4	2024	Xianhua Tang
+	The crisis in finite mathematics: Automated reasoning as cause and cure	1994	John Slaney
+	Mathematical Reasoning: Writing and Proof Version 3	2020	Ted Sundstrom
+ PDF Chat	On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods	2021	Jeffrey Uhlmann Jie Wang
+ PDF Chat	Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI	2024	S. Li Wei Zhang Tianyang Zhong
+ PDF Chat	Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery	2024	Eamon Duede Kevin J. Davey
+	Measuring and Improving BERT’s Mathematical Abilities by Predicting the Order of Reasoning.	2021	Piotr Piękos Mateusz Malinowski Henryk Michalewski

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors