Copertina

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Arakelyan, Erik
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Computation and Language Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FLARE: Faithful Logic-Aided Reasoning and Exploration
di: Arakelyan, Erik, et al.
Pubblicazione: (2024)

DeepOnto: A Python Package for Ontology Engineering with Deep Learning
di: He, Yuan, et al.
Pubblicazione: (2023)

Semantic Sensitivities and Inconsistent Predictions: Measuring the Fragility of NLI Models
di: Arakelyan, Erik, et al.
Pubblicazione: (2024)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
di: Noël, Valentin
Pubblicazione: (2026)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
di: Bao, Qiming, et al.
Pubblicazione: (2025)

The Geometry of Reasoning: Flowing Logics in Representation Space
di: Zhou, Yufa, et al.
Pubblicazione: (2025)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
di: Xin, Huajian, et al.
Pubblicazione: (2024)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
di: Shen, Ziju, et al.
Pubblicazione: (2025)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
di: Opedal, Andreas, et al.
Pubblicazione: (2025)

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning
di: Su, DiJia, et al.
Pubblicazione: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
di: Chen, Michael K., et al.
Pubblicazione: (2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
di: Qasim, Kaleem Ullah, et al.
Pubblicazione: (2025)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
di: Bao, Qiming, et al.
Pubblicazione: (2022)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
di: Luo, Ziyan, et al.
Pubblicazione: (2023)

Transformers Can Learn Connectivity in Some Graphs but Not Others
di: Roy, Amit, et al.
Pubblicazione: (2025)

Consistent Joint Decision-Making with Heterogeneous Learning Models
di: Faghihi, Hossein Rajaby, et al.
Pubblicazione: (2024)

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
di: Zhao, Xueliang, et al.
Pubblicazione: (2024)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
di: Mukherji, Kaustuv, et al.
Pubblicazione: (2025)

Towards Regulated Deep Learning
di: García-Camino, Andrés
Pubblicazione: (2019)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
di: Rajaee, Sara, et al.
Pubblicazione: (2025)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
di: Zhang, Terry Jingchen, et al.
Pubblicazione: (2025)

Mathematics with large language models as provers and verifiers
di: Duc, Hieu Le, et al.
Pubblicazione: (2025)

Combining Textual and Structural Information for Premise Selection in Lean
di: Petrovčič, Job, et al.
Pubblicazione: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
di: Bayless, Sam, et al.
Pubblicazione: (2025)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
di: Xu, Yudong W., et al.
Pubblicazione: (2025)

Hierarchical Attention Generates Better Proofs
di: Chen, Jianlong, et al.
Pubblicazione: (2025)

RLSF: Fine-tuning LLMs via Symbolic Feedback
di: Jha, Piyush, et al.
Pubblicazione: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
di: Lalwani, Abhinav, et al.
Pubblicazione: (2024)

Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2
di: Miyashita, Hisashi, et al.
Pubblicazione: (2026)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
di: Ahuja, Riyaz, et al.
Pubblicazione: (2026)

Quantifying artificial intelligence through algorithmic generalization
di: Ito, Takuya, et al.
Pubblicazione: (2024)

Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
di: Boer, Derian, et al.
Pubblicazione: (2024)

Bolzano: Case Studies in LLM-Assisted Mathematical Research
di: Balko, Martin, et al.
Pubblicazione: (2026)

Herald: A Natural Language Annotated Lean 4 Dataset
di: Gao, Guoxiong, et al.
Pubblicazione: (2024)

An In-Context Learning Agent for Formal Theorem-Proving
di: Thakur, Amitayush, et al.
Pubblicazione: (2023)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
di: Ganguly, Debargha, et al.
Pubblicazione: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

Inference of Abstraction for a Unified Account of Reasoning and Learning
di: Kido, Hiroyuki
Pubblicazione: (2024)