Wei Liu
PeterV09
AI & ML interests
Machine Learning, Natural Language Processing
Recent Activity
upvoted
a
paper
2 days ago
Reinforcement Learning via Self-Distillation
upvoted
a
paper
14 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics