Copertina

Reasoning with maximal consistent signatures

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Thimm, Matthias, Santos, Jandson Santos Ribeiro
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
di: Klumpp, Dominik, et al.
Pubblicazione: (2024)

Model Change for Description Logic Concepts
di: Ozaki, Ana, et al.
Pubblicazione: (2026)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
di: Blümel, Lydia, et al.
Pubblicazione: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
di: Sauerwald, Kai, et al.
Pubblicazione: (2024)

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
di: Kuhlmann, Isabelle, et al.
Pubblicazione: (2023)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
di: Blümel, Lydia, et al.
Pubblicazione: (2026)

Extension-ranking Semantics for Abstract Argumentation Preprint
di: Skiba, Kenneth, et al.
Pubblicazione: (2025)

Consciousness as a logically consistent and prognostic model of reality
di: Vityaev, Evgenii
Pubblicazione: (2023)

ROCM: RLHF on consistency models
di: Shekhar, Shivanshu, et al.
Pubblicazione: (2025)

Reasoning or Not? A Comprehensive Evaluation of Reasoning LLMs for Dialogue Summarization
di: Jin, Keyan, et al.
Pubblicazione: (2025)

Toward Agents That Reason About Their Computation
di: Orenstein, Adrian, et al.
Pubblicazione: (2025)

Information-theoretic analysis of world models in optimal reward maximizers
di: Harwood, Alfred, et al.
Pubblicazione: (2026)

The Illusion of Insight in Reasoning Models
di: d'Aliberti, Liv G., et al.
Pubblicazione: (2026)

Guaranteeing consistency in evidence fusion: A novel perspective on credibility
di: Ma, Chaoxiong, et al.
Pubblicazione: (2025)

Position: agentic AI orchestration should be Bayes-consistent
di: Papamarkou, Theodore, et al.
Pubblicazione: (2026)

Universal AI maximizes Variational Empowerment
di: Hayashi, Yusuke, et al.
Pubblicazione: (2025)

Distribution-consistency Structural Causal Models
di: Gong, Heyang, et al.
Pubblicazione: (2024)

Simple online learning with consistent oracle
di: Kozachinskiy, Alexander, et al.
Pubblicazione: (2023)

Generating consistent PDDL domains with Large Language Models
di: Smirnov, Pavel, et al.
Pubblicazione: (2024)

AlphaZeroES: Direct score maximization outperforms planning loss minimization
di: Martin, Carlos, et al.
Pubblicazione: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
di: Rocha, Filipe Marinho, et al.
Pubblicazione: (2024)

When is the consistent prediction likely to be a correct prediction?
di: Nguyen, Alex, et al.
Pubblicazione: (2024)

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

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
di: Liu, Junqi, et al.
Pubblicazione: (2026)

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

Integrated representational signatures strengthen specificity in brains and models
di: Wu, Jialin, et al.
Pubblicazione: (2025)

A Foundation Model for Zero-shot Logical Query Reasoning
di: Galkin, Mikhail, et al.
Pubblicazione: (2024)

Enhancing Decision Analysis with a Large Language Model: pyDecision a Comprehensive Library of MCDA Methods in Python
di: Pereira, Valdecy, et al.
Pubblicazione: (2024)

GQA-μP: The maximal parameterization update for grouped query attention
di: Chickering, Kyle R., et al.
Pubblicazione: (2026)

On the consistency of hyper-parameter selection in value-based deep reinforcement learning
di: Obando-Ceron, Johan, et al.
Pubblicazione: (2024)

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

A statistically consistent measure of semantic uncertainty using Language Models
di: Liu, Yi
Pubblicazione: (2025)

Bilinear representation mitigates reversal curse and enables consistent model editing
di: Kim, Dong-Kyum, et al.
Pubblicazione: (2025)

Best-of-Q: Improving VLM agents with Q-function Action Ranking at Inference
di: Biré, Emilien, et al.
Pubblicazione: (2026)

An approach of deep reinforcement learning for maximizing the net present value of stochastic projects
di: Xu, Wei, et al.
Pubblicazione: (2025)

From Calculation to Adjudication: Examining LLM judges on Mathematical Reasoning Tasks
di: Stephan, Andreas, et al.
Pubblicazione: (2024)

Topology of Reasoning: Understanding Large Reasoning Models through Reasoning Graph Properties
di: Minegishi, Gouki, et al.
Pubblicazione: (2025)

Towards Unifying Perceptual Reasoning and Logical Reasoning
di: Kido, Hiroyuki
Pubblicazione: (2022)

On Reasoning Strength Planning in Large Reasoning Models
di: Sheng, Leheng, et al.
Pubblicazione: (2025)

Adaptive Dual Reasoner: Large Reasoning Models Can Think Efficiently by Hybrid Reasoning
di: Zhang, Yujian, et al.
Pubblicazione: (2025)