6 citations · 6 across the 1 of their papers we have counts for
3 papers
cs.PL2026
Verifying deployed bytecode against executable EVM semantics, with exact gas and no added axioms
Seulkee Baek
Much of Ethereum's most consequential code is immutable bytecode: old output of unverified compilers, and protocol logic run as contract code. We show that such bytecode can be ver…
math.LO2021
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,…
cs.LO2021★ 6 cited
A Flexible Proof Format for SAT Solver-Elaborator Communication
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule
We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in…