:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schäffeler, Maximilian, Abdulaziz, Mohammad
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2406.07340
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
von: Kohlen, Bram, et al.
Veröffentlicht: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Formally Certified Approximate Model Counting
von: Tan, Yong Kiam, et al.
Veröffentlicht: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
von: Zhou, Yichi, et al.
Veröffentlicht: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
von: Ileri, Atalay Mert, et al.
Veröffentlicht: (2024)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
von: Shea-Blymyer, Colin, et al.
Veröffentlicht: (2024)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2026)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
von: Grobelna, Marta, et al.
Veröffentlicht: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
von: Dougherty, Quinn, et al.
Veröffentlicht: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
von: Nye, Logan
Veröffentlicht: (2025)

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Rational Inference in Formal Concept Analysis
von: Carr, Lucas, et al.
Veröffentlicht: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
von: Vanbesien, Linde, et al.
Veröffentlicht: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
von: Agarwal, Shubham, et al.
Veröffentlicht: (2026)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

Iterated belief revision: from postulates to abilities
von: Liberatore, Paolo
Veröffentlicht: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
von: Rashid, Adnan
Veröffentlicht: (2026)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
von: Olson, Taylor
Veröffentlicht: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
von: Nikooroo, Saleh, et al.
Veröffentlicht: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
von: Yousefzadeh, Roozbeh, et al.
Veröffentlicht: (2025)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
von: Arkoudas, Konstantine, et al.
Veröffentlicht: (2026)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
von: Guasch, Antoni, et al.
Veröffentlicht: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
von: Chen, Chen, et al.
Veröffentlicht: (2025)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
von: Itoh, Kei
Veröffentlicht: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

A Theory of Formalisms for Representing Knowledge
von: Zhang, Heng, et al.
Veröffentlicht: (2024)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
von: Kim, Chang-Eop
Veröffentlicht: (2024)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
von: Ramani, Keshav, et al.
Veröffentlicht: (2025)