# Formal Verification: what I've logged

> Formal Verification comes up in 2 posts of my AI log, from October 2026 to November 2026, and each item below links to the primary source. I filed these posts under frontier, open weights and image, video, world.

## Posts

- 2026-11-05 [Gemini Omni 1.2 Flash, Cosmos 3 checkpoints, Atlas live, PDD Kit](https://heyaliasif.com/ai/2026-11-05-gemini-omni-1-2-flash-cosmos-atlas-pdd-kit)
- 2026-10-23 [Claude formal proofs, ThinkingBox rewards, Kling 4.0, TTR-Compressor](https://heyaliasif.com/ai/2026-10-23-claude-formal-verification-thinkingbox-kling-4-ttr)

Canonical: https://heyaliasif.com/ai/topics/formal-verification