Christopher Hahn

1. Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
   2024/04/18 by Abhinav Lalwani, Tasha Kim, Lalwani, Abhinav +9 · 14 voices · 8 citations
   Computer Science · #Formal Methods in Verification #Fuzzy Logic and Control Systems #Logic, Reasoning, and Knowledge #cs.AI #cs.CL #cs.LG #cs.LO
2. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
   2023/03/08 by Matthias Cosler, Cosler, Matthias, Christopher Hahn +7 · 23 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
3. Teaching Temporal Logics to Neural Networks
   2020/03/06 by Christopher Hahn, Hahn, Christopher, Frederik Schmitt +7 · 8 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Neural Networks and Applications #Topic Modeling
4. Formal Specifications from Natural Language
   2022/06/04 by Christopher Hahn, Hahn, Christopher, Frederik Schmitt +9 · 6 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
5. Monitoring Hyperproperties
   2018/07/02 by Bernd Finkbeiner, Finkbeiner, Bernd, Christopher Hahn +5 · 4 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
6. Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition
   2023/12/06 by Seung Whan Chung, Chung, Seung Whan, Youngsoo Choi +17 · 7 citations
   Engineering · Physics and Astronomy · #65F55 #65N55 (primary) 76D07 (secondary) #Computational Engineering #FOS: Computer and information sciences #FOS: Physical sciences #Finance #Fluid Dynamics (physics.flu-dyn) #Fluid Dynamics and Vibration Analysis #Model Reduction and Neural Networks #Real-time simulation and control systems #and Science (cs.CE)
7. RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
   2019/05/31 by Bernd Finkbeiner, Finkbeiner, Bernd, Christopher Hahn +5 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling #Security and Verification in Computing
8. Neural Circuit Synthesis from Specification Patterns
   2021/07/25 by Frederik Schmitt, Christopher Hahn, Schmitt, Frederik +5 · 3 citations
   Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Neural Networks and Applications
9. Constraint-Based Monitoring of Hyperproperties
   2019/05/31 by Christopher Hahn, Marvin Stenger, Hahn, Christopher +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
10. Generating Symbolic Reasoning Problems with Transformer GANs
    2021/10/19 by Jens U. Kreber, Christopher Hahn, Kreber, Jens U. +1 · 1 citation
    Computer Science · #Artificial Intelligence in Games #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
11. Best practices for in-situ and operando techniques within electrocatalytic systems
    2025/03/16 by Aditya Prajapati, Christopher Hahn, Inez M. Weidinger +8 · 1 voice · 2 citations
    Chemistry · Energy · #CO2 Reduction Techniques and Catalysts #Electrocatalysts for Energy Conversion #Electrochemical Analysis and Applications
12. Disengagement From Games: Characterizing the Experience and Process of Exiting Play Sessions
    2024/05/31 by Dmitry Alexandrovsky, Kathrin Gerling, Alexandrovsky, Dmitry +9 · 1 citation
    Psychology · #Educational Games and Gamification #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
13. LawInstruct: A Resource for Studying Language Model Adaptation to the Legal Domain
    2024/04/02 by Joel Niklaus, Niklaus, Joel, Lucia Zheng +17 · 1 citation
    Social Sciences · #68T50 #Artificial Intelligence (cs.AI) #Artificial Intelligence in Law #Comparative and International Law Studies #Computation and Language (cs.CL) #FOS: Computer and information sciences #I.2 #Legal Education and Practice Innovations #Machine Learning (cs.LG)
14. Undecided State Dynamics with Stubborn Agents
    2024/06/11 by Petra Berenbrink, Berenbrink, Petra, Felix Biermeier +3 · 1 citation
    Computer Science · Economics, Econometrics and Finance · Social Sciences · #Complex Systems and Time Series Analysis #Distributed #Evolutionary Algorithms and Applications #Evolutionary Game Theory and Cooperation #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
15. Iterative Circuit Repair Against Formal Specifications
    2023/03/02 by Matthias Cosler, Cosler, Matthias, Frederik Schmitt +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
16. Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling
    2024/10/28 by Seung Whan Chung, Youngsoo Choi, Chung, Seung Whan +15 · 1 citation
    Physics and Astronomy · Engineering · #Model Reduction and Neural Networks #Hydraulic and Pneumatic Systems
17. Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow
    2024/10/28 by Seung Whan Chung, Youngsoo Choi, Chung, Seung Whan +15 · 1 citation
    Physics and Astronomy · Engineering · #Model Reduction and Neural Networks #Real-time simulation and control systems #Oil and Gas Production Techniques