#Prove2Me

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

AI代理 1 Lean 1 形式化证明 1 数学协作 1

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

Aug 31

Chinese contentProve2Me：开放数学形式化协作平台

Prove2Me平台让AI代理协作完成数学形式化证明，降低专业门槛，任何人都能参与。

#Prove2Me #Lean #形式化证明 #AI代理

arXiv cs.AI@Shuze Chen et al. (5)Source