Buchumschlag

VeriFlow: Modeling Distributions for Neural Network Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zaid, Faried Abu, Neider, Daniel, Yalçıner, Mustafa
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence Logic in Computer Science Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Solving Hard Mizar Problems with Instantiation and Strategy Invention
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Analogical proportions
von: Antić, Christian
Veröffentlicht: (2020)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
von: Tripathi, Satvik
Veröffentlicht: (2025)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
von: Bavikadi, Divyagna, et al.
Veröffentlicht: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

SMLP: Symbolic Machine Learning Prover
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
von: Luo, Ziyan, et al.
Veröffentlicht: (2023)

Learning Guided Automated Reasoning: A Brief Survey
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Learning Conjecturing from Scratch
von: Gauthier, Thibault, et al.
Veröffentlicht: (2025)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
von: Kaminski, Roland, et al.
Veröffentlicht: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
von: Gerdes, Wout, et al.
Veröffentlicht: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
von: Brown, Chad E., et al.
Veröffentlicht: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
von: Ding, Tianyi, et al.
Veröffentlicht: (2025)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
von: Urban, Josef
Veröffentlicht: (2026)

Power Term Polynomial Algebra for Boolean Logic
von: Sansone, Emanuele, et al.
Veröffentlicht: (2026)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
von: Işık, İlker, et al.
Veröffentlicht: (2026)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
von: Orvalho, Pedro, et al.
Veröffentlicht: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
von: Vompa, Enrico, et al.
Veröffentlicht: (2026)

Reasoning About Action and Change
von: de Saint-Cyr, Florence Dupin, et al.
Veröffentlicht: (2024)

Algebraic anti-unification
von: Antić, Christian
Veröffentlicht: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
von: Shrager, Jeff
Veröffentlicht: (2026)

Towards Learning Abductive Reasoning using VSA Distributed Representations
von: Camposampiero, Giacomo, et al.
Veröffentlicht: (2024)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
von: Filipe, João, et al.
Veröffentlicht: (2026)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
von: Ardon, Leo, et al.
Veröffentlicht: (2024)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
von: Sheneman, Lucas
Veröffentlicht: (2026)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
von: Hersche, Michael, et al.
Veröffentlicht: (2024)

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
von: Yu, Karin, et al.
Veröffentlicht: (2026)

Neural Concept Binder
von: Stammer, Wolfgang, et al.
Veröffentlicht: (2024)

Solving unification in the description logic $\mathcal{FL}_\bot$
von: Morawska, Barbara, et al.
Veröffentlicht: (2024)

Rings with common division, common meadows and their conditional equational theories
von: Bergstra, Jan A, et al.
Veröffentlicht: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
von: Wang, Zhonghan
Veröffentlicht: (2024)