Image de couverture de livre

CCR 2.0: High-level Reasoning for Conditional Refinements

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Song, Youngju, Cho, Minki
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
par: Zhan, Bohua, et autres
Publié: (2024)

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

First-Class Refinement Types for Scala
par: Bovel, Matt, et autres
Publié: (2026)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

A Refined Operational Semantics for FreeCHR
par: Rechenberger, Sascha, et autres
Publié: (2025)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
par: Kim, Sean, et autres
Publié: (2024)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
par: Sim, HoHyun, et autres
Publié: (2025)

Practical Refinement Session Type Inference (Extended Version)
par: Ueno, Toby, et autres
Publié: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
par: Fujiwara, Yusuke, et autres
Publié: (2026)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
par: Sim, Hohyun, et autres
Publié: (2026)

pyeb: A Python Implementation of Event-B Refinement Calculus
par: Cataño, Néstor
Publié: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
par: Dane, Serra Z., et autres
Publié: (2026)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
par: Zilberstein, Noam, et autres
Publié: (2024)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
par: Martin, Vassor, et autres
Publié: (2024)

On Code-Induced Reasoning in LLMs
par: Waheed, Abdul, et autres
Publié: (2025)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
par: Santra, Monika, et autres
Publié: (2026)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
par: Singhvi, Arnav, et autres
Publié: (2023)

T1: Tool-integrated Verification for Test-time Compute Scaling in Small Language Models
par: Kang, Minki, et autres
Publié: (2025)

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

Scaling Optimization Over Uncertainty via Compilation
par: Cho, Minsung, et autres
Publié: (2025)

Conditional Nested Pattern Matching in Interaction Net
par: Sato, Shinya
Publié: (2024)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
par: Kanda, Madhav, et autres
Publié: (2025)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Reasoning about External Calls
par: Drossopoulou, Sophia, et autres
Publié: (2025)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
par: Misra, Diganta, et autres
Publié: (2025)

Almost-Sure Termination by Guarded Refinement
par: Gregersen, Simon Oddershede, et autres
Publié: (2024)

Functional Reasoning for Distributed Systems with Failures
par: Ni, Haobin, et autres
Publié: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
par: Gao, Jun, et autres
Publié: (2025)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Example-Based Reasoning about the Realizability of Polymorphic Programs
par: Mulleners, Niek, et autres
Publié: (2024)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
par: Han, Vernon Toh Yan, et autres
Publié: (2023)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
par: Amorim, Arthur, et autres
Publié: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
par: DeLorenzo, Matthew, et autres
Publié: (2025)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
par: Kent, Zachary, et autres
Publié: (2025)

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
par: Xu, Yingte, et autres
Publié: (2025)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
par: Xiao, Youwei, et autres
Publié: (2025)

Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
par: Cai, Yanzheng, et autres
Publié: (2026)