Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

liked a dataset 3 days ago

openbmb/Ultra-FineWeb-L1

submitted a paper 4 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

authored a paper 5 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

View all activity

Organizations

None yet

New activity in openbmb/MathForm-8B 6 days ago

update readme

#1 opened 6 days ago by

New activity in openbmb/FormalVerse 6 days ago

update readme

#1 opened 6 days ago by

New activity in openbmb/MA-ProofBench 2 months ago

Update README

#1 opened 2 months ago by

Update README

#1 opened 2 months ago by