Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

Ivan Gavran

ivan-gavran.github.io/atom.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 6

  1. The Case Against Formal Verification, 50 Years Later

    (Ivan Gavran)

    Engineers are getting excited about software verification!

  2. Blockers and Unblockers: two kinds of AI coding assistants

    (Ivan Gavran)

    “The worst business idea: AI that calls you on your bullshit… That’s really good” - Paul Bloom (video) AI coding assistants have been extremely helpful, both in my experience and talking to colleagues and friends.

  3. Synthesizing Formal Models with Tamed LLMs

    (Ivan Gavran)

    When blockchain systems are said to be trustless, what this really means is that all the trust is put into software.

  4. AI drivers cannot just pass the road test; AI coders cannot just write a couple of tests

    (Ivan Gavran)

    When will self-driving cars be ready enough for roads (without any restrictions)?

  5. Actor Model in CosmWasm

    (Ivan Gavran)

    CosmWasm (CW) is a popular smart contract platform for Cosmos blockchain ecosystem.

  6. Robotic Systems, Powered by Formal Methods

    (Ivan Gavran)

    This is a summary of the introduction to my PhD thesis defense talk.