Buchumschlag

SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dinu, Marius-Constantin, Leoveanu-Condrei, Claudiu, Holzleitner, Markus, Zellinger, Werner, Hochreiter, Sepp
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence Symbolic Computation Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
von: Dzafic, Izudin, et al.
Veröffentlicht: (2025)

Primality Testing via Circulant Matrix Eigenvalue Structure: A Novel Approach Using Cyclotomic Field Theory
von: Dinu, Marius-Constantin
Veröffentlicht: (2025)

A Symbolic Computing Perspective on Software Systems
von: Norman, Arthur C., et al.
Veröffentlicht: (2024)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
von: De Luca, Marco, et al.
Veröffentlicht: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
von: Jayasena, Aruna, et al.
Veröffentlicht: (2023)

Large Language Models Can Self-Improve At Web Agent Tasks
von: Patel, Ajay, et al.
Veröffentlicht: (2024)

Open Source Prover in the Attic
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
von: Gorna, Karolina, et al.
Veröffentlicht: (2026)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

Practical Modelling with Bigraphs
von: Archibald, Blair, et al.
Veröffentlicht: (2024)

Towards Automatic Transformations of Coq Proof Scripts
von: Magaud, Nicolas
Veröffentlicht: (2024)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
von: Tirpankar, Tanmay, et al.
Veröffentlicht: (2025)

Debugging code world models
von: Rahmani, Babak
Veröffentlicht: (2026)

A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
von: Leoveanu-Condrei, Claudiu
Veröffentlicht: (2025)

HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs
von: Kaiser, Adrian, et al.
Veröffentlicht: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

PANTHER: Pluginizable Testing Environment for Network Protocols
von: Crochet, Christophe, et al.
Veröffentlicht: (2025)

Network Simulator-centric Compositional Testing
von: Rousseaux, Tom, 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)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
von: Barket, Rashid, et al.
Veröffentlicht: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
von: Grahl, Johanna, et al.
Veröffentlicht: (2025)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
von: Lucio, Levi
Veröffentlicht: (2026)

Fast Symbolic Integer-Linear Spectra
von: Luntzel, Jonny, et al.
Veröffentlicht: (2024)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
von: Heisinger, Maximilian, et al.
Veröffentlicht: (2025)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
von: Younes, Grace, et al.
Veröffentlicht: (2025)

Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
von: Houichime, Tarik, et al.
Veröffentlicht: (2025)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
von: Bandyopadhyay, Soumyadip, et al.
Veröffentlicht: (2025)

Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery
von: Servia, Miguel Ángel de Carvalho, et al.
Veröffentlicht: (2025)

Overcoming Saturation in Density Ratio Estimation by Iterated Regularization
von: Gruber, Lukas, et al.
Veröffentlicht: (2024)

Co-designing heterogeneous models: a distributed systems approach
von: Ilau, Marius-Constantin, et al.
Veröffentlicht: (2024)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
von: Bessonov, Mariya, et al.
Veröffentlicht: (2022)

Some Computational Tools for Solving a Selection of Problems in Control Theory
von: Demin, Alexander, et al.
Veröffentlicht: (2025)

Generalised Burnside and Dixon algorithms for irreducible projective representations
von: Szabó, Attila
Veröffentlicht: (2025)

Groebner.jl: A package for Gröbner bases computations in Julia
von: Demin, Alexander, et al.
Veröffentlicht: (2023)

SignatureTensors.jl: A Package for Signature Tensors in Julia
von: Riffo, Gabriel, et al.
Veröffentlicht: (2026)

Antiassociative algebra in R: introducing the evitaicossa package
von: Hankinn, Robin K. S.
Veröffentlicht: (2024)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
von: Gaudel, Bimal, et al.
Veröffentlicht: (2025)

Simple generators of rational function fields
von: Demin, Alexander, et al.
Veröffentlicht: (2026)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
von: Durán, Antonio J., et al.
Veröffentlicht: (2013)