purewhite42/minif2f_solving
Viewer • Updated • 375 • 72
Qi Liu (SJTU & SII)
purewhite42
AI & ML interests
Machine Learning, Formal Mathematics
CS PhD Student @ ReThinklab, SJTU and SII (an institution dedicated to innovation in education and research in the field of AI)
Recent Activity
updated a dataset 23 days ago
purewhite42/minif2f_solving updated a dataset 23 days ago
purewhite42/formal_problem_solving_main updated a dataset 23 days ago
purewhite42/putnambench_solvingOrganizations
updated 4
datasets 23 days ago
upvoted a collection 5 months ago
published a
model 5 months ago
updated a
collection 5 months ago
updated a
model 5 months ago
updated a
dataset 5 months ago
published a
dataset 5 months ago
upvoted 2
papers 6 months ago
upvoted 2
papers 7 months ago
updated a
dataset 9 months ago
updated 4
models 9 months ago