Liang, Zhenwen
9 publications
NeurIPS
2025
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
NeurIPS
2024
Can LLMs Solve Molecule Puzzles? a Multimodal Benchmark for Molecular Structure Elucidation
9 publications