• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Efficient Certified Reasoning for Binarized Neural Networks.
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), pp. 32:1–32:22, 2025.
(unavailable)
@inproceedings{YangTSMM25SAT,
title={Efficient Certified Reasoning for Binarized Neural Networks},
author={Yang, Jiong and Tan, Yong Kiam and Soos, Mate and Myreen, Magnus O. and Meel, Kuldeep S.},
booktitle=SAT,
pages={32:1--32:22},
year={2025},
bib2html_rescat={Formal Methods 4 ML},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2025.32},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36