Title resolution pending

Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, Chandrakana Nandi · 2024 · Proceedings of the ACM on Programming Languages · DOI 10.1145/3689796

1 Pith paper cite this work, alongside 4 external citations. Polarity classification is still indexing.

1 Pith paper citing it

4 external citations · OpenAlex

open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

cs.PL · 2026-07-28 · conditional · novelty 7.0

Using EquiVM, LLM agents produced Lean-checked refinement proofs for 23 real-world EVM contracts, certifying bytecode against a Sol− specification at token cost.

citing papers explorer

Showing 1 of 1 citing paper.

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens cs.PL · 2026-07-28 · conditional · none · ref 22
Using EquiVM, LLM agents produced Lean-checked refinement proofs for 23 real-world EVM contracts, certifying bytecode against a Sol− specification at token cost.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer