Image de couverture de livre

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Alpay, Faruk, Alakkad, Hamdi
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science 68N15, 68Q55, 68Q60, 03B35 D.3.1; F.3.1; F.3.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Monitoring Hyperproperties over Observed and Constructed Traces
par: Chalupa, Marek, et autres
Publié: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
par: Zhang, Manqing, et autres
Publié: (2026)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
par: Alpay, Faruk, et autres
Publié: (2025)

An Expressive Trace Logic for Recursive Programs
par: Gurov, Dilian, et autres
Publié: (2024)

Simulating and model checking membrane systems using strategies in Maude
par: Rubio, Rubén, et autres
Publié: (2024)

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

Notes on applicative matching logic
par: Leuştean, Laurenţiu
Publié: (2025)

Principal Types as Partial Involutions
par: Honsell, Furio, et autres
Publié: (2024)

Domains, Information Frames, and Their Logic
par: Spreen, Dieter
Publié: (2025)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
par: Ceragioli, Lorenzo, et autres
Publié: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
par: Ramos, Arthur, et autres
Publié: (2025)

Nominal techniques as an Agda library
par: Gabbay, Murdoch J., et autres
Publié: (2026)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

Strategies, model checking and branching-time properties in Maude
par: Rubio, Rubén, et autres
Publié: (2024)

Model checking strategy-controlled systems in rewriting logic
par: Rubio, Rubén, et autres
Publié: (2024)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
par: Alpay, Faruk, et autres
Publié: (2025)

Braids, twists, trace and duality in combinatory algebras
par: Hasegawa, Masahito, et autres
Publié: (2024)

Emulation-Completeness of Programming Languages
par: Morse, Gregory, et autres
Publié: (2026)

Conformance Games for Graded Semantics
par: Forster, Jonas, et autres
Publié: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
par: Gabbay, Murdoch J., et autres
Publié: (2025)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
par: Wang, Shuai
Publié: (2024)

On Woolhouse's Cotton-Spinning Problem
par: Groote, Jan Friso, et autres
Publié: (2024)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
par: Santacana, Andreu Ballus
Publié: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
par: Gabbay, Murdoch J.
Publié: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

Metalevel transformation of strategies
par: Rubio, Rubén, et autres
Publié: (2024)

Reversible computations are computations
par: Aubert, Clément, et autres
Publié: (2025)

On systematic construction of correct logic programs
par: Drabent, Włodzimierz
Publié: (2025)

Formalizing Pick's Theorem in Isabelle/HOL
par: Binder, Sage, et autres
Publié: (2024)

Flavors of Quantifiers in Hyperlogics
par: Chalupa, Marek, et autres
Publié: (2025)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
par: Martinez-Rivillas, Daniel O., et autres
Publié: (2026)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
par: Park, Sewon, et autres
Publié: (2016)

BRIDGE: Building Representations In Domain Guided Program Synthesis
par: George, Robert Joseph, et autres
Publié: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
par: Lu, Weijie, et autres
Publié: (2026)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
par: Ding, Sichen, et autres
Publié: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

NP-hard problems are not in BQP
par: Czerwinski, Reiner
Publié: (2023)