Constructions in combinatorics via neural networks

29 April 2021

Papers citing "Constructions in combinatorics via neural networks"

22 / 22 papers shown

Title
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics Herman Chau Helen Jenne Davis Brown Jesse He Mark Raugas Sara Billey Henry Kvinge 36 0 0 09 Mar 2025
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 20 0 20 Dec 2024
GraphXForm: Graph transformer for computer-aided molecular design Jonathan Pirnay Jan G. Rittig Alexander B. Wolf Martin Grohe Jakob Burger Alexander Mitsos D. G. Grimm AI4CE 49 1 0 03 Nov 2024
PatternBoost: Constructions in Mathematics with a Little Help from AI François Charton Jordan S. Ellenberg Adam Zsolt Wagner Geordie Williamson 21 8 0 01 Nov 2024
Reinforcement Learning the Chromatic Symmetric Function Gergely Bérczi Jonas Klüver 17 0 0 24 Oct 2024
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers Alberto Alfarano François Charton Amaury Hayat 23 12 0 10 Oct 2024
$Automated conjecturing in mathematics with \emph{TxGraffiti}$ Automated conjecturing in mathematics with \emph{TxGraffiti} Randy Davila 13 2 0 28 Sep 2024
Refutation of Spectral Graph Theory Conjectures with Search Algorithms) Milo Roucairol Tristan Cazenave 16 2 0 27 Sep 2024
Can Transformers Do Enumerative Geometry? Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 32 2 0 27 Aug 2024
A Systematization of the Wagner Framework: Graph Theory Conjectures and Reinforcement Learning Flora Angileri Giulia Lombardi Andrea Fois Renato Faraone C. Metta ... M. Fantozzi S. Galfrè Daniele Pavesi Maurizio Parton F. Morandin 19 2 0 18 Jun 2024
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving Chenyang An Zhibo Chen Qihao Ye Emily First Letian Peng Jiayun Zhang Zihan Wang Sorin Lerner Jingbo Shang LRM 34 6 0 10 Apr 2024
Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search Abbas Mehrabian Ankit Anand Hyunjik Kim Nicolas Sonnerat Matej Balog ... Laurent Orseau Joonkyung Lee Anurag Murty Naredla Doina Precup Adam Zsolt Wagner 11 7 0 06 Nov 2023
Machine learning detects terminal singularities Tom Coates A. Kasprzyk Sara Veneziale 32 6 0 31 Oct 2023
Machine learning the dimension of a Fano variety Tom Coates A. Kasprzyk Sara Veneziale 11 7 0 11 Sep 2023
RamseyRL: A Framework for Intelligent Ramsey Number Counterexample Searching Steve Vott Adam Lehavi 6 0 0 23 Aug 2023
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory V. Vito L. Y. Stefanus 11 0 0 13 Jun 2023
Machine-Learning Kronecker Coefficients Kyu-Hwan Lee 10 3 0 07 Jun 2023
Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu's formula Kirill Brilliantov Fedor Pavutnitskiy D. Pasechnyuk German Magai 14 0 0 01 Jun 2023
Is deep learning a useful tool for the pure mathematician? G. Williamson FedML 13 13 0 25 Apr 2023
On scientific understanding with artificial intelligence Mario Krenn R. Pollice S. Guo Matteo Aldeghi Alba Cervera-Lierta ... Florian Hase A. Jinich AkshatKumar Nigam Zhenpeng Yao Alán Aspuru-Guzik 23 185 0 04 Apr 2022
Learning proofs for the classification of nilpotent semigroups C. Simpson 14 1 0 06 Jun 2021
Measuring global properties of neural generative model outputs via generating mathematical objects Bernt Ivar Utstøl Nødland 6 0 0 28 May 2021