TY  - RPRT
TI  - Reward-Weighted On-Policy Distillation with an Open Property-Equivalence Verifier for NL-to-SVA Generation
AU  - Qingyun Zou
AU  - Yingze Li
AU  - Tianen Liu
AU  - Bingsheng He
AU  - Weng-Fai Wong
PY  - 2026
UR  - https://arxiv.org/abs/2605.13501
ID  - 2605.13501
ER  -