Kaijing Ma

Identifiers

• name variant Kaijing Ma 0.60 · backfill

Papers (3)

1. OProver: A Unified Framework for Agentic Formal Theorem Proving cs.CL · 2026 · author #2
2. Scaling Latent Reasoning via Looped Language Models cs.CL · 2025 · author #13
3. SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines cs.CL · 2025 · author #4

Mentions

• 2605.17283 #2 · arxiv_oai · confidence 0.70 Kaijing Ma
• 2502.14739 #4 · arxiv_oai · confidence 0.70 Kaijing Ma

Frequent Coauthors

• Jiaheng Liu 3 shared papers
• David Ma 2 shared papers
• Enduo Zhao 2 shared papers
• Ge Zhang 2 shared papers
• Haoran Que 2 shared papers
• Jiajun Shi 2 shared papers
• Jian Yang 2 shared papers
• Wenhao Huang 2 shared papers
• Xingwei Qu 2 shared papers
• Yunfeng Shi 2 shared papers
• Zhaoxiang Zhang 2 shared papers
• Zili Wang 2 shared papers
• Andrew Smith 1 shared papers
• Bingli Wang 1 shared papers
• Bohong Wu 1 shared papers
• Boyi Wei 1 shared papers
• Chengdong Lin 1 shared papers
• Chenghua Lin 1 shared papers
• Chenghua Zhong 1 shared papers
• Chenglin Cai 1 shared papers