Yu Zhao
yuzhaouoe
AI & ML interests
NLP/ML
Recent Activity
upvoted a paper 4 days ago
From Pixels to Words -- Towards Native One-Vision Models at Scale upvoted a paper 12 days ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation