Ivan Gavran

Tags in Blog

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

artificial intelligence

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

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

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