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