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