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 5 days ago
rel-prover/premises_worsn_32pos_vin4ou4_goedel
updated a dataset 5 days ago
rel-prover/premises_worsn_32pos_vin4ou4_goedel
View all activity

Organizations

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