upload Goedel-Prover-LifeScience-AtomGit

Star11

Star11

已开启

upload Goedel-Prover #15

xiaolingling_8909创建于 7月23日从xiaolingling_8909/LifeScience_xll： main 合入到 AI4Science/LifeScience： main

upload Goedel-Prover #15

已开启

xiaolingling_8909创建于 7月23日

从xiaolingling_8909/LifeScience_xll main合入到AI4Science/LifeScience main

全选

2026-07-28

upload Goedel-Prover

xiaolingling_8909提交于 7月28日

f5948f1f

2026-07-23

upload Goedel-Prover

panxiaomu提交于 7月23日

3c3bfdd1

[PyTorch] 新增Goedel-Prover模型

panxiaomu提交于 7月23日

d0d7de56