Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
1
Yinya Eleanor Huang
PRO
yinyahuang
Follow
0 followers
·
2 following
https://eleanor-h.github.io/
eleanoryhuang
Eleanor-H
AI & ML interests
LLM, NLP, complex reasoning, theorem proving
Recent Activity
updated
a dataset
about 4 hours ago
rel-prover/premises_worsn_32pos_vin4ou5_numina
updated
a dataset
about 4 hours ago
rel-prover/reasoning_plain_32pos_vin4ou5_numina
published
a dataset
about 4 hours ago
rel-prover/reasoning_plain_32pos_vin4ou5_numina
View all activity
Organizations
yinyahuang
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
8 months ago
LEXam-Benchmark/LEXam
Viewer
•
Updated
19 days ago
•
7.54k
•
1.23k
•
35