Lushi Pu
daypu
ยท
AI & ML interests
Large Language Models
Recent Activity
liked a dataset about 5 hours ago
openbmb/Ultra-FineWeb-L1 submitted a paper about 19 hours ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement authored a paper 2 days ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided RefinementOrganizations
None yet