Loris D'Antoni

A new method for consistent counterfactual explanations despite model changes.

New methods enhance language model outputs while maintaining grammar rules.

Learn how to craft specifications for programs with complex behaviors.

This paper presents a method to automatically create formal semantics using interpreters.

Exploring new methods for efficient program generation.

Exploring stakeholder perceptions of fairness in machine learning models amid multiplicity.