SigRef: Verification-Driven Reflection for Faithful Paper-to-Code Development.

Mingyang Zhou, Quanming Yao, Lun Du, Lanning Wei, Da Zheng

Browse the full ICPR paper archive.