Image de couverture de livre

Reasoning with maximal consistent signatures

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Thimm, Matthias, Santos, Jandson Santos Ribeiro
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
par: Klumpp, Dominik, et autres
Publié: (2024)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
par: Blümel, Lydia, et autres
Publié: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
par: Sauerwald, Kai, et autres
Publié: (2024)

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
par: Kuhlmann, Isabelle, et autres
Publié: (2023)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
par: Blümel, Lydia, et autres
Publié: (2026)

Extension-ranking Semantics for Abstract Argumentation Preprint
par: Skiba, Kenneth, et autres
Publié: (2025)

Consciousness as a logically consistent and prognostic model of reality
par: Vityaev, Evgenii
Publié: (2023)

ROCM: RLHF on consistency models
par: Shekhar, Shivanshu, et autres
Publié: (2025)

Reasoning or Not? A Comprehensive Evaluation of Reasoning LLMs for Dialogue Summarization
par: Jin, Keyan, et autres
Publié: (2025)

Toward Agents That Reason About Their Computation
par: Orenstein, Adrian, et autres
Publié: (2025)

Information-theoretic analysis of world models in optimal reward maximizers
par: Harwood, Alfred, et autres
Publié: (2026)

The Illusion of Insight in Reasoning Models
par: d'Aliberti, Liv G., et autres
Publié: (2026)

Guaranteeing consistency in evidence fusion: A novel perspective on credibility
par: Ma, Chaoxiong, et autres
Publié: (2025)

Position: agentic AI orchestration should be Bayes-consistent
par: Papamarkou, Theodore, et autres
Publié: (2026)

Universal AI maximizes Variational Empowerment
par: Hayashi, Yusuke, et autres
Publié: (2025)

Distribution-consistency Structural Causal Models
par: Gong, Heyang, et autres
Publié: (2024)

Simple online learning with consistent oracle
par: Kozachinskiy, Alexander, et autres
Publié: (2023)

Generating consistent PDDL domains with Large Language Models
par: Smirnov, Pavel, et autres
Publié: (2024)

AlphaZeroES: Direct score maximization outperforms planning loss minimization
par: Martin, Carlos, et autres
Publié: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

When is the consistent prediction likely to be a correct prediction?
par: Nguyen, Alex, et autres
Publié: (2024)

Comparative Analysis of MDL-VAE vs. Standard VAE on 202 Years of Gynecological Data
par: Santos, Paula
Publié: (2025)

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
par: Liu, Junqi, et autres
Publié: (2026)

ESAA: Event Sourcing for Autonomous Agents in LLM-Based Software Engineering
par: Filho, Elzo Brito dos Santos
Publié: (2026)

Integrated representational signatures strengthen specificity in brains and models
par: Wu, Jialin, et autres
Publié: (2025)

A Foundation Model for Zero-shot Logical Query Reasoning
par: Galkin, Mikhail, et autres
Publié: (2024)

Enhancing Decision Analysis with a Large Language Model: pyDecision a Comprehensive Library of MCDA Methods in Python
par: Pereira, Valdecy, et autres
Publié: (2024)

GQA-μP: The maximal parameterization update for grouped query attention
par: Chickering, Kyle R., et autres
Publié: (2026)

On the consistency of hyper-parameter selection in value-based deep reinforcement learning
par: Obando-Ceron, Johan, et autres
Publié: (2024)

PACAD-Based Structural Reasoning for AGI: From Probabilistic Pattern-Matching to Verifiable Canonical Architectures – paper 1, version 2
par: Brown, Cameron
Publié: (2026)

A statistically consistent measure of semantic uncertainty using Language Models
par: Liu, Yi
Publié: (2025)

Bilinear representation mitigates reversal curse and enables consistent model editing
par: Kim, Dong-Kyum, et autres
Publié: (2025)

Best-of-Q: Improving VLM agents with Q-function Action Ranking at Inference
par: Biré, Emilien, et autres
Publié: (2026)

An approach of deep reinforcement learning for maximizing the net present value of stochastic projects
par: Xu, Wei, et autres
Publié: (2025)

From Calculation to Adjudication: Examining LLM judges on Mathematical Reasoning Tasks
par: Stephan, Andreas, et autres
Publié: (2024)

Topology of Reasoning: Understanding Large Reasoning Models through Reasoning Graph Properties
par: Minegishi, Gouki, et autres
Publié: (2025)

Towards Unifying Perceptual Reasoning and Logical Reasoning
par: Kido, Hiroyuki
Publié: (2022)

On Reasoning Strength Planning in Large Reasoning Models
par: Sheng, Leheng, et autres
Publié: (2025)

Adaptive Dual Reasoner: Large Reasoning Models Can Think Efficiently by Hybrid Reasoning
par: Zhang, Yujian, et autres
Publié: (2025)