Cover Image

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Yingte, Zhou, Li, Barthe, Gilles
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automating Equational Proofs in Dirac Notation
by: Xu, Yingte, et al.
Published: (2024)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
by: Barthe, Gilles, et al.
Published: (2025)

(Dis)Proving Spectre Security with Speculation-Passing Style
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

Critical Semantic Properties of Music Notation Datasets
by: Lepper, Markus, et al.
Published: (2024)

Decompiling for Constant-Time Analysis
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

A Direct-Style Effect Notation for Sequential and Parallel Programs
by: Richter, David, et al.
Published: (2023)

The Jasmin Compiler Preserves Cryptographic Security
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

Traq: Estimating the Quantum Cost of Classical Programs
by: Peduri, Anurudh, et al.
Published: (2025)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

A Notation for Describing the Components of Library Information Systems.
by: Momenee, Karen
Published: (1982)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
by: Lin, Honglin, et al.
Published: (2025)

Pacing Types for Asynchronous Stream Equations
by: Kohn, Florian, et al.
Published: (2026)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
by: Barnaby, Celeste, et al.
Published: (2026)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

On Code-Induced Reasoning in LLMs
by: Waheed, Abdul, et al.
Published: (2025)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
by: Böck, Markus, et al.
Published: (2025)

Reasoning about External Calls
by: Drossopoulou, Sophia, et al.
Published: (2025)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
by: Li, Tianchi, et al.
Published: (2026)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

Functional Reasoning for Distributed Systems with Failures
by: Ni, Haobin, et al.
Published: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
by: Gao, Jun, et al.
Published: (2025)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)

Leveraging Large Language Models for Generalizing Peephole Optimizations
by: Liao, Chunhao, et al.
Published: (2026)

Example-Based Reasoning about the Realizability of Polymorphic Programs
by: Mulleners, Niek, et al.
Published: (2024)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
by: Han, Vernon Toh Yan, et al.
Published: (2023)

Hadamard-Pi: Equational Quantum Programming
by: Fang, Wang, et al.
Published: (2025)

CCR 2.0: High-level Reasoning for Conditional Refinements
by: Song, Youngju, et al.
Published: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
by: DeLorenzo, Matthew, et al.
Published: (2025)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
by: Kent, Zachary, et al.
Published: (2025)

Efficient Linearizability Monitoring
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
by: Sun, Simeng, et al.
Published: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
by: Nepeivoda, Antonina, et al.
Published: (2025)

ONTO: A Token-Efficient Columnar Notation for LLM Input Optimization
by: Deekeswar, Harshavardhanan
Published: (2026)

REAMS: Reasoning Enhanced Algorithm for Maths Solving
by: Singh, Eishkaran, et al.
Published: (2025)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
by: Dong, Yixin, et al.
Published: (2024)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)