arxiv:2608.14221
Lushi Pu
daypu
ยท
AI & ML interests
Large Language Models
Recent Activity
new activity 5 days ago
openbmb/MA-ProofBench:update lean statement liked a dataset 12 days ago
openbmb/Ultra-FineWeb-L1 submitted a paper 13 days ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided RefinementOrganizations
None yet
