Copertina

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication

Fuente: arXiv

Salvato in:

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

Documenti analoghi

Intuitionistic $j$-Do-Calculus in Topos Causal Models
di: Mahadevan, Sridhar
Pubblicazione: (2025)

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

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2026)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
di: An, Chenyang, et al.
Pubblicazione: (2024)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
di: Allen, Bradley P., et al.
Pubblicazione: (2025)

Llemma: An Open Language Model For Mathematics
di: Azerbayev, Zhangir, et al.
Pubblicazione: (2023)

Generics and Default Reasoning in Large Language Models
di: Kirkpatrick, James Ravi, et al.
Pubblicazione: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
di: Goertzel, Ben
Pubblicazione: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
di: Wang, Keyu, et al.
Pubblicazione: (2024)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
di: Świechowski, Maciej, et al.
Pubblicazione: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
di: Huang, Tianyi, et al.
Pubblicazione: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
di: Srbinovska, Anita, et al.
Pubblicazione: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
di: Zhang, Leizhen, et al.
Pubblicazione: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
di: Bourigault, Pauline, et al.
Pubblicazione: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
di: Liu, Chengwu, et al.
Pubblicazione: (2026)

Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
di: Allen, Bradley P.
Pubblicazione: (2026)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
di: Song, Zhuo-Yang
Pubblicazione: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
di: Cao, Chuxue, et al.
Pubblicazione: (2025)

Explainability by design: an experimental analysis of the legal coding process
di: Cristani, Matteo, et al.
Pubblicazione: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

Question Answering with LLMs and Learning from Answer Sets
di: Borroto, Manuel, et al.
Pubblicazione: (2025)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
di: Boldachev, Alexander
Pubblicazione: (2025)

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
di: Basu, Kinjal, et al.
Pubblicazione: (2024)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
di: Sun, Qiang, et al.
Pubblicazione: (2025)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
di: Kalyanpur, Aditya, et al.
Pubblicazione: (2024)

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
di: Kirtania, Shashank, et al.
Pubblicazione: (2024)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
di: Zeng, Yankai, et al.
Pubblicazione: (2024)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
di: Nguyen, Long S. T., et al.
Pubblicazione: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
di: Rahman, A M Muntasir, et al.
Pubblicazione: (2024)

RvLLM: LLM Runtime Verification with Domain Knowledge
di: Zhang, Yedi, et al.
Pubblicazione: (2025)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
di: Xu, Chen, et al.
Pubblicazione: (2024)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
di: Li, Yitian, et al.
Pubblicazione: (2024)

The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law
di: Jeong, Cheonkam, et al.
Pubblicazione: (2025)