Image de couverture de livre

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xu, Chen, Lan, Tian, Ji, Yu, Yu, Changlong, Wang, Wei, Gao, Jun, Dong, Qunxi, Qian, Kun, Li, Piji, Bi, Wei, Hu, Bin
Format:	Preprint
Publié:	2024
Sujets:	Computation and Language Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
par: Wang, Jingren, et autres
Publié: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
par: Pan, Yudai, et autres
Publié: (2021)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
par: Yang, Ziyi, et autres
Publié: (2025)

Finite Axiomatizability by Disjunctive Existential Rules
par: Calautti, Marco, et autres
Publié: (2025)

Rule Formats for Nominal Process Calculi
par: Aceto, Luca, et autres
Publié: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

Fuzzy Implicative Rules: A Unified Approach
par: Fernandez-Peralta, Raquel
Publié: (2025)

Sound and Complete Proof Rules for Probabilistic Termination
par: Majumdar, Rupak, et autres
Publié: (2024)

Admissibility of Substitution Rule in Cyclic-Proof Systems
par: Saotome, Kenji, et autres
Publié: (2025)

Herald: A Natural Language Annotated Lean 4 Dataset
par: Gao, Guoxiong, et autres
Publié: (2024)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
par: Bourigault, Pauline, et autres
Publié: (2026)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
par: Blot, Valentin, et autres
Publié: (2024)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
par: Bilotta, Antonella
Publié: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
par: Sharifi, Iman, et autres
Publié: (2026)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
par: Lyon, Tim S., et autres
Publié: (2023)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
par: Rabe, Florian, et autres
Publié: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
par: Dong, Yibo, et autres
Publié: (2024)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
par: Tsai, Wei-Lun, et autres
Publié: (2026)

Reliable Conversational Agents under ASP Control that Understand Natural Language
par: Zeng, Yankai
Publié: (2025)

Knowledge Reasoning Involving Four Types of Syllogisms
par: Wei, Long, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
par: Gerlach, Lukas
Publié: (2026)

CHTW-systems with resource-depended parameters. CHTW(R)-systems
par: Chunikhin, Alexander Yu.
Publié: (2024)

Graded Courrent PDL
par: Lin, Chun-Yu
Publié: (2025)

On Problems Dual to Unification: The String-Rewriting Case
par: Akçam, Zümrüt, et autres
Publié: (2021)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
par: Hanisch, Philipp, et autres
Publié: (2026)

CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
par: Ji, Junye
Publié: (2026)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
par: Pradeep, Pavana, et autres
Publié: (2026)

Weighted Rules under the Stable Model Semantics
par: Lee, Joohyung, et autres
Publié: (2026)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Extended Resolution Clause Learning via Dual Implication Points
par: Buss, Sam, et autres
Publié: (2024)

Explainability-Driven Quality Assessment for Rule-Based Systems
par: Seneviratne, Oshani, et autres
Publié: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
par: Rahman, A M Muntasir, et autres
Publié: (2024)