Research author

Augusto Sampaio

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

Papers by Augusto Sampaio

Aug 13, 2026
cs.SE

CAPRI: Contract-Aware Proof Repair for Isabelle

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

Augusto Sampaio — AI Research Papers | One9Founders