TY  - RPRT
TI  - SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis
AU  - Zhechong Huang
AU  - Zhao Zhang
AU  - Zeyu Sun
AU  - Huifeng Sun
AU  - Yingfei Xiong
PY  - 2026
UR  - https://arxiv.org/abs/2604.05820
ID  - 2604.05820
ER  -