Is deep learning a useful tool for the pure mathematician?

25 April 2023

Papers citing "Is deep learning a useful tool for the pure mathematician?"

10 / 10 papers shown

Title
Colored Jones Polynomials and the Volume Conjecture M. Hughes Vishnu Jejjala P. Ramadevi Pratik Roy Vivek Kumar Singh 31 0 0 25 Feb 2025
Big data approach to Kazhdan-Lusztig polynomials Abel Lacabanne Daniel Tubbenhauer Pedro Vaz 62 2 0 02 Dec 2024
A Triumvirate of AI Driven Theoretical Discovery Yang-Hui He AI4CE 40 4 0 30 May 2024
Large Language Models for Mathematicians Simon Frieder Julius Berner P. Petersen Thomas Lukasiewicz 13 4 0 07 Dec 2023
Machine learning detects terminal singularities Tom Coates A. Kasprzyk Sara Veneziale 32 6 0 31 Oct 2023
Asynchronous Algorithmic Alignment with Cocycles Andrew Dudzik Tamara von Glehn Razvan Pascanu Petar Velivcković 26 9 0 27 Jun 2023
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory V. Vito L. Y. Stefanus 16 0 0 13 Jun 2023
How does over-squashing affect the power of GNNs? Francesco Di Giovanni T. Konstantin Rusch Michael M. Bronstein Andreea Deac Marc Lackenby Siddhartha Mishra Petar Velivcković 28 34 0 06 Jun 2023
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Q. Jiang Sean Welleck Jin Peng Zhou Wenda Li Jiacheng Liu M. Jamnik Timothée Lacroix Yuhuai Wu Guillaume Lample AIMat 63 157 0 21 Oct 2022
Deep Learning Gauss-Manin Connections K. Heal Avinash Kulkarni E. Sertöz 26 8 0 27 Jul 2020