%0 Conference Paper %1 conf/icml/GengLXWGS23 %A Geng, Chuqin %A Le, Nham %A Xu, Xiaojie %A Wang, Zhaoyue %A Gurfinkel, Arie %A Si, Xujie %B ICML %D 2023 %E Krause, Andreas %E Brunskill, Emma %E Cho, Kyunghyun %E Engelhardt, Barbara %E Sabato, Sivan %E Scarlett, Jonathan %I PMLR %K dblp %P 11196-11212 %T Towards Reliable Neural Specifications. %U http://dblp.uni-trier.de/db/conf/icml/icml2023.html#GengLXWGS23 %V 202

@inproceedings{conf/icml/GengLXWGS23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Geng, Chuqin and Le, Nham and Xu, Xiaojie and Wang, Zhaoyue and Gurfinkel, Arie and Si, Xujie}, biburl = {https://www.bibsonomy.org/bibtex/2ac0530fcf6d310a8a3e4d874ab75c914/dblp}, booktitle = {ICML}, crossref = {conf/icml/2023}, editor = {Krause, Andreas and Brunskill, Emma and Cho, Kyunghyun and Engelhardt, Barbara and Sabato, Sivan and Scarlett, Jonathan}, ee = {https://proceedings.mlr.press/v202/geng23a.html}, interhash = {5f78336fe3e9b90aed3e1aa29ed2d33a}, intrahash = {ac0530fcf6d310a8a3e4d874ab75c914}, keywords = {dblp}, pages = {11196-11212}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-10T01:43:32.000+0200}, title = {Towards Reliable Neural Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icml/icml2023.html#GengLXWGS23}, volume = 202, year = 2023 }