arxiv:2502.14739
Kaijing Ma
mkj69
AI & ML interests
None yet
Recent Activity
upvoted a collection about 1 month ago
OProver upvoted a paper about 1 month ago
OProver: A Unified Framework for Agentic Formal Theorem Proving updated a dataset 3 months ago
musicdsl/reamixed-original-tracksOrganizations
