#dafny

SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis

Zhechong Huang, Zhao Zhang, Zeyu Sun +2

SpecRL is a reinforcement learning system that improves automatic generation of program specifications by rewarding candidates that reject impossible behaviors identified through g…