Closing the Cost Gap in Verifier-Guided RL: A Smart Contract Case Study

Rabimba Karanjai, Yang Lu, Lei Xu, Weidong Shi Jan 1, 2026
Scholar
Read Paper

Paper coming soon. Check back or search on Google Scholar.

Search on Scholar →

Abstract

Preprint: Reinforcement learning structures utilizing formal verification constraints as runtime guides to secure code compilation.

Type Preprint
Venue NeurIPS 2026 (Under Review)
Date Jan 2026
LLMs Reinforcement Learning Formal Verification First Author
LLMs Reinforcement Learning Formal Verification First Author