PulseAugur
EN
LIVE 20:30:09
ENTITY Pro Football Reference

Pro Football Reference

PulseAugur coverage of Pro Football Reference — every cluster mentioning Pro Football Reference 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_160661 ·

    LeanFlow system translates math papers into Lean projects using LLM agents

    Researchers have developed LeanFlow, a system designed to translate mathematical papers into executable Lean projects. Through case studies on number theory and measure theory papers, they evaluated different workflow m…