David Ma

Identifiers

• name variant David Ma 0.60 · backfill

Papers (2)

1. OProver: A Unified Framework for Agentic Formal Theorem Proving cs.CL · 2026 · author #1
2. SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines cs.CL · 2025 · author #23

Mentions

• 2605.17283 #1 · arxiv_oai · confidence 0.70 David Ma
• 2502.14739 #23 · arxiv_oai · confidence 0.70 David Ma

Frequent Coauthors

• Jiaheng Liu 2 shared papers
• Kaijing Ma 2 shared papers
• Zhaoxiang Zhang 2 shared papers
• Zili Wang 2 shared papers
• Bingli Wang 1 shared papers
• Chengdong Lin 1 shared papers
• Chenghua Zhong 1 shared papers
• Chenglin Cai 1 shared papers
• Chengtuo Cheng 1 shared papers
• Chenqing Wang 1 shared papers
• Chujie Zheng 1 shared papers
• Chun Zhang 1 shared papers
• Dayiheng Liu 1 shared papers
• Enduo Zhao 1 shared papers
• Gavin Cheung 1 shared papers
• Ge Zhang 1 shared papers
• Guoyin Wang 1 shared papers
• Haoran Que 1 shared papers
• Hao Wang 1 shared papers
• Hongquan Lin 1 shared papers