Gavin Cheung

Identifiers

• name variant Gavin Cheung 0.60 · backfill

Papers (2)

1. OProver: A Unified Framework for Agentic Formal Theorem Proving cs.CL · 2026 · author #8
2. Excitation and Control of Plasma Wakefields by Multiple Laser Pulses physics.plasm-ph · 2017 · author #6

Mentions

• 2605.17283 #8 · arxiv_oai · confidence 0.70 Gavin Cheung

Frequent Coauthors

• Christopher Arran 1 shared papers
• Christopher D. Gregory 1 shared papers
• Christopher Thornton 1 shared papers
• Daniel R. Symes 1 shared papers
• David Ma 1 shared papers
• Enduo Zhao 1 shared papers
• James Cowley 1 shared papers
• Jiaheng Liu 1 shared papers
• Jiajun Shi 1 shared papers
• Kaijing Ma 1 shared papers
• Laura Corner 1 shared papers
• Nicholas H. Matlis 1 shared papers
• Robert J. Shalloo 1 shared papers
• Roman Walczak 1 shared papers
• Shawn Guo 1 shared papers
• Simon M. Hooker 1 shared papers
• Stuart P.D. Mangles 1 shared papers
• Yunfeng Shi 1 shared papers
• Zhaoxiang Zhang 1 shared papers
• Zili Wang 1 shared papers