Dafny 1formal verification 1program analysis 1reinforcement learning 1specification synthesis 1test generation 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.SE2026
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…
cs.PL2026
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
Zhechong Huang, Zhao Zhang, Ruyi Ji +6
Language models have shown remarkable proficiency in code generation; nevertheless, ensuring type correctness remains a challenge. Although traditional methods, such as constrained…