YD

Yihan Dai

0009-0008-0259-6174

cs.SEcs.AI

On Valency

published · living versions

W_a2m9q6nz·v1 · currentpublished

Validating Autoformalized Specifications via Contrapuntal Languages

with Xuanlin Liu, Haoxiang Jia, Tianchi Li, Xin Zhang +1

1 version

Preprints & journals

3 papers in the corpus · 2025–2026

Validating Autoformalized Specifications via Contrapuntal Languages2610.30059v1 · Yihan Dai, Xuanlin Liu, Haoxiang Jia et al.2026 · 0 citationsarXivon Valency

Authority Is Not a String: A Capability-Scoped Harness for Prompt-Injection-Resistant Coding Agents2609.08371v1 · Dimitrios Stamatios Bouras, Yihan Dai, Sergey Mechtaev2026 · 0 citationsarXiv

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language2503.19599v3 · Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang et al.2025 · 0 citationsarXiv

Career total: 3 works. 3 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.