purewhite42/DExplorer-8B
Text Generation • Updated • 23
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
purewhite42/HAR_CoPA_Cycle2
Text Generation • Updated • 14
purewhite42/HAR_CoPA_Cycle1
Text Generation • Updated • 19
purewhite42/AR_CoPA_Cycle1
Text Generation • Updated • 28
purewhite42/HWG_CoPA_Cycle1
Text Generation • Updated • 17
purewhite42/WG_CoPA_Cycle1
Text Generation • Updated • 19
purewhite42/rautoformalizer_gtra_deepseek
Text Generation • Updated • 33
purewhite42/rautoformalizer_ra_deepseek
Text Generation • Updated • 26
purewhite42/rautoformalizer_nora_deepseek
Text Generation • Updated • 56
purewhite42/rautoformalizer_gtra_internlm
Text Generation • Updated • 27
purewhite42/rautoformalizer_ra_internlm
Text Generation • Updated • 27
purewhite42/rautoformalizer_nora_internlm
Text Generation • Updated • 28
purewhite42/dependency_retriever_f_if
Sentence Similarity • 0.6B • Updated • 18
purewhite42/dependency_retriever_f
Sentence Similarity • 0.6B • Updated • 108
purewhite42/bm25_f
Sentence Similarity • Updated
purewhite42/bm25_f_if
Sentence Similarity • Updated