:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Coumes, Simon, Paris, Pierre-Henri, Schwarzentruber, François, Suchanek, Fabian
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.01952
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MAFALDA: A Benchmark and Comprehensive Study of Fallacy Detection and Classification
by: Helwe, Chadi, et al.
Published: (2023)

YAGO 4.5: A Large and Clean Knowledge Base with a Rich Taxonomy
by: Suchanek, Fabian, et al.
Published: (2023)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
by: Nunn, Pierre, et al.
Published: (2024)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
by: Ghosh, Avijeet, et al.
Published: (2025)

BELLA: Black box model Explanations by Local Linear Approximations
by: Radulovic, Nedeljko, et al.
Published: (2023)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

FLORA: Unsupervised Knowledge Graph Alignment by Fuzzy Logic
by: Peng, Yiwen, et al.
Published: (2025)

Neurosymbolic Methods for Dynamic Knowledge Graphs
by: Alam, Mehwish, et al.
Published: (2024)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
by: Chernobrovkin, Artem, et al.
Published: (2025)

LELA: An End-to-end LLM-based Entity Linking Framework with Zero-shot Domain Adaptation
by: Haffoudhi, Samy, et al.
Published: (2026)

Exact Regular-Constrained Variable-Order Markov Generation via Sparse Context-State Belief Propagation
by: Pachet, François
Published: (2026)

On Dynamic Programming Theory for Leader-Follower Stochastic Games
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)

First-Order Representation Languages for Goal-Conditioned RL
by: Ståhlberg, Simon, et al.
Published: (2025)

Solving Quantified Boolean Formulas with Few Existential Variables
by: Eriksson, Leif, et al.
Published: (2024)

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

The Factuality of Large Language Models in the Legal Domain
by: Hamdani, Rajaa El, et al.
Published: (2024)

Retrieval-Constrained Decoding Reveals Underestimated Parametric Knowledge in Language Models
by: Hamdani, Rajaa El, et al.
Published: (2025)

A Repository for Formal Contexts
by: Hanika, Tom, et al.
Published: (2024)

Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)

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

A Question on the Explainability of Large Language Models and the Word-Level Univariate First-Order Plausibility Assumption
by: Bogaert, Jeremie, et al.
Published: (2024)

Saarthi: The First AI Formal Verification Engineer
by: Kumar, Aman, et al.
Published: (2025)

Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
by: Rahmani, Hazhar, et al.
Published: (2025)

Automatic Textbook Formalization
by: Gloeckle, Fabian, et al.
Published: (2026)

Formalizing Mathematics at Scale
by: Rammal, Ahmad, et al.
Published: (2026)

Formula-R1: Incentivizing LLM Reasoning over Complex Tables with Numerical Computation via Formula-Driven Reinforcement Learning
by: Cao, Lang, et al.
Published: (2025)

Quantifying Multimodal Capabilities: Formal Generalization Guarantees in Pairwise Metric Learning
by: Zhou, Richeng, et al.
Published: (2026)

A Framework for Quantifying How Pre-Training and Context Benefit In-Context Learning
by: Song, Bingqing, et al.
Published: (2025)

Quantifying First-Order Markov Violations in Noisy Reinforcement Learning: A Causal Discovery Approach
by: Mysore, Naveen
Published: (2025)

Learning to Ground Existentially Quantified Goals
by: Funkquist, Martin, et al.
Published: (2024)

Gradient Alignment in Physics-informed Neural Networks: A Second-Order Optimization Perspective
by: Wang, Sifan, et al.
Published: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
by: Vossel, Felix, et al.
Published: (2025)

Quantifying Laziness, Decoding Suboptimality, and Context Degradation in Large Language Models
by: Ma, Yiqing, et al.
Published: (2025)

Quantifying Memory Use in Reinforcement Learning with Temporal Range
by: Lafuente-Mercado, Rodney, et al.
Published: (2025)

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

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
by: Lv, Kunhang, et al.
Published: (2026)

On the Size Complexity and Decidability of First-Order Progression
by: Classen, Jens, et al.
Published: (2026)

Hidden Biases in Conditioning Autoregressive Models
by: Pachet, Francois, et al.
Published: (2026)

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