PulseAugur
EN
LIVE 20:12:43
ENTITY Lean-GAP

Lean-GAP

PulseAugur coverage of Lean-GAP — every cluster mentioning Lean-GAP across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
0
0 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D

No coverage in the last 90 days.

TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_68286 ·

    Dataset formalizes graduate algebra problems for AI verification

    Researchers have developed Lean-GAP, a dataset containing 430 formalized graduate-level algebra problems derived from the textbook "Abstract Algebra" by Dummit and Foote. The process involved a pipeline for PDF-to-LaTeX…