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 (ICARSC, 2023)

Automatic Generation of Loop Invariants in Dafny with Large Language Models. - João Pascoal Faria; Emanuel Trigo; Rui Abreu 001 (FSEN, 2025)