Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics

9 March 2025

Papers citing "Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics"

9 / 9 papers shown

Title
The Clock and the Pizza: Two Stories in Mechanistic Explanation of Neural Networks Ziqian Zhong Ziming Liu Max Tegmark Jacob Andreas 72 100 0 30 Jun 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang Aidan M. Swope Alex Gu Rahul Chalamala Peiyang Song Shixing Yu Saad Godil R. Prenger Anima Anandkumar RALM 86 239 0 27 Jun 2023
Seeing is Believing: Brain-Inspired Modular Training for Mechanistic Interpretability Ziming Liu Eric Gan Max Tegmark 71 40 0 04 May 2023
Machine Learning Algebraic Geometry for Physics Jiakang Bao Yang-Hui He Elli Heyes Edward Hirst AI4CE 43 12 0 21 Apr 2022
The Role of Permutation Invariance in Linear Mode Connectivity of Neural Networks R. Entezari Hanie Sedghi O. Saukh Behnam Neyshabur MoMe 89 236 0 12 Oct 2021
Program Synthesis with Large Language Models Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski ... Ellen Jiang Carrie J. Cai Michael Terry Quoc V. Le Charles Sutton ELM AIMat ReCod ALM 198 1,986 0 16 Aug 2021
Constructions in combinatorics via neural networks Adam Zsolt Wagner BDL 151 52 0 29 Apr 2021
Quiver Mutations, Seiberg Duality and Machine Learning Jiakang Bao S. Franco Yang-Hui He Edward Hirst Gregg Musiker Yan Xiao 152 40 0 18 Jun 2020
Universal Invariant and Equivariant Graph Neural Networks Nicolas Keriven Gabriel Peyré 189 292 0 13 May 2019