Copertina

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cosler, Matthias, Hahn, Christopher, Omar, Ayham, Schmitt, Frederik
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning Representations Through Contrastive Neural Model Checking
di: Krsmanovic, Vladimir, et al.
Pubblicazione: (2025)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
di: Baugh, Kexin Gu, et al.
Pubblicazione: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
di: Sharifi, Iman, et al.
Pubblicazione: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
di: Defresne, Marianne, et al.
Pubblicazione: (2025)

Formal Explanations for Neuro-Symbolic AI
di: Paul, Sushmita, et al.
Pubblicazione: (2024)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
di: Baaj, Ismaïl, et al.
Pubblicazione: (2025)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
di: Rothkopf, Raven, et al.
Pubblicazione: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
di: He, Haoyuan, et al.
Pubblicazione: (2022)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
di: Hsia, Yung-Shen, et al.
Pubblicazione: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
di: Cornelio, Cristina, et al.
Pubblicazione: (2024)

Learning Better Representations From Less Data For Propositional Satisfiability
di: Ghanem, Mohamed, et al.
Pubblicazione: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
di: Rehan, Zainab, et al.
Pubblicazione: (2026)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
di: Hamilton, Kyle, et al.
Pubblicazione: (2026)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
di: Huang, Jiani, et al.
Pubblicazione: (2023)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
di: Somani, Neel
Pubblicazione: (2026)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
di: Murphy, William, et al.
Pubblicazione: (2024)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
di: Sharifi, Iman, et al.
Pubblicazione: (2023)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
di: Ciatto, Giovanni, et al.
Pubblicazione: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
di: Li, Chunxiao, et al.
Pubblicazione: (2024)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
di: Bharti, Varun, et al.
Pubblicazione: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
di: Alhessi, Yousef, et al.
Pubblicazione: (2025)

Neuro-Symbolic Predictive Process Monitoring
di: Mezini, Axel, et al.
Pubblicazione: (2025)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
di: Lalwani, Abhinav, et al.
Pubblicazione: (2024)

A Logical View of GNN-Style Computation and the Role of Activation Functions
di: Barceló, Pablo, et al.
Pubblicazione: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
di: Yan, Rui, et al.
Pubblicazione: (2022)

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
di: Dhonthi, Akshay, et al.
Pubblicazione: (2022)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
di: Mannucci, Mirco A.
Pubblicazione: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

Programs as Singularities
di: Murfet, Daniel, et al.
Pubblicazione: (2025)

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
di: Schmitt, Frederik, et al.
Pubblicazione: (2026)

Stream-Based Monitoring of Algorithmic Fairness
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

Triadic Concept Analysis for Logic Interpretation of Simple Artificial Networks
di: Schmitt, Ingo
Pubblicazione: (2026)

Expressive Temporal Specifications for Reward Monitoring
di: Adalat, Omar, et al.
Pubblicazione: (2025)

Efficient Reactive Synthesis
di: Ye, Xin, et al.
Pubblicazione: (2024)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
di: Edwards, Alec, et al.
Pubblicazione: (2023)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
di: Erascu, Madalina
Pubblicazione: (2025)