Symbolica hopes to head off the AI arms race by betting on symbolic models

Indeed,

Anyone have links to papers or discussions that fill in the details on what this is?

Nothing particularly interesting to my knowledge. You should read this though, some people at Symbolica AI worked on it too: https://www.google.com/url?q=https://arxiv.org/abs/2402.1533...