Christopher Hahn
6 papers · 2021–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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)
Papers
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
IJCNLP 2025
LawInstruct: A Resource for Studying Language Model Adaptation to the Legal Domain
NAACL 2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
AACL 2025
Iterative Circuit Repair Against Formal Specifications
ICLR 2023
Neural Circuit Synthesis from Specification Patterns
NIPS 2021
Teaching Temporal Logics to Neural Networks
ICLR 2021