Comment by goldenzun

Has there been any significant progress on symbolic models in a way thats pushed the needle in any way?