Hugging Face's logo
Yinya Eleanor Huang's picture
1 1

Yinya Eleanor Huang PRO

yinyahuang
·
https://eleanor-h.github.io/

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

FVELer's profile picture rel-prover's profile picture