Alon Titelman

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Automated Theorem Proving

Program Execution

Machine Learning

Top Venues

Publications

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A Proof-Producing Compiler for Blockchain Applications. ITP (2023)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of cairo program execution. CPP (2022)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of Cairo program execution. CoRR (2021)