Closing the Cost Gap in Verifier-Guided RL: A Smart Contract Case Study
Jan 1, 2026·,,,·
0 min read
Rabimba Karanjai
Yang Lu
Lei Xu
Weidong Shi
Abstract
Preprint: Reinforcement learning structures utilizing formal verification constraints as runtime guides to secure code compilation.
Type
Publication
NeurIPS 2026 (Under Review)