conftrace_

graph concept reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

human-auditable explanation (1) algorithmic verification (1) proof system (1) constrained shortest path (1) shortest path (1) constrained optimization (1)

Papers

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