Search papers, labs, and topics across Lattice.
4
0
3
Logic-based explanations for ML classifiers get a coverage boost of up to 72% with a new two-step optimization method.
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.
Speed up logic-based explanations for NNs by 40% by slicing away irrelevant parts of the input domain.
Stop treating risk scores as black boxes: this logic-based explainer reveals the key factors driving cardiovascular risk predictions and suggests actionable interventions.
