Emanuel Trigo

According to our database, Emanuel Trigo authored at least 3 papers between 2023 and 2026.

Collaborative distances:

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

2026

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles.

João Pascoal Faria, Emanuel Trigo, Vinicius Honorato, Rui Abreu

CoRR, January, 2026

2025

Automatic Generation of Loop Invariants in Dafny with Large Language Models.

João Pascoal Faria, Emanuel Trigo, Rui Abreu

Proceedings of the Fundamentals of Software Engineering, 2025

2023

Using Deep Reinforcement Learning for Navigation in Simulated Hallways.

Gonçalo Leão, Filipe Almeida, Emanuel Trigo, Henrique Ferreira, Armando Sousa, Luís Paulo Reis

Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2023