Found this via a related paper on Lobste.rs today. The author makes a compelling argument that we've hit the limit of "Vibe Coding" (LLMs guessing via tokens) and need to move to "State-Space Exploration" (Formal Verification).

They claim their neuro-symbolic approach closes a 40%+ accuracy gap in reasoning tasks by forcing the LLM to construct a formal model rather than just predicting the next token. Curious if anyone has tried their CodeLogician agent yet, or if this is just more symbolic AI hype?