Hongzhan Lin
danielhzlin
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 13 hours ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized
Problems via Symmetry and Difficulty
upvoted
a
paper
about 1 month ago
Codec Does Matter: Exploring the Semantic Shortcoming of Codec for Audio
Language Model
Organizations
