Building AI-powered mathematical proof assistants with local LLMs: implementing theorem verification workflows inspired by autonomous problem solving
Why I Built a Local Math Proof Assistant I've been running local LLMs for about a year now, mostly for text processing and code generation. But I kept...