VeriScale 📝Official dataset for the paper: VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation XiaoyangLiu-sjtu/VerinaPlus Preview • Updated Jul 28 • 187 XiaoyangLiu-sjtu/VerinaLite Updated Jul 28 • 207
DSR 📝Official model and dataset for the paper: Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees XiaoyangLiu-sjtu/DSR_Formalizer 8B • Updated May 20 • 9 • 1 XiaoyangLiu-sjtu/DSR_dataset Viewer • Updated May 20 • 121k • 13 • 1
VeriScale 📝Official dataset for the paper: VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation XiaoyangLiu-sjtu/VerinaPlus Preview • Updated Jul 28 • 187 XiaoyangLiu-sjtu/VerinaLite Updated Jul 28 • 207
DSR 📝Official model and dataset for the paper: Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees XiaoyangLiu-sjtu/DSR_Formalizer 8B • Updated May 20 • 9 • 1 XiaoyangLiu-sjtu/DSR_dataset Viewer • Updated May 20 • 121k • 13 • 1
