PulseAugur
EN
LIVE 21:20:16
ENTITY miniF2F-v2

miniF2F-v2

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

Show in brief
Total · 30d
0
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_51062 ·

    Lean 4 theorem proving accelerated with proof-state snapshotting

    Researchers have developed a new method called proof-state snapshotting to significantly speed up automated theorem proving in Lean 4. This technique addresses the inefficiency of repeatedly reconstructing proof states …