Qiyuan
xqyww123
ยท
AI & ML interests
None yet
Recent Activity
updated
a dataset about 1 month ago
ANTPG/premise_selection upvoted a paper about 1 month ago
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL updated
a dataset about 1 month ago
ANTPG/annotated-isabelle Organizations
