Yinya Huang
15 papers
· 2021–2026
· 7 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(13)
π
Academic Marathon
(5)
π
Interdisciplinary Bridge
π£
Hot Topic Early Bird
π§
Keyword Pioneer
πΊοΈ
Taxonomy Completionist
(31)
π
Conference Polyglot
(6)
π
Renaissance Researcher
(7)
π€
Dynamic Duo
(13)
π
Keyword Champion
(2)
π₯
Unstoppable
(5)
π
Trend Setter
π
Century Club
(14)
ποΈ
Keyword Collector
(56)
β‘
Prolific Year
(7)
Conferences
ICLR (4)
EMNLP (3)
ACL (2)
NAACL (2)
NIPS (2)
AAAI (1)
EACL (1)
Top co-authors
Keywords
large language model
(5)
logical reasoning
(3)
automated theorem proving
(3)
language model
(3)
benchmark evaluation
(2)
mathematical reasoning
(2)
question answering
(2)
counterfactual reasoning
(2)
automated reasoning
(2)
formal verification
(2)
theorem proving
(2)
program synthesis
(1)
explanation generation
(1)
program verification
(1)
text generation
(1)
prompt engineering
(1)
probabilistic reasoning
(1)
decision making
(1)
knowledge graph reasoning
(1)
in-context learning
(1)
Papers
Proving Theorems Recursively
NIPS 2024