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