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 24 days ago

rel-prover/premises_worsn_32pos_vin4ou4_goedel

updated a dataset 24 days ago

rel-prover/premises_worsn_32pos_vin4ou4_goedel

View all activity

Organizations

liked a dataset 8 months ago

LEXam-Benchmark/LEXam

Viewer • Updated 2 days ago • 7.54k • 532 • 39