%0 Conference Paper %1 conf/icse/GaoLLZWY22 %A Gao, Yanjie %A Li, Zhengxian %A Lin, Haoxiang %A Zhang, Hongyu %A Wu, Ming %A Yang, Mao %B ICSE %D 2022 %I ACM %K dblp %P 1843-1855 %T REFTY: Refinement Types for Valid Deep Learning Models. %U http://dblp.uni-trier.de/db/conf/icse/icse2022.html#GaoLLZWY22 %@ 978-1-4503-9221-1

@inproceedings{conf/icse/GaoLLZWY22, added-at = {2023-08-22T00:00:00.000+0200}, author = {Gao, Yanjie and Li, Zhengxian and Lin, Haoxiang and Zhang, Hongyu and Wu, Ming and Yang, Mao}, biburl = {https://www.bibsonomy.org/bibtex/20e36389b23af6275a9565056492cb019/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2022}, ee = {https://doi.org/10.1145/3510003.3510077}, interhash = {68994bea9506993e836691f88b0221f6}, intrahash = {0e36389b23af6275a9565056492cb019}, isbn = {978-1-4503-9221-1}, keywords = {dblp}, pages = {1843-1855}, publisher = {ACM}, timestamp = {2024-04-10T00:12:29.000+0200}, title = {REFTY: Refinement Types for Valid Deep Learning Models.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2022.html#GaoLLZWY22}, year = 2022 }