Search papers, labs, and topics across Lattice.
Institute of Software, Chinese Academy of Sciences
1
0
2
1
RL agents can learn to write stronger formal specifications by using automatically generated negative tests as a reward signal for completeness, outperforming standard verification-based rewards.
