Home » Authors » Yihan Dai, Xuanlin Liu, Haoxiang Jia, Tianchi Li, Xin Zhang, Sergey Mechtaev

Yihan Dai, Xuanlin Liu, Haoxiang Jia, Tianchi Li, Xin Zhang, Sergey Mechtaev

Public reference bibliography and cataloged PDF materials authored or published by Yihan Dai, Xuanlin Liu, Haoxiang Jia, Tianchi Li, Xin Zhang, Sergey Mechtaev.

Found 1 document(s) Page 1 of 1

Validating Autoformalized Specifications via Contrapuntal Languages

Year: 2026 • Source: arxiv.org • Listed PDF

Formal specifications can make AI-generated code mechanically checkable. Because user intent is typically expressed in natural language rather than formal logic, specifications must first be derived from it, e.g., via LL...