Wenda Li
17 papers
· 2021–2026
· 6 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(13)
π£
Hot Topic Early Bird
πΊοΈ
Taxonomy Completionist
(35)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Renaissance Researcher
(6)
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
π
Triple Crown
π
Grand Slam
π₯
Unstoppable
(5)
π
Century Club
(16)
π
Conference Pioneer
ποΈ
Keyword Collector
(59)
β‘
Prolific Year
(7)
Conferences
NIPS (6)
ICLR (3)
ICML (3)
ACL (2)
MICCAI (2)
AAAI (1)
Top co-authors
Keywords
large language model
(5)
transfer learning
(3)
mathematical reasoning
(3)
language model
(2)
formal verification
(2)
automated theorem proving
(2)
theorem prover
(2)
information retrieval
(1)
reinforcement learning from human feedback
(1)
knowledge representation
(1)
synthetic data generation
(1)
automated reasoning
(1)
graph embedding
(1)
recursive reasoning
(1)
multilingual nlp
(1)
inductive bia
(1)
recursive algorithm
(1)
taxonomy construction
(1)
knowledge graph
(1)
semantic similarity
(1)
Papers
Proving Theorems Recursively
NIPS 2024