Image de couverture de livre

Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Pavlov, Alexander
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Logic in Computer Science 68T20 I.2.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
par: Das, Subhashis, et autres
Publié: (2024)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
par: Wang, Shuai, et autres
Publié: (2024)

CellTypeAgent: Trustworthy cell type annotation with Large Language Models
par: Chen, Jiawen, et autres
Publié: (2025)

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
par: Rashie, Devakh, et autres
Publié: (2026)

Cooperative Patrol Routing: Optimizing Urban Crime Surveillance through Multi-Agent Reinforcement Learning
par: Palma-Borda, Juan, et autres
Publié: (2025)

A Reduction of Input/Output Logics to SAT
par: Steen, Alexander
Publié: (2025)

Combination of Weak Learners eXplanations to Improve Random Forest eXplicability Robustness
par: Pala, Riccardo, et autres
Publié: (2024)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

A Modular Cognitive Architecture for Assisted Reasoning: The Nemosine Framework
par: Melo, Edervaldo
Publié: (2025)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
par: Yu, Zhiming, et autres
Publié: (2026)

Unlocking the Potential of Metaverse in Innovative and Immersive Digital Health
par: Ebrahimzadeh, Fatemeh, et autres
Publié: (2024)

Maat: The Agentic Legal Research Assistant for Competition Protection
par: Mounir, Basant, et autres
Publié: (2026)

Bayesian Evolutionary Swarm Architecture: A Formal Epistemic System Grounded in Truth-Based Competition
par: Wright, Craig Steven
Publié: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
par: Batten, Ben, et autres
Publié: (2024)

Input convex neural networks: universal approximation theorem and implementation for isotropic polyconvex hyperelastic energies
par: Geuken, Gian-Luca, et autres
Publié: (2025)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
par: Balafas, Vasileios, et autres
Publié: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
par: Wright, Craig S.
Publié: (2025)

Agentic AI Systems Applied to tasks in Financial Services: Modeling and model risk management crews
par: Okpala, Izunna, et autres
Publié: (2025)

What is lost in Normalization? Exploring Pitfalls in Multilingual ASR Model Evaluations
par: Manohar, Kavya, et autres
Publié: (2024)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
par: Kesseli, Pascal, et autres
Publié: (2025)

Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation
par: Basarkar, Aditya, et autres
Publié: (2026)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
par: Wang, Yuanhong, et autres
Publié: (2023)

Temporal Many-valued Conditional Logics: a Preliminary Report
par: Alviano, Mario, et autres
Publié: (2024)

Car Sensors Health Monitoring by Verification Based on Autoencoder and Random Forest Regression
par: Torkhesari, Sahar, et autres
Publié: (2025)

Formal Abductive Latent Explanations for Prototype-Based Networks
par: Soria, Jules, et autres
Publié: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

Extracting Abstraction Dimensions by Identifying Syntax Pattern from Texts
par: Zhou, Jian, et autres
Publié: (2025)

EAA: Automating materials characterization with vision language model agents
par: Du, Ming, et autres
Publié: (2026)

MedMemoryBench: Benchmarking Agent Memory in Personalized Healthcare
par: Wang, Yihao, et autres
Publié: (2026)

An Epidemiological Knowledge Graph extracted from the World Health Organization's Disease Outbreak News
par: Consoli, Sergio, et autres
Publié: (2025)

Locality, Consistency, and the Tractability Frontier
par: Simas, Tristan
Publié: (2026)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
par: Gulati, Aryan, et autres
Publié: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
par: Ahvonen, Veeti, et autres
Publié: (2026)

Exploring the Structure of AI-Induced Language Change in Scientific English
par: Galpin, Riley, et autres
Publié: (2025)

Designing Multi-Step Action Models for Enterprise AI Adoption
par: Mishra, Shreyash, et autres
Publié: (2024)

AI-Powered Augmented Reality for Satellite Assembly, Integration and Test
par: Patricio, Alvaro, et autres
Publié: (2024)

Ailed: A Psyche-Driven Chess Engine with Dynamic Emotional Modulation
par: Prado, Diego Armando Resendez
Publié: (2026)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
par: Calimeri, Francesco, et autres
Publié: (2024)