Papers

• Promoting Simple Agents: Ensemble Methods for Event-Log Prediction (2026)
  Benedikt Bollig et al.
  1.78
• Querying Labeled Time Series Data with Scenario Programs (2025)
  Edward Kim et al.
  1.50
• TempoBench: Reasoning Execution Without Causal Attribution Is Just Simulation (2025)
  Nikolaus Holzer et al.
  1.44
• DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products (2025)
  Julien Siems et al.
  1.00
• Synthesis of Parametric Hybrid Automata from Time Series (2022)
  Miriam Garc\'ia Soto and Thomas A. Henzinger and Christian Schilling
  —
• Learning Signal Temporal Logic through Neural Network for Interpretable Classification (2022)
  Danyang Li et al.
  —
• TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules (2024)
  Kumar Manas et al.
  —
• Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report (2024)
  Elias Alevizos et al.
  —
• Temporal Ensemble Logic (2024)
  Guo-Qiang Zhang
  —