Ivan Gavran

Tags in Blog

artificial intelligence (4) concurrency (1) formal methods (6) program synthesis (3) robotics (1) smart contracts (1)

artificial intelligence

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
Robotic Systems, Powered by Formal Methods

concurrency

Actor Model in CosmWasm

formal methods

The Case Against Formal Verification, 50 Years Later
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

program synthesis

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

robotics

Robotic Systems, Powered by Formal Methods

smart contracts

Actor Model in CosmWasm