m-a-p/SuperGPQA
Viewer • Updated • 26.5k • 9.3k • 90
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
liked a
dataset over 1 year ago
liked a
dataset about 2 years ago