Image de couverture de livre

Learning Representations Through Contrastive Neural Model Checking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Krsmanovic, Vladimir, Cosler, Matthias, Ghanem, Mohamed, Finkbeiner, Bernd
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning Better Representations From Less Data For Propositional Satisfiability
par: Ghanem, Mohamed, et autres
Publié: (2024)

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
par: Schmitt, Frederik, et autres
Publié: (2026)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
par: Cosler, Matthias, et autres
Publié: (2024)

Neural Model Checking
par: Giacobbe, Mirco, et autres
Publié: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
par: Beutner, Raven, et autres
Publié: (2025)

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
par: Cosler, Matthias, et autres
Publié: (2026)

Logics and Algorithms for Hyperproperties
par: Finkbeiner, Bernd
Publié: (2025)

Stream-Based Monitoring of Algorithmic Fairness
par: Baumeister, Jan, et autres
Publié: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
par: Finkbeiner, Bernd, et autres
Publié: (2026)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
par: Zhou, Xiaofeng, et autres
Publié: (2026)

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
par: Gu, Rong
Publié: (2024)

Explainability Requirements as Hyperproperties
par: Finkbeiner, Bernd, et autres
Publié: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
par: Beutner, Raven, et autres
Publié: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
par: Beutner, Raven, et autres
Publié: (2022)

Provably Explaining Neural Additive Models
par: Bassan, Shahaf, et autres
Publié: (2026)

Closure and Complexity of Temporal Causality
par: Carelli, Mishel, et autres
Publié: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
par: Beutner, Raven, et autres
Publié: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
par: Baumeister, Jan, et autres
Publié: (2025)

Information Flow Guided Synthesis with Unbounded Communication
par: Finkbeiner, Bernd, et autres
Publié: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
par: Baumeister, Jan, et autres
Publié: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Coinductive Proofs for Temporal Hyperliveness
par: Correnson, Arthur, et autres
Publié: (2025)

Differentially Private Runtime Monitoring
par: Finkbeiner, Bernd, et autres
Publié: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

Regional, Lattice and Logical Representations of Neural Networks
par: Preto, Sandro, et autres
Publié: (2025)

Universal Safety Controllers with Learned Prophecies
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Set-Based Training for Neural Network Verification
par: Koller, Lukas, et autres
Publié: (2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
par: Omi, Nabil, et autres
Publié: (2024)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Space Explanations of Neural Network Classification
par: Labbaf, Faezeh, et autres
Publié: (2025)

The Logical Expressiveness of Topological Neural Networks
par: Akbari, Amirreza, et autres
Publié: (2026)

A Tutorial on Stream-based Monitoring
par: Baumeister, Jan, et autres
Publié: (2025)

Synthesis of Temporal Causality
par: Finkbeiner, Bernd, et autres
Publié: (2024)

Lecture Notes on Verifying Graph Neural Networks
par: Schwarzentruber, François
Publié: (2025)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

The Polynomial Counting Capabilities of Message Passing Neural Networks
par: Sälzer, Marco, et autres
Publié: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)

Almost Surely Asymptotically Constant Graph Neural Networks
par: Adam-Day, Sam, et autres
Publié: (2024)