#定理形式化

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

Intern-S2 1 SHEAF 1 数学证明 1

Stories, products and papers tagged "定理形式化", newest first.

10月16日

Models Builders11:09

Chinese contentIntern-S2 协助完成数学论文，北大团队用 SHEAF 形式化四条定理

Intern-S2 直接参与写数学论文了，北大团队还把 4 条定理全部形式化验证，论文和代码都放出来了，数学方向的人可以看看。

#Intern-S2 #SHEAF #定理形式化 #数学证明

InternLM 书生@intern_lmSource