Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

new activity 4 days ago

openbmb/MA-ProofBench:update lean statement

liked a dataset 11 days ago

openbmb/Ultra-FineWeb-L1

submitted a paper 12 days ago

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

View all activity

Organizations

None yet

New activity in openbmb/MA-ProofBench 4 days ago

update lean statement

#3 opened 4 days ago by

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

update readme

#1 opened 14 days ago by

New activity in openbmb/FormalVerse 14 days ago

update readme

#1 opened 14 days ago by

New activity in openbmb/MA-ProofBench 3 months ago

Update README

#1 opened 3 months ago by

Update README

#1 opened 3 months ago by