Zhenwen Liang

Computer Science · Physical Sciences

3h-index84citations10works1.52yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Topic Modeling(2), Natural Language Processing Techniques(2), Advanced Malware Detection Techniques(2), Adversarial Robustness in Machine Learning(2), Intelligent Tutoring Systems and Adaptive Learning(2)

Publications10 total

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
arXiv (Cornell University)·2025Open Access
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
arXiv (Cornell University)·2025Open Access
DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning
arXiv (Cornell University)·2025Open Access
Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
2025· 1 citedOpen Access
MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn Interactions
arXiv (Cornell University)·2024Open Access
Defending Jailbreak Prompts via In-Context Adversarial Game
arXiv (Cornell University)·2024· 3 citedOpen Access
Defending Jailbreak Prompts via In-Context Adversarial Game
2024· 8 citedOpen Access
Can LLMs Solve Molecule Puzzles? A Multimodal Benchmark for Molecular Structure Elucidation
2024
MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving
Findings of the Association for Computational Linguistics: NAACL 2022·2022· 69 citedOpen Access
MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving
arXiv (Cornell University)·2021· 3 citedOpen Access

Frequent Co-authors

Xiangliang Zhang(6), Kehan Guo(4), Yujun Zhou(3), Yufei Han(3), Haomin Zhuang(3), Taicheng Guo(3), Haitao Mi(3), Jipeng Zhang(2), Qin Wei(2), Yunshi Lan(2), Jie Shao(2), Hongyan Bao(2), Jiahao Xu(2), Zhiwei He(2), Tian Liang(2), Qiuzhi Liu(2), Linfeng Song(2), Zhuosheng Zhang(2), Zhaopeng Tu(2), Lei Wang(1)