PulseAugur
LIVE 10:59:07
ENTITY Lan Zhang

Lan Zhang

PulseAugur coverage of Lan Zhang — every cluster mentioning Lan Zhang across labs, papers, and developer communities, ranked by signal.

Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_22214 ·

    New AI method achieves 100% formal validity in theorem autoformalization

    Researchers have developed a novel reference-free iterative refinement process for autoformalizing entire mathematical theorems. This method utilizes feedback from theorem provers and LLM-based judges to enhance formal …