Research collection
#optimality-certificates
Research tagged optimality-certificates: explanations, evidence, limitations and connections between papers.
1 results
Reordering generated programs makes memory savings verifiable
A fixed-wrapper method tests whether reordered neural-network programs realize predicted memory savings and certifies many schedules.