PulseAugur
EN
LIVE 14:28:59
ENTITY Stratified Autoformalization

Stratified Autoformalization

PulseAugur coverage of Stratified Autoformalization — every cluster mentioning Stratified Autoformalization 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. RESEARCH · CL_115237 ·

    New matrix refines LLM autoformalization error analysis

    Researchers have introduced a "signal-coverage matrix" to better evaluate the performance of Large Language Models (LLMs) in autoformalization tasks. This matrix stratifies errors into type-correctness and semantic-equi…