Abstract Algebra
2 papers with code • 1 benchmarks • 1 datasets
This task has no description! Would you like to contribute one?
Most implemented papers
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.