13 citations · 26 across the 12 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness
Jan Baumeister, Bernd Finkbeiner, Vladimir Krsmanovic +3
Runtime monitoring has recently been proposed as a rigorous method for analyzing algorithmic fairness of autonomous decision systems used in critical scenarios such as credit lendi…
cs.LG2026
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
Frederik Schmitt, Matthias Cosler, Niklas Metzger +4
Reactive synthesis, the problem of automatically constructing a hardware circuit from a logical specification, is a long-standing challenge in formal verification. It is elusive fo…