Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks | ScienceToStartup | ScienceToStartup