149 citations · 517 across the 29 of their papers we have counts for
3 papers · 1 filter
An Impossible Asylum
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp +2
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Tarr and Professor Fether," that consists of a series of puzzles. These were later reprinted in the anthology,…
Verified Optimization
Alexander Bentkamp, Jeremy Avigad
Optimization is used extensively in engineering, industry, and finance, and various methods are used to transform problems to the point where they are amenable to solution by numer…
A verified algebraic representation of Cairo program execution
Jeremy Avigad, Lior Goldberg, David Levit +2
Cryptographic interactive proof systems provide an efficient and scalable means of verifying the results of computation on blockchain. A prover constructs a proof, off-chain, that…