Research author

João F. Ferreira

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

Papers by João F. Ferreira

Nov 10, 2026
cs.SE

ProofCoder: Continuous Reasoning for Automated Software Verification

Martim Afonso, Inês Lynce, Maurizio Morisio, et al.

João F. Ferreira — AI Research Papers | One9Founders