3 papers
cs.SE2026
Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study
Jim Woodcock, Gabriel Leite, Augusto Sampaio +1
Large language models can propose proofs for interactive theorem provers, but a successful build does not show the surrounding verification task was preserved. We study this proble…
cs.LG2026
Symmetry-Breaking De Novo Crystal Generation via Markovian Jump Diffusion
Van Khoa Nguyen, Alexandros Kalousis
Generating crystals has recently attracted significant interest due to their broad applications in materials science. However, existing generative models struggle to produce comple…
cs.SE2025
Demystification and Near-perfect Estimation of Minimum Gas Limit and Gas Used for Ethereum Smart Contracts
Danilo Rafael de Lima Cabral, Pedro Antonino, Augusto Sampaio
The Ethereum blockchain has a \emph{gas system} that associates operations with a cost in gas units. Two central concepts of this system are the \emph{gas limit} assigned by the is…