conftrace_

human-auditable explanation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

graph concept reasoning (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