Imagen de Portada

Formally Verified Approximate Policy Iteration

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Schäffeler, Maximilian, Abdulaziz, Mohammad
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Formally Verified Certification of Unsolvability of Temporal Planning Problems
por: Wang, David, et al.
Publicado: (2025)

Formally Certified Approximate Model Counting
por: Tan, Yong Kiam, et al.
Publicado: (2024)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
por: Shea-Blymyer, Colin, et al.
Publicado: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
por: Farjami, Ali, et al.
Publicado: (2026)

Solving Formal Math Problems by Decomposition and Iterative Reflection
por: Zhou, Yichi, et al.
Publicado: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
por: Ileri, Atalay Mert, et al.
Publicado: (2024)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
por: Abdulaziz, Mohammad, et al.
Publicado: (2026)

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

Categorical Construction of Logically Verifiable Neural Architectures
por: Nye, Logan
Publicado: (2025)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
por: Grobelna, Marta, et al.
Publicado: (2025)

On Formally Undecidable Traits of Intelligent Machines
por: Fox, Matthew
Publicado: (2024)

Rational Inference in Formal Concept Analysis
por: Carr, Lucas, et al.
Publicado: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
por: Vanbesien, Linde, et al.
Publicado: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Learning Formal Mathematics From Intrinsic Motivation
por: Poesia, Gabriel, et al.
Publicado: (2024)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
por: Dougherty, Quinn, et al.
Publicado: (2025)

Iterated belief revision: from postulates to abilities
por: Liberatore, Paolo
Publicado: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
por: Rashid, Adnan
Publicado: (2026)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
por: Olson, Taylor
Publicado: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
por: Ospanov, Azim, et al.
Publicado: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
por: Nikooroo, Saleh, et al.
Publicado: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
por: Takemura, Akihiro, et al.
Publicado: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
por: Elboher, Yizhak Yisrael, et al.
Publicado: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
por: Arkoudas, Konstantine, et al.
Publicado: (2026)

Translating Informal Proofs into Formal Proofs Using a Chain of States
por: Wang, Ziyu, et al.
Publicado: (2025)

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

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
por: Chen, Chen, et al.
Publicado: (2025)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
por: Itoh, Kei
Publicado: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
por: Han, Sangjun, et al.
Publicado: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
por: Agarwal, Shubham, et al.
Publicado: (2026)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
por: Yousefzadeh, Roozbeh, et al.
Publicado: (2025)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
por: Kim, Chang-Eop
Publicado: (2024)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
por: Ramani, Keshav, et al.
Publicado: (2025)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
por: Foldvik, Simon
Publicado: (2026)

Approximate SMT Counting Beyond Discrete Domains
por: Shaw, Arijit, et al.
Publicado: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
por: Florath, Andreas
Publicado: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
por: Li, Sirui, et al.
Publicado: (2025)