Wenjie Ma

PhD student, EECS, University of California, Berkeley

Joined

January 2025

Names

Wenjie Ma (Preferred)

Emails

****@berkeley.edu (Confirmed)

Personal Links

Career & Education History

PhD student

EECS, University of California, Berkeley (berkeley.edu)

2024 – Present

Advisors, Relations & Conflicts

PhD Advisor

2025 – Present

PhD Advisor

2024 – Present

Expertise

No areas of expertise listed

Publications

ProofGym: Unifying LLM-Based Theorem Proving Across Formal Systems
Xinrui Li, Wenjie Ma, Hangrui Bi, Zhaoyu Li, Xujie Si, Kaiyu Yang
- MATH-AI 2025 Poster
- Readers: Everyone
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
Wenjie Ma, Andrei Cojocaru, Neel Kolhe, Robin Sharif, Haihan Zhang, Vincent Zhuang, Matei Zaharia, Sewon Min
- MATH-AI 2025 Poster
- Readers: Everyone
Restructuring the Corpus Makes RAG Work for Math
Negar Arabzadeh, Wenjie Ma, Sewon Min, Matei Zaharia
- MATH-AI 2025 Poster
- Readers: Everyone
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
Wenjie Ma, Andrei Cojocaru, Neel Kolhe, Haihan Zhang, Vincent Zhuang, Matei Zaharia, Sewon Min
- ICLR 2026 Poster
- Readers: Everyone
Euclid-Omni: A Unified Neuro-Symbolic Framework for Geometry Problem Solving
Zhaoyu Li, Hangrui Bi, Youyuan Zhang, Wenjie Ma, Zenan Li, Xujie Si, Kaiyu Yang
- Submitted to ICLR 2026
- Readers: Everyone
Shepherd: Pattern-Guided Trajectory Selection for Coding Agents on SWE-Bench
Alejandro Cuadron, Aditya Desai, Luis Gaspar Schroeder, Xingyao Wang, Wenjie Ma, Dacheng Li, Yichuan Wang, Ion Stoica, Graham Neubig, Joseph E. Gonzalez
- Submitted to ICLR 2026
- Readers: Everyone

Co-Authors