Picture for Jinqiang Yu

Jinqiang Yu

Formal Explanations for Neuro-Symbolic AI

Add code
Oct 18, 2024
Viaarxiv icon

Anytime Approximate Formal Feature Attribution

Add code
Dec 12, 2023
Viaarxiv icon

On Formal Feature Attribution and Its Approximation

Add code
Jul 14, 2023
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

Add code
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

Add code
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