Research author

Gabriel Leite

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Gabriel Leite

Aug 13, 2026
cs.SE

CAPRI: Contract-Aware Proof Repair for Isabelle

Jim Woodcock, Gabriel Leite, Augusto Sampaio, et al.

Gabriel Leite — AI Research Papers | One9Founders