Sidorov, Konstantin

1 publications

AAAI 2024 Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths Konstantin Sidorov, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirovic