Christopher Hahn
6 papers
· 2021–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(4)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
ICLR (2)
AACL (1)
IJCNLP (1)
NAACL (1)
NIPS (1)
Top co-authors
Keywords
formal language
(2)
neurosymbolic reasoning
(2)
first-order logic
(2)
logical fallacy detection
(2)
large language model
(2)
formal verification
(1)
temporal logic
(1)
specification mining
(1)
satisfiability modulo theory
(1)
linear temporal logic
(1)
circuit synthesis
(1)
legal reasoning
(1)
neural network
(1)
neural circuit synthesis
(1)
hardware synthesis
(1)
linear-time temporal logic
(1)
transfer learning
(1)
hardware circuit
(1)
domain adaptation
(1)
language model adaptation
(1)