XL
Xuanlin Liu
cs.SE
On Valency
published · living versionsW_a2m9q6nz·v1 · currentpublished
Validating Autoformalized Specifications via Contrapuntal Languages
with Yihan Dai, Haoxiang Jia, Tianchi Li, Xin Zhang +1
1 version
Preprints & journals
2 papers in the corpus · 2026Validating Autoformalized Specifications via Contrapuntal Languages2610.30059v1 · Yihan Dai, Xuanlin Liu, Haoxiang Jia et al.2026 · 0 citationsarXivon Valency
DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair2604.03610v1 · Maolin Sun, Yibiao Yang, Xuanlin Liu et al.2026 · 0 citationsarXiv
Career total: 2 works. 2 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.