Hugging Face's logo
Kaijing Ma's picture
3 7 2

Kaijing Ma

mkj69
zhangysk's profile picture frascuchon's profile picture gowitheflow's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a collection about 11 hours ago
OProver
upvoted a paper about 15 hours ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
updated a dataset about 2 months ago
musicdsl/reamixed-original-tracks
View all activity

Organizations

Multimodal Art Projection's profile picture musicdsl's profile picture