Hugging Face's logo
Lushi Pu's picture

Lushi Pu

daypu
4 3 33
ยท

AI & ML interests

Large Language Models

Recent Activity

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