{"total":37,"rows":[{"id":"2204.01467","title":"On scientific understanding with artificial intelligence","created":"2022-04-04","cited_by_count":70,"area":null},{"id":"2511.23473","title":"ThetaEvolve: Test-time Learning on Open Problems","created":"2025-11-28","cited_by_count":64,"area":null},{"id":"2411.00566","title":"PatternBoost: Constructions in Mathematics with a Little Help from AI","created":"2024-11-01","cited_by_count":34,"area":null},{"id":"2304.12602","title":"Is deep learning a useful tool for the pure mathematician?","created":"2023-04-25","cited_by_count":14,"area":null},{"id":"2404.07382","title":"Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving","created":"2024-04-10","cited_by_count":11,"area":null},{"id":"2412.15184","title":"Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning","created":"2024-12-19","cited_by_count":11,"area":null},{"id":"2310.20458","title":"Machine learning detects terminal singularities","created":"2023-10-31","cited_by_count":9,"area":null},{"id":"2603.09172","title":"Reinforced Generation of Combinatorial Structures: Ramsey Numbers","created":"2026-03-10","cited_by_count":9,"area":null},{"id":"2311.03583","title":"Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search","created":"2023-11-06","cited_by_count":8,"area":null},{"id":"2408.14915","title":"Can Transformers Do Enumerative Geometry?","created":"2024-08-27","cited_by_count":8,"area":null},{"id":"2309.05473","title":"Machine learning the dimension of a Fano variety","created":"2023-09-11","cited_by_count":7,"area":null},{"id":"2411.01667","title":"GraphXForm: Graph transformer for computer-aided molecular design","created":"2024-11-03","cited_by_count":6,"area":null},{"id":"2503.06366","title":"Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics","created":"2025-03-09","cited_by_count":5,"area":null},{"id":"2207.03343","title":"Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search","created":"2022-07-04","cited_by_count":4,"area":null},{"id":"2501.18527","title":"Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?","created":"2025-01-30","cited_by_count":4,"area":null},{"id":"2604.06107","title":"Artificial Intelligence and the Structure of Mathematics","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2601.18005","title":"Flow-based Extremal Mathematical Structure Discovery","created":"2026-01-25","cited_by_count":3,"area":null},{"id":"2601.21150","title":"Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operations","created":"2026-01-29","cited_by_count":3,"area":null},{"id":"2106.03015","title":"Learning proofs for the classification of nilpotent semigroups","created":"2021-06-06","cited_by_count":1,"area":null},{"id":"2306.04734","title":"Machine-Learning Kronecker Coefficients","created":"2023-06-07","cited_by_count":1,"area":null},{"id":"2306.07956","title":"Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory","created":"2023-06-13","cited_by_count":1,"area":null},{"id":"2306.16951","title":"Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu's formula","created":"2023-06-01","cited_by_count":1,"area":null},{"id":"2311.09891","title":"Classification-based detection and quantification of cross-domain data bias in materials discovery","created":"2023-11-16","cited_by_count":1,"area":null},{"id":"2410.07397","title":"Aligning AI-driven discovery with human intuition","created":"2024-10-09","cited_by_count":1,"area":null},{"id":"2512.11469","title":"Three methods, one problem: Classical and AI approaches to no-three-in-line","created":"2025-12-12","cited_by_count":1,"area":null},{"id":"2605.19063","title":"Mapping Uncharted Symmetries: Machine Discovery in Combinatorics","created":"2026-05-18","cited_by_count":1,"area":null},{"id":"2607.28632","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","created":"2026-04-19","cited_by_count":1,"area":null},{"id":"2105.13669","title":"Measuring global properties of neural generative model outputs via generating mathematical objects","created":"2021-05-28","cited_by_count":0,"area":null},{"id":"2308.11943","title":"RamseyRL: A Framework for Intelligent Ramsey Number Counterexample Searching","created":"2023-08-23","cited_by_count":0,"area":null},{"id":"2601.16849","title":"The Art of Being Difficult: Combining Human and AI Strengths to Find Adversarial Instances for Heuristics","created":"2026-01-23","cited_by_count":0,"area":null},{"id":"2604.07240","title":"$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture","created":"2026-04-08","cited_by_count":0,"area":null},{"id":"2604.11504","title":"Lectures on AI for Mathematics","created":"2026-04-13","cited_by_count":0,"area":null},{"id":"2606.16989","title":"Stable Menus of Public Goods: AI-Enabled Progress","created":"2026-06-15","cited_by_count":0,"area":null},{"id":"2606.26399","title":"Geometry-Aware MCTS for Extremal Problems in Combinatorial Geometry","created":"2026-06-24","cited_by_count":0,"area":null},{"id":"2606.26660","title":"Generating Special Triangulations with Transformers","created":"2026-06-25","cited_by_count":0,"area":null},{"id":"2609.37056","title":"Evolving Towards Better Codes: LLM-Guided Search for High-Distance Binary Linear Codes","created":"2026-09-29","cited_by_count":0,"area":null},{"id":"2610.18856","title":"Exact Topological Compliance: Generating Persistence-Equivalent Graphs","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}