{"id":"2307.15907","title":"An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks","url":"https://codeofpaper.com/paper/2307.15907","arxiv_url":"https://arxiv.org/abs/2307.15907","published":"2023-07-29","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}