I’ve actually been thinking a lot about how LLM need to bridge the gap to symbolic reasoning and was very much waiting for something like this in theory…but this ain’t it.

Looking forward to a more serious effort.