purewhite42/formal_problem_solving_main
Viewer • Updated • 1.09k • 122 • 2
SII - Qi Liu
purewhite42
webbrain-one-429308's profile picture
qinghua-zhou's profile picture
webbrain-one-199442's profile picture·
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 about 1 month ago
Work2Skill: Capturing Human GUI Experience for Reusable Agent Skill Induction updated a dataset 5 months ago
purewhite42/minif2f_solving updated a dataset 5 months ago
purewhite42/formal_problem_solving_mainOrganizations
