Proceedings

Nina Narodytska

5 papers in the IJCAI proceedings

IJCAI 2021

Reasoning-Based Learning of Interpretable ML Models
with Alexey Ignatiev, Joao Marques-Silva, Peter J. Stuckey
doi:10.24963/ijcai.2021/608
Details PDF

IJCAI 2018

Core-Guided Minimal Correction Set and Core Enumeration
with Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv
doi:10.24963/ijcai.2018/188
Details PDF
Formal Analysis of Deep Binarized Neural Networks
doi:10.24963/ijcai.2018/811
Details PDF
Learning Optimal Decision Trees with SAT
with Alexey Ignatiev, Filipe Pereira, Joao Marques-Silva
doi:10.24963/ijcai.2018/189
Details PDF
Network Approximation using Tensor Sketching
with Shiva Prasad Kasiviswanathan, Hongxia Jin
doi:10.24963/ijcai.2018/321
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards