Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

submitted a paper about 10 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 Refinement

upvoted a paper 2 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 2 days ago

update readme

#1 opened 2 days ago by

New activity in openbmb/FormalVerse 2 days ago

update readme

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