{"total":19,"rows":[{"id":"2101.06317","title":"Machine-Learning Mathematical Structures","created":"2021-01-15","cited_by_count":25,"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":"2203.13847","title":"Cluster Algebras: Network Science and Machine Learning","created":"2022-03-25","cited_by_count":9,"area":null},{"id":"2304.12154","title":"Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition","created":"2023-04-24","cited_by_count":7,"area":null},{"id":"2311.12904","title":"Learning to Compute Gr\\\"obner Bases","created":"2023-11-21","cited_by_count":7,"area":null},{"id":"2505.23696","title":"Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms","created":"2025-05-29","cited_by_count":7,"area":null},{"id":"2405.19973","title":"A Triumvirate of AI Driven Theoretical Discovery","created":"2024-05-30","cited_by_count":5,"area":null},{"id":"2307.00252","title":"An ML approach to resolution of singularities","created":"2023-07-01","cited_by_count":3,"area":null},{"id":"2202.06086","title":"From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook","created":"2022-02-12","cited_by_count":2,"area":null},{"id":"2401.13343","title":"Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD","created":"2024-01-24","cited_by_count":2,"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":"2106.03676","title":"Learning a performance metric of Buchberger's algorithm","created":"2021-06-07","cited_by_count":1,"area":null},{"id":"2302.05364","title":"Predicting the cardinality and maximum degree of a reduced Gr\\\"obner basis","created":"2023-02-10","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":"2404.17508","title":"Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems","created":"2024-04-26","cited_by_count":1,"area":null},{"id":"2512.14722","title":"HATSolver: Learning Groebner Bases with Hierarchical Attention Transformers","created":"2025-12-09","cited_by_count":1,"area":null},{"id":"2209.04361","title":"SC-Square: Future Progress with Machine Learning?","created":"2022-09-09","cited_by_count":0,"area":null},{"id":"2312.05299","title":"Learning to be Simple","created":"2023-12-08","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}],"next_cursor":null}