VerifyGen-X: Secure Cross-Chain Smart Contract Generation via Scalable Reinforcement Learning from Formal Verification Feedback
Jan 1, 2026·,,,·
0 min read
Rabimba Karanjai
Lei Xu
Yang Lu
Weidong Shi
Abstract
Preprint: We use formal verification proofs in RL loops to ensure generated cross-chain contracts are bug-free.
Type
Publication
NeurIPS 2026 (Under Review)