Yeah, a lot of the work on average-case SAT is directly informed by what industrial benchmarks look like. Further from "core complexity," a lot of the work on

Yeah, a lot of the work on average-case SAT is directly informed by what industrial benchmarks look like. Further from "core complexity," a lot of the work on machine learning primitives is also directly informed by instances from practice. See the "manifold hypothesis" : https://deepai.org/machine-learning-glossary-and-terms/manifold-hypothesis https://deepai.org/machine-learning-glossary-and-terms/manif...