2 papers
cs.SE2026
Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
Yi Lin, Lujin Zhao, Yijie Shi
The shift toward intent-driven software engineering (often termed "Vibe Coding") exposes a critical Context-Fidelity Trade-off: vague user intents overwhelm linear reasoning chains…
cs.SC2025
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
Yi Lin, Moshe Y. Vardi
Motivated by functional synthesis in sequential circuit construction and quantified boolean formulas (QBF), boolean synthesis serves as one of the core problems in Formal Methods.…