Hugging Face's logo
Hongzhan Lin's picture
3 5 2

Hongzhan Lin

danielhzlin
likaixin's profile picture shihbunyu2's profile picture
ยท

AI & ML interests

None yet

Recent Activity

commented on a paper 6 days ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
authored a paper 7 days ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
upvoted a paper 9 days ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
View all activity

Organizations

HKBU NLP Lab's profile picture Open Code LLM Research Community's profile picture LeoAGI's profile picture