3 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.…
cs.FL2024
Dynamic Programming for Symbolic Boolean Realizability and Synthesis
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
Inspired by recent progress in dynamic programming approaches for weighted model counting, we investigate a dynamic-programming approach in the context of boolean realizability and…