Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

new activity 1 day ago

openbmb/MA-ProofBench:update lean statement

liked a dataset 8 days ago

openbmb/Ultra-FineWeb-L1

submitted a paper 8 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 1 day ago

update lean statement

#3 opened 1 day ago by

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

update readme

#1 opened 10 days ago by

New activity in openbmb/FormalVerse 10 days ago

update readme

#1 opened 10 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