{"id":"2207.03880","title":"Constrained Training of Neural Networks via Theorem Proving","url":"https://codeofpaper.com/paper/2207.03880","arxiv_url":"https://arxiv.org/abs/2207.03880","published":"2022-07-08","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}