https://stanleyngugi.netlify.app/ 2026-10-06 https://stanleyngugi.netlify.app/cv 2026-10-06 https://stanleyngugi.netlify.app/posts/formally-verified-c 2026-10-06 https://stanleyngugi.netlify.app/posts/mathcheck-rl 2026-10-06 https://stanleyngugi.netlify.app/posts/mathcheck-engine 2026-10-06 https://stanleyngugi.netlify.app/posts/2026-08-22-grammar-constrained-decoding-lean 2026-10-06 https://stanleyngugi.netlify.app/posts/2026-08-22-lean-tactic-language-cfg 2026-10-06 https://stanleyngugi.netlify.app/posts/taming_polysemanticity 2026-10-06