4 papers · 1 filter
PL-Guard: Probabilistic Logic Reasoning for LLM Guardrails
Satchit Chatterji, Shihan Wang, Giovanni Sileno +1
Large language model guardrails can be viewed as policy-consistency problems: a system must determine which policy-relevant facts hold in a prompt-response pair and what those fact…
How Simple Can It Get? From Interpretable Equations to Readable Rules for Financial Decision Making
Adia Lumadjeng, Ilker Birbil, Erman Acar
In regulated domains such as finance, a model that cannot be explained cannot be deployed, yet many interpretable classifiers defeat their own purpose by producing formulas with do…
Explaining the Explainer: Understanding the Inner Workings of Transformer-based Symbolic Regression Models
Arco van Breda, Erman Acar
Following their success across many domains, transformers have also proven effective for symbolic regression (SR); however, the internal mechanisms underlying their generation of m…
ECSEL: Explainable Classification via Signomial Equation Learning
Adia Lumadjeng, Ilker Birbil, Erman Acar
We introduce ECSEL, an explainable classification method that learns formal expressions in the form of signomial equations, motivated by the observation that many symbolic regressi…