Author

João F. Ferreira

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Nov 2026

ProofCoder: Continuous Reasoning for Automated Software Verification

Formal verification using proof assistants provides strong correctness guarantees for software, but constructing proofs remains labor-intensive and requires significant expertise. Recent approaches based on large language models (LLMs) have shown promise in automating proof synthesis. However, these approaches typicall...

Martim Afonso, I. Lynce, Maurizio Morisio et al. · 0 citations

#artificial intelligence Preprint Nov 2026

SeVerus: Context-Aware, Gamified Benchmarking for Rust Verification

Coding agents achieve high success rates on existing benchmarks for Verus, a verifier for Rust programs. These benchmarks typically provide the auxiliary lemmas needed to complete a proof. In practice, however, such lemmas must be discovered and proved. To capture this challenge, we present SEVERUS, a context-aware tec...

Álvaro F. Silva, Martim Afonso, Nuno Saavedra et al. · 0 citations