Gonçalo Homem de Almeida Correia

1
Papers
0
Total Citations

Papers (1)

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths

AAAI 2024
0
citations