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

Kaijing Ma

mkj69
ygjin11's profile picture mondalsurojit's profile picture zhouliang's profile picture
·

AI & ML interests

None yet

Recent Activity

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

Organizations

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