:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Chen, Peng
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Computation and Language
Accès en ligne:	https://arxiv.org/abs/2603.01366
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory
par: Peng, Chen
Publié: (2026)

KOS-TL (Knowledge Operation System Type Logic)
par: Chen, Peng
Publié: (2026)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
par: Hu, Jason Z. S., et autres
Publié: (2024)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Dependent Multiplicities in Dependent Linear Type Theory
par: Doré, Maximilian
Publié: (2025)

Dependent Type Refinements for Futures
par: Somayyajula, Siva, et autres
Publié: (2023)

Layered Modal Type Theories
par: Hu, Jason Z. S., et autres
Publié: (2023)

WebPie: A Tiny Slice of Dependent Typing
par: Scholliers, Christophe
Publié: (2024)

A Graded Modal Dependent Type Theory with Erasure, Formalized
par: Abel, Andreas, et autres
Publié: (2026)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
par: Huang, Tianyi, et autres
Publié: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
par: Zafar, Aizan, et autres
Publié: (2024)

Automated Verification of Monotonic Data Structure Traversals in C
par: Sotoudeh, Matthew
Publié: (2025)

A Foundation for Differentiable Logics using Dependent Type Theory
par: Affeldt, Reynald, et autres
Publié: (2026)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
par: Zhang, Xinglang, et autres
Publié: (2026)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

Foundations of Substructural Dependent Type Theory
par: Aberlé, C. B.
Publié: (2024)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
par: Pham, Long, et autres
Publié: (2023)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
par: Zilberstein, Noam
Publié: (2024)

Unrealizability Logic
par: Kim, Jinwoo, et autres
Publié: (2022)

Logical forms complement probability in understanding language model (and human) performance
par: Wang, Yixuan, et autres
Publié: (2025)

Positive First-order Logic on Words and Graphs
par: Kuperberg, Denis
Publié: (2022)

Partial Incorrectness Logic
par: Verscht, Lena, et autres
Publié: (2025)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
par: Zilberstein, Noam, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

Recursive Mutexes in Separation Logic
par: Du, Ke, et autres
Publié: (2026)

Finite-Choice Logic Programming
par: Martens, Chris, et autres
Publié: (2024)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
par: Aberlé, C. B.
Publié: (2026)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
par: Niederhauser, Johannes, et autres
Publié: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
par: Liu, Yinhong, et autres
Publié: (2024)

Ordered Adjoint Logic (Extended Version)
par: Roshal, Sophia, et autres
Publié: (2026)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

Types for Grassroots Logic Programs
par: Shapiro, Ehud
Publié: (2026)