@inproceedings{ijcai2024p2, title = {Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form}, author = {Benamira, Adrien and Peyrin, Thomas and Yap, Trevor and Guérand, Tristan and Hooi, Bryan}, booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Kate Larson}, pages = {13--21}, year = {2024}, month = {8}, note = {Main Track}, doi = {10.24963/ijcai.2024/2}, url = {https://doi.org/10.24963/ijcai.2024/2}, }