#LLM Judge

1 stories · 0 in 7 days · 1 in 30 days

DLMF 1 Lean 1 自动形式化 1 论文解读 1

Stories, products and papers tagged "LLM Judge", newest first.

Oct 15

Papers Builders12:53

Chinese contentBeyond LLM Judge：用机械验证方法核查 Lean 数学形式化

验证 LLM 写的 Lean 证明，别再只靠 LLM 打分了，这篇加了数值和空泛性机械检查，错误率最低，代码开源。

#Lean #自动形式化 #LLM Judge #DLMF

arXiv cs.AI@Anna Mei, Michael R. DouglasSource