Saved in:
| Main Authors: | Coumes, Simon, Paris, Pierre-Henri, Schwarzentruber, François, Suchanek, Fabian |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| 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)
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)
by: Suchanek, Fabian, et al.
Published: (2023)
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
by: Nunn, Pierre, et al.
Published: (2024)
by: Nunn, Pierre, et al.
Published: (2024)
Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
by: Ghosh, Avijeet, et al.
Published: (2025)
by: Ghosh, Avijeet, et al.
Published: (2025)
BELLA: Black box model Explanations by Local Linear Approximations
by: Radulovic, Nedeljko, et al.
Published: (2023)
by: Radulovic, Nedeljko, et al.
Published: (2023)
A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)
by: de Lima, Tiago, et al.
Published: (2024)
FLORA: Unsupervised Knowledge Graph Alignment by Fuzzy Logic
by: Peng, Yiwen, et al.
Published: (2025)
by: Peng, Yiwen, et al.
Published: (2025)
Neurosymbolic Methods for Dynamic Knowledge Graphs
by: Alam, Mehwish, et al.
Published: (2024)
by: Alam, Mehwish, et al.
Published: (2024)
Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
by: Chernobrovkin, Artem, et al.
Published: (2025)
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)
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)
by: Pachet, François
Published: (2026)
On Dynamic Programming Theory for Leader-Follower Stochastic Games
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)
First-Order Representation Languages for Goal-Conditioned RL
by: Ståhlberg, Simon, et al.
Published: (2025)
by: Ståhlberg, Simon, et al.
Published: (2025)
Solving Quantified Boolean Formulas with Few Existential Variables
by: Eriksson, Leif, et al.
Published: (2024)
by: Eriksson, Leif, et al.
Published: (2024)
Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
by: Foldvik, Simon
Published: (2026)
by: Foldvik, Simon
Published: (2026)
The Factuality of Large Language Models in the Legal Domain
by: Hamdani, Rajaa El, et al.
Published: (2024)
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)
by: Hamdani, Rajaa El, et al.
Published: (2025)
A Repository for Formal Contexts
by: Hanika, Tom, et al.
Published: (2024)
by: Hanika, Tom, et al.
Published: (2024)
Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)
by: Schwarzentruber, François
Published: (2025)
Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
by: Olson, Taylor
Published: (2026)
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)
by: Bogaert, Jeremie, et al.
Published: (2024)
Saarthi: The First AI Formal Verification Engineer
by: Kumar, Aman, et al.
Published: (2025)
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)
by: Rahmani, Hazhar, et al.
Published: (2025)
Automatic Textbook Formalization
by: Gloeckle, Fabian, et al.
Published: (2026)
by: Gloeckle, Fabian, et al.
Published: (2026)
Formalizing Mathematics at Scale
by: Rammal, Ahmad, et al.
Published: (2026)
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)
by: Cao, Lang, et al.
Published: (2025)
Quantifying Multimodal Capabilities: Formal Generalization Guarantees in Pairwise Metric Learning
by: Zhou, Richeng, et al.
Published: (2026)
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)
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)
by: Mysore, Naveen
Published: (2025)
Learning to Ground Existentially Quantified Goals
by: Funkquist, Martin, et al.
Published: (2024)
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)
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)
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)
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)
by: Ma, Yiqing, et al.
Published: (2025)
Quantifying Memory Use in Reinforcement Learning with Temporal Range
by: Lafuente-Mercado, Rodney, et al.
Published: (2025)
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)
by: Howlader, Prosenjit, et al.
Published: (2025)
LLM-Guided Quantified SMT Solving over Uninterpreted Functions
by: Lv, Kunhang, et al.
Published: (2026)
by: Lv, Kunhang, et al.
Published: (2026)
On the Size Complexity and Decidability of First-Order Progression
by: Classen, Jens, et al.
Published: (2026)
by: Classen, Jens, et al.
Published: (2026)
Hidden Biases in Conditioning Autoregressive Models
by: Pachet, Francois, et al.
Published: (2026)
by: Pachet, Francois, et al.
Published: (2026)
Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)
by: Wang, David, et al.
Published: (2025)
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)