| LeanAgent: Lifelong Learning for Formal Theorem Proving | Oct 8, 2024 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 2 |
| Scaling Language Models: Methods, Analysis & Insights from Training Gopher | Dec 8, 2021 | Abstract AlgebraAnachronisms | CodeCode Available | 2 |
| Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task | Feb 27, 2025 | Abstract Algebra | CodeCode Available | 1 |
| ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics | Feb 24, 2023 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 1 |
| Effectiveness of Zero-shot-CoT in Japanese Prompts | Mar 9, 2025 | Abstract AlgebraCollege Mathematics | —Unverified | 0 |
| Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics | Mar 9, 2025 | Abstract AlgebraProgram Synthesis | —Unverified | 0 |
| Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 | Sep 9, 2024 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 0 |
| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 |
| Data valuation: The partial ordinal Shapley value for machine learning | May 2, 2023 | Abstract AlgebraData Valuation | CodeCode Available | 0 |
| Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations | Mar 13, 2023 | Abstract Algebra | —Unverified | 0 |
| Knowledgebra: An Algebraic Learning Framework for Knowledge Graph | Apr 15, 2022 | Abstract AlgebraGeneral Knowledge | —Unverified | 0 |
| Graph Neural Networks are Dynamic Programmers | Mar 29, 2022 | Abstract AlgebraLearning to Execute | —Unverified | 0 |
| Algebraic Learning: Towards Interpretable Information Modeling | Mar 13, 2022 | Abstract Algebra | —Unverified | 0 |
| Artificial Cognitively-inspired Generation of the Notion of Topological Group in the Context of Artificial Mathematical Intelligence | Dec 5, 2021 | Abstract Algebra | —Unverified | 0 |
| Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning | Nov 25, 2021 | Abstract AlgebraSystematic Generalization | —Unverified | 0 |
| Learning Algebraic Representation for Abstract Spatial-Temporal Reasoning | Jan 1, 2021 | Abstract AlgebraSystematic Generalization | —Unverified | 0 |
| Vector Space and Matrix Methods in Signal and System Theory | Sep 11, 2019 | Abstract Algebra | —Unverified | 0 |
| Application of the Ring Theory in the Segmentation of Digital Images | Feb 17, 2014 | Abstract AlgebraImage Segmentation | —Unverified | 0 |
