Image de couverture de livre

Application of AI to formal methods - an analysis of current trends

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Stock, Sebastian, Dunkelau, Jannik, Mashkoor, Atif
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Failure divergence refinement for Event-B
par: Stock, Sebastian, et autres
Publié: (2025)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Circuit Representations of Random Forests with Applications to XAI
par: Ji, Chunxi, et autres
Publié: (2026)

Formal Mathematical Reasoning: A New Frontier in AI
par: Yang, Kaiyu, et autres
Publié: (2024)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
par: DeLong, Lauren Nicole, et autres
Publié: (2023)

Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
par: Jülich, Michael
Publié: (2026)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
par: Alamdari, Parand A., et autres
Publié: (2026)

Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
par: Wu, Haoze, et autres
Publié: (2024)

Machine Learning for Quantifier Selection in cvc5
par: Jakubův, Jan, et autres
Publié: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
par: Daggitt, Matthew L., et autres
Publié: (2024)

Proceedings 12th International Workshop on Theorem proving components for Educational software
par: Narboux, Julien, et autres
Publié: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

Autoformalizing Euclidean Geometry
par: Murphy, Logan, et autres
Publié: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
par: De Angelis, Emanuele, et autres
Publié: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
par: Zhang, Xiyue, et autres
Publié: (2024)

A Compositional Atlas for Algebraic Circuits
par: Wang, Benjie, et autres
Publié: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

Neural logic programs and neural nets
par: Antić, Christian
Publié: (2024)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
par: Lamont, Sean, et autres
Publié: (2024)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
par: Song, Peiyang, et autres
Publié: (2024)

Inference of Abstraction for a Unified Account of Reasoning and Learning
par: Kido, Hiroyuki
Publié: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
par: Zhang, Yani, et autres
Publié: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
par: Rothkopf, Raven, et autres
Publié: (2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
par: König, Matthias, et autres
Publié: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
par: Nunn, Pierre, et autres
Publié: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
par: Pan, Leyan, et autres
Publié: (2024)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
par: Bavikadi, Divyagna, et autres
Publié: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
par: Brorholt, Asger Horn, et autres
Publié: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
par: Subramanian, Vignesh, et autres
Publié: (2024)

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
par: Su, DiJia, et autres
Publié: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
par: Soroka, Emi, et autres
Publié: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
par: Kumarappan, Adarsh, et autres
Publié: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
par: Morishita, Terufumi, et autres
Publié: (2024)

PiShield: A PyTorch Package for Learning with Requirements
par: Stoian, Mihaela Cătălina, et autres
Publié: (2024)

Meta Operator for Complex Query Answering on Knowledge Graphs
par: Yin, Hang, et autres
Publié: (2024)

Conditional Logical Message Passing Transformer for Complex Query Answering
par: Zhang, Chongzhi, et autres
Publié: (2024)