84 citations · 223 across the 25 of their papers we have counts for
1 paper · 1 filter
Saksham Goel, Benjamin Mikek, Jehad Aly +3
Performance verification is a nascent but promising tool for understanding the performance and limitations of heuristics under realistic assumptions. Bespoke performance verificati…