Author

Boxi Yu

h-index 8 View on Semantic Scholar

We have 1 of 20 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

BeSpec: Behavior-Level Specification Alignment for Code Generation

BeSpec is presented, a behavioral model-based approach to specification alignment that treats the task description as partial evidence about the intended behavior of the correct program, and first builds an explicit behavioral model, which are checkable properties that valid outputs must satisfy.

Qinghua Xu, Guancheng Wang, Boxi Yu et al. · 0 citations