pith. sign in

Christopher Hahn

Identifiers

  • name variant Christopher Hahn 0.60 · backfill

Papers (24)

  1. NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis cs.LO · 2024 · author #2
  2. Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition cs.CE · 2023 · author #8
  3. Lightweight Online Learning for Sets of Related Problems in Automated Reasoning cs.AI · 2023 · author #2
  4. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models cs.LO · 2023 · author #2
  5. Iterative Circuit Repair Against Formal Specifications cs.LG · 2023 · author #3
  6. Fast Convergence of $k$-Opinion Undecided State Dynamics in the Population Protocol Model cs.DC · 2023 · author #5
  7. Formal Specifications from Natural Language cs.SE · 2022 · author #1
  8. Attention Flows for General Transformers cs.LG · 2022 · author #2
  9. Runtime Enforcement of Hyperproperties cs.LO · 2022 · author #3
  10. Generating Symbolic Reasoning Problems with Transformer GANs cs.LG · 2021 · author #2
  11. Visual Analysis of Hyperproperties for Understanding Model Checking Results cs.HC · 2021 · author #4
  12. Neural Circuit Synthesis from Specification Patterns cs.LG · 2021 · author #2
  13. Loosely-Stabilizing Phase Clocks and the Adaptive Majority Problem cs.DC · 2021 · author #3
  14. Realizing Omega-regular Hyperproperties cs.LO · 2021 · author #2
  15. Efficient Monitoring of Hyperproperties using Prefix Trees cs.LO · 2021 · author #2
  16. The Hierarchy of Hyperlogics cs.LO · 2020 · author #3
  17. Teaching Temporal Logics to Neural Networks cs.LO · 2020 · author #1
  18. RVHyper: A Runtime Verification Tool for Temporal Hyperproperties cs.LO · 2019 · author #2
  19. Constraint-Based Monitoring of Hyperproperties cs.LO · 2019 · author #1
  20. Model Checking Quantitative Hyperproperties cs.LO · 2019 · author #2
  21. Synthesizing Reactive Systems from Hyperproperties cs.LO · 2019 · author #2
  22. MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the $\exists^*\forall^*$ Fragment cs.LO · 2019 · author #2
  23. Monitoring Hyperproperties cs.LO · 2018 · author #2
  24. Deciding Hyperproperties cs.LO · 2016 · author #2

Mentions

  • 2401.12131 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2401.10245 #8 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2305.11087 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2110.10054 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2303.04864 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2303.01158 #3 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2302.12508 #5 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2206.01962 #1 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2205.15389 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2203.04146 #3 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2106.13002 #3 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2108.03698 #4 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2107.11864 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2003.04218 #1 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2101.07161 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2101.07109 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 2005.05934 #3 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1906.00798 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1905.13517 #1 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1905.13514 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1905.13511 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1903.11138 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1807.00758 #2 · arxiv_oai · confidence 0.70 Christopher Hahn
  • 1606.07047 #2 · arxiv_oai · confidence 0.70 Christopher Hahn

Frequent Coauthors