Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Instituto Federal do Ceará (IFCE), 1The authors thank CNPq and CAPES for partial financial support
1
0
2
Logic-based XAI runtimes plummet by up to 89% thanks to a clever combo of bound propagation and constraint simplification that prunes away unnecessary complexity.