Skip to content
Log in

Author

T. Umarov

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Jun 2026

FORMAL VERIFICATION OF DECISION TREE FAIRNESS AND ROBUSTNESS VIA SMT SOLVER

This paper proposes a robust translation scheme that converts trained decision trees into logical constraints, enabling constraint inference that guarantees demographic parity and local robustness at prediction time and demonstrates that the constrained model effectively eliminates demographic parity violations.

A. Beishekeyev, T. Umarov · 0 citations