17 citations · 58 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CL2025★ 1 cited
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Jiangjie Chen, Wenxiang Chen, Jiacheng Du +19
Large language models have recently made significant progress to generate rigorous mathematical proofs. In contrast, utilizing LLMs for theorem proving in formal languages (such as…
cs.LG2025
MolSculpt: Sculpting 3D Molecular Geometries from Chemical Syntax
Zhanpeng Chen, Weihao Gao, Shunyu Wang +3
Generating precise 3D molecular geometries is crucial for drug discovery and material science. While prior efforts leverage 1D representations like SELFIES to ensure molecular vali…