Picture for Jinqiang Yu

Jinqiang Yu

Anytime Approximate Formal Feature Attribution

Dec 12, 2023
Figure 1 for Anytime Approximate Formal Feature Attribution
Figure 2 for Anytime Approximate Formal Feature Attribution
Figure 3 for Anytime Approximate Formal Feature Attribution
Figure 4 for Anytime Approximate Formal Feature Attribution
Viaarxiv icon

On Formal Feature Attribution and Its Approximation

Add code
Jul 14, 2023
Figure 1 for On Formal Feature Attribution and Its Approximation
Figure 2 for On Formal Feature Attribution and Its Approximation
Figure 3 for On Formal Feature Attribution and Its Approximation
Figure 4 for On Formal Feature Attribution and Its Approximation
Viaarxiv icon

Eliminating The Impossible, Whatever Remains Must Be True

Add code
Jun 20, 2022
Figure 1 for Eliminating The Impossible, Whatever Remains Must Be True
Figure 2 for Eliminating The Impossible, Whatever Remains Must Be True
Figure 3 for Eliminating The Impossible, Whatever Remains Must Be True
Figure 4 for Eliminating The Impossible, Whatever Remains Must Be True
Viaarxiv icon

Optimal Decision Lists using SAT

Oct 19, 2020
Figure 1 for Optimal Decision Lists using SAT
Figure 2 for Optimal Decision Lists using SAT
Viaarxiv icon

Computing Optimal Decision Sets with SAT

Jul 29, 2020
Figure 1 for Computing Optimal Decision Sets with SAT
Figure 2 for Computing Optimal Decision Sets with SAT
Figure 3 for Computing Optimal Decision Sets with SAT
Figure 4 for Computing Optimal Decision Sets with SAT
Viaarxiv icon