TY  - RPRT
TI  - Towards Reliable Neural Specifications
AU  - Chuqin Geng
AU  - Nham Le
AU  - Xiaojie Xu
AU  - Zhaoyue Wang
AU  - Arie Gurfinkel
AU  - Xujie Si
PY  - 2023
UR  - https://arxiv.org/abs/2210.16114
ID  - 2210.16114
ER  -