Less is more: refinement proofs for probabilistic proofs. - Kunming Jiang; Devora Chait-Roth; Zachary DeStefano; Michael Walfish; Thomas Wies (IACR Cryptol. ePrint Arch., 2022)

CoBBL: Dynamic Constraint Generation for SNARKs. - Kunming Jiang; Fraser Brown; Riad S. Wahby (SP, 2025)