Abstract Algebra

2 papers with code • 1 benchmarks • 1 datasets

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

Datasets


Most implemented papers

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.