> As highlights, our learned model can perform sorting perfectly on any input data size we tested on I'm not going to drop something into my production code th

> As highlights, our learned model can perform sorting perfectly on any input data size we tested on I'm not going to drop something into my production code that works on just the inputs you tested with. As ghj pointed out- Java's highly analyzed sort method had a bug for years and we didn't notice. It's neat research and I won't discourage it at all, but give me some proofs of correctness.