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 38 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 21 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 58 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 23 8 0 01 Nov 2024
Reinforcement Learning the Chromatic Symmetric Function Gergely Bérczi Jonas Klüver 22 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 25 12 0 10 Oct 2024
$Automated conjecturing in mathematics with \emph{TxGraffiti}$ Automated conjecturing in mathematics with \emph{TxGraffiti} Randy Davila 24 2 0 28 Sep 2024
Refutation of Spectral Graph Theory Conjectures with Search Algorithms) Milo Roucairol Tristan Cazenave 21 2 0 27 Sep 2024
Can Transformers Do Enumerative Geometry? Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 44 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 26 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 42 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 19 7 0 06 Nov 2023
Machine learning detects terminal singularities Tom Coates A. Kasprzyk Sara Veneziale 40 6 0 31 Oct 2023
Machine learning the dimension of a Fano variety Tom Coates A. Kasprzyk Sara Veneziale 21 7 0 11 Sep 2023
RamseyRL: A Framework for Intelligent Ramsey Number Counterexample Searching Steve Vott Adam Lehavi 16 0 0 23 Aug 2023
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory V. Vito L. Y. Stefanus 19 0 0 13 Jun 2023
Machine-Learning Kronecker Coefficients Kyu-Hwan Lee 15 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 22 0 0 01 Jun 2023
Is deep learning a useful tool for the pure mathematician? G. Williamson FedML 23 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 33 186 0 04 Apr 2022
Learning proofs for the classification of nilpotent semigroups C. Simpson 27 1 0 06 Jun 2021
Measuring global properties of neural generative model outputs via generating mathematical objects Bernt Ivar Utstøl Nødland 13 0 0 28 May 2021