arxiv:2509.25154
Dawei Li
wjldw
AI & ML interests
LLM, NLP, Data Mining
Recent Activity
upvoted
a
paper
1 day ago
MMFormalizer: Multimodal Autoformalization in the Wild
upvoted
a
paper
4 days ago
Agent-as-a-Judge