Tian
Yuchen111
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 1 month ago
Knowledge Augmented Complex Problem Solving with Large Language Models:
A Survey
updated
a dataset
4 months ago
Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385
published
a dataset
4 months ago
Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385
Organizations
