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