Get started
Author

Gabriel Leite

Observed name: Leite, Gabriel
ORCID: 0009-0007-0232-8076
Observed ORCID: 0009-0007-0232-8076
OpenAlex ID: A5132697510
Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs
2026 · Gabriel Leite, Filipe Arruda, et al. · Science of Computer Programming · 2
Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study
2026 · Woodcock, Jim, Leite, Gabriel, et al. · arXiv (Cornell University)
PDF
Reproducibility Artefact for 'Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study'
2026 · Woodcock, James, Leite, Gabriel, et al. · Zenodo (CERN European Organization for Nuclear Research)
CAPRI: Contract-Aware Proof Repair for Isabelle — Reproducibility Artefact
2026 · Woodcock, James, Leite, Gabriel, et al. · Zenodo (CERN European Organization for Nuclear Research)
CAPRI: Contract-Aware Proof Repair for Isabelle
2026 · Woodcock, Jim, Leite, Gabriel, et al. · arXiv (Cornell University)
PDF
Inteligência artificial na gestão de repositórios institucionais: proposta de aplicação no Repositório Institucional da Universidade Federal do Amapá
2026 · Marques, Maria do Carmo Lima, Leite, Gabriel, et al. · Zenodo (CERN European Organization for Nuclear Research)
Clinical Reasoning-Driven Progress Evaluation of Medical Students Using Large Language Models
2026 · Heitor S. Mattosinho, Fernando Valente, et al. · International Journal of Information and Education Technology
PDF
Works count: 7
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type