purewhite42/formal_problem_solving_main
Viewer • Updated • 1.09k • 253 • 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
upvoted a paper 3 days ago
Work2Skill: Capturing Human GUI Experience for Reusable Agent Skill Induction updated a dataset 4 months ago
purewhite42/minif2f_solving updated a dataset 4 months ago
purewhite42/formal_problem_solving_mainOrganizations
