Search papers, labs, and topics across Lattice.
Key Lab of HCST (PKU), MOE; SCS, Peking University
1
0
2
2
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.