PulseAugur
EN
LIVE 03:20:02
ENTITY Feedback Distillation

Feedback Distillation

PulseAugur coverage of Feedback Distillation — every cluster mentioning Feedback Distillation 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_62715 ·

    LLMs optimized for efficient formal theorem proving in Lean

    Two new research papers explore methods to improve the efficiency and effectiveness of large language models (LLMs) in formal theorem proving within the Lean environment. The first paper introduces an action routing age…