Abstract Algebra
6 papers with code • 1 benchmarks • 1 datasets
Most implemented papers
Scaling Language Models: Methods, Analysis & Insights from Training Gopher
Language modelling provides a step towards intelligent communication systems by harnessing large repositories of written human knowledge to better predict and understand the world.
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics.
Data valuation: The partial ordinal Shapley value for machine learning
Data valuation using Shapley value has emerged as a prevalent research domain in machine learning applications.
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Formalizing mathematical proofs using computerized verification languages like Lean 4 has the potential to significantly impact the field of mathematics, it offers prominent capabilities for advancing mathematical reasoning.
LeanAgent: Lifelong Learning for Formal Theorem Proving
We present LeanAgent, a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.
Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
In this approach, the goal of the task and the data are encoded as axioms of an algebra, and a model is obtained where only these axioms and their logical consequences hold.