Serval Research Group

Can Large Language Models Reason and Optimize Under Constraints?

The Clarification Challenge SDK providing implementation for baseline algorithms and public benchmarks.

A benchmark of XAI methods for VLMs models using faithfulness metrics (including a novel faithfulness metric to measure cross-modal reasoning in VLMs).

Membership Inference Attacks on Tabular Foundations Models

Counterfactual explanations for multivariate time series classifiers.