Abstract Algebra

6 papers with code • 1 benchmarks • 1 datasets

This task has no description! Would you like to contribute one?

Datasets


Most implemented papers

Scaling Language Models: Methods, Analysis & Insights from Training Gopher

allenai/dolma NA 2021

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

eleutherai/gpt-neox 24 Feb 2023

We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics.

Data valuation: The partial ordinal Shapley value for machine learning

peizhengwang/partialordinalshapley 2 May 2023

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

txc701/open-source-code-for-ai4m 9 Sep 2024

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

lean-dojo/LeanAgent 8 Oct 2024

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

Algebraic-AI/Open-AML-Engine 27 Feb 2025

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.