Kaijing Ma

mkj69

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 2 months ago

upvoted a paper 2 months ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

updated a dataset 4 months ago

musicdsl/reamixed-original-tracks

View all activity

Organizations

liked a dataset over 1 year ago

m-a-p/SuperGPQA

Viewer • Updated Apr 30, 2025 • 26.5k • 8.07k • 91

liked a dataset over 2 years ago

m-a-p/CodeEditorBench

Preview • Updated Apr 5, 2024 • 463 • 24