Abstract Algebra
3 papers with code • 1 benchmarks • 1 datasets
Benchmarks
These leaderboards are used to track progress in Abstract Algebra
| Trend | Dataset | Best Model | Paper | Code | Compare |
|---|---|---|---|---|---|
|
BIG-bench
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
peizhengwang/partialordinalshapley
•
•
Data valuation using Shapley value has emerged as a prevalent research domain in machine learning applications.
