#autoformalization

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

Lean 4 1 Numina 1 开源模型 1 智能体 1

Stories, products and papers tagged "autoformalization", newest first.

Oct 27

Products Builders09:38

Chinese contentNumina 发布 Fuse：面向 Lean 4 数学形式化的智能体工作台

Numina 做了个让人监督 AI 写 Lean 4 证明的工作台，还真拿它形式化了 Kakeya 猜想，开源版可以直接跑。

#Lean 4 #Numina #autoformalization #智能体

arXiv cs.AI@Justin Asher et al. (5)Source