Research author

Jim Woodcock

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

Papers by Jim Woodcock

Aug 13, 2026
cs.SE

CAPRI: Contract-Aware Proof Repair for Isabelle

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

Jim Woodcock — AI Research Papers | One9Founders