0

Gavin Cheung

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

OProver: A Unified Framework for Agentic Formal Theorem Proving

arXiv 2026

2026

Affiliations

No known affiliations.

Frequent co-authors

9

from 1 papers

David Ma

1 shared paper

Enduo Zhao

1 shared paper

Jiaheng Liu

1 shared paper

Jiajun Shi

1 shared paper

Kaijing Ma

1 shared paper

Shawn Guo

1 shared paper

Yunfeng Shi

1 shared paper

Zhaoxiang Zhang

1 shared paper

Zili Wang

1 shared paper
Gavin Cheung - AI research profile