Tian
Yuchen111
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized
Problems via Symmetry and Difficulty
updated
a dataset
4 months ago
Yuchen111/mathlib4-ds
Organizations
