VerifyGen-X: Secure Cross-Chain Smart Contract Generation via Scalable Reinforcement Learning from Formal Verification Feedback

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

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

Search on Scholar →

Abstract

Preprint: We use formal verification proofs in RL loops to ensure generated cross-chain contracts are bug-free.

Type Preprint
Venue NeurIPS 2026 (Under Review)
Date Jan 2026
Blockchain Generative AI Formal Verification First Author
Blockchain Generative AI Formal Verification First Author