arxiv:2606.13782
Lushi Pu
daypu
ยท
AI & ML interests
Large Language Models
Recent Activity
liked a dataset 14 days ago
openbmb/UltraX-Preview upvoted a paper about 1 month ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis authored a paper about 1 month ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical AnalysisOrganizations
None yet