@misc{indiciae16f0f251abf9,
  title = {Certifiably Interpretable Training of ReLU-MLPs for Boolean Tasks with Guaranteed Truth-Table Generalization},
  author = {Hrad Ghoukasian and Anastasis Kratsios},
  year = {2026},
  url = {https://arxiv.org/abs/2609.13439},
  note = {Source identifier: 2609.13439}
}