NeuRes: Learning Proofs of Propositional Satisfiability

no code implementations • 13 Feb 2024 • Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

We introduce NeuRes, a neuro-symbolic proof-based SAT solver.

Counterfactuals Modulo Temporal Logics

no code implementations • 15 Jun 2023 • Bernd Finkbeiner, Julian Siber

Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality.

counterfactual Counterfactual Reasoning

Formal Specifications from Natural Language

no code implementations • 4 Jun 2022 • Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics.

Automated Theorem Proving

Attention Flows for General Transformers

1 code implementation • 30 May 2022 • Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner

In this paper, we study the computation of how much an input token in a Transformer model influences its prediction.