Lefteris Lazaropoulos
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens
This paper evaluates the capability of large language models to produce machine-checked proofs of refinement between executable code and its high-level specification in the context of Ethereum Virtual Machine (EVM), using EquiVM framework.
Highlighted terms show continued research focus across papers