Ivan Gavran

Blockers and Unblockers: two kinds of AI coding assistants
Synthesizing Formal Models with Tamed LLMs
AI drivers cannot just pass the road test; AI coders cannot just write a couple of tests
Actor Model in CosmWasm
Robotic Systems, Powered by Formal Methods