Christopher Hahn
5 papers · 2021–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(15)
🐣
Hot Topic Early Bird
📈
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(4)
Deep Learning
(3)
Machine Learning
(3)
Architectures
(3)
Knowledge & Reasoning
(2)
Natural Language Processing
(2)
Application Areas
(2)
Learning Types
(2)
Reasoning
(2)
Computer Science
(1)
Applications · Computer Science
(1)
Applications · Natural Language Processing
(1)
Core Methods
(1)
Foundations
(1)
Keywords
linear-time temporal logic
(2)
linear temporal logic
(2)
formal verification
(2)
neural network
(2)
instruction tuning
(1)
first-order logic
(1)
temporal logic
(1)
formal specification
(1)
formal language
(1)
specification mining
(1)
satisfiability modulo theory
(1)
circuit synthesis
(1)
neuro-symbolic computing
(1)
legal reasoning
(1)
neuro-symbolic reasoning
(1)
logical fallacy detection
(1)
large language model
(1)
transformer model
(1)
sequential circuit
(1)
neural circuit synthesis
(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
Iterative Circuit Repair Against Formal Specifications
ICLR 2023
Neural Circuit Synthesis from Specification Patterns
NeurIPS 2021
Teaching Temporal Logics to Neural Networks
ICLR 2021