Mustafa Yalciner

2 accepted papers

2026

eNNcode: Optimization-Based Analysis of Neural Networks

Muhammad Atallah, Lukas Dankwart, Daniel Neider, Mustafa Yalciner

IJCAI 2026

The increasing use of neural networks (NNs) in high-stakes decision-making requires rigorous analysis to ensure safety, fairness, and explainability. Formal verification tools for neural networks typically focus on determining the satisfiability of properties such as safety or fairness. However, man

Cited by 0 Scholar ↗

2022

Improved Approximation Algorithms for Individually Fair Clustering

Ali Vakilian, Mustafa Yalciner

AISTATS 2022poster

We consider the $k$-clustering problem with $\ell_p$-norm cost, which includes $k$-median, $k$-means and $k$-center, under an individual notion of fairness proposed by Jung et al. [2020]: given a set of points $P$ of size $n$, a set of $k$ centers induces a fair clustering if every point in $P$ has…

Cited by 56 Source ↗PDF ↗Scholar ↗