https://amangoel.ai/blog/ Notes on LLM internals, fine-tuning, evaluation, and formal verification. en-us Thu, 30 Jul 2026 00:00:00 GMT https://amangoel.ai/blog/before-the-theorem-prover/ https://amangoel.ai/blog/before-the-theorem-prover/ Thu, 30 Jul 2026 00:00:00 GMT formal verification the checksum, the audit, the acceptance test and the signed certificate are all older than the twentieth century — seven museum objects, and what the twentieth century actually added