purewhite42/formal_problem_solving_main
Viewer • Updated • 1.09k • 53 • 2
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 1 day ago
purewhite42/minif2f_solving updated a dataset 1 day ago
purewhite42/formal_problem_solving_main updated a dataset 1 day ago
purewhite42/putnambench_solvingOrganizations
