Gabriel Leite

According to our database, Gabriel Leite authored at least 4 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Sci. Comput. Program., 2026

2025

KG-Quizzer: Refinamento de Prompts via Grafos de Conhecimento para a Geração Automática de Questionários em Português.

Davisson Medeiros, Gabriel Leite, André Gomes Regino, Víctor Jesús Soleto Chico, Ferrucio de Franco Rosa, Júlio Cesar dos Reis

Proceedings of the 18th Seminar on Ontology Research in Brazil (ONTOBRAS 2025) and 9th Doctoral and Masters Consortium on Ontologies (WTDO 2025), São José dos Campos, Brazil, September 29, 2025

2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2022

Stimulating Research Skills in Undergraduate Computing Students: An Experience Report.

Simone C. dos Santos, Anderson César Carvalho, Gabriel Leite, Luan Brito, Aline Gouveia

Proceedings of the IEEE Frontiers in Education Conference, 2022