conftrace_

algorithmic verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof system (1) human-auditable explanation (1) graph concept reasoning (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