← Search

Connor Lawless

4 accepted papers

2025

EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations

ICML 2025poster

A fundamental problem in combinatorial optimization is identifying equivalent formulations. Despite the growing need for automated equivalence checks---driven, for example, by *optimization copilots*, which generate problem formulations from natural language descriptions---current approaches rely o…

2025

Understanding Fixed Predictions via Confined Regions

ICML 2025poster

Machine learning models can assign fixed predictions that preclude individuals from changing their outcome. Existing approaches to audit fixed predictions do so on a pointwise basis, which requires access to an existing dataset of individuals and may fail to anticipate fixed predictions in out-of-sa…

2022

Interpretable Clustering via Multi-Polytope Machines

AAAI 2022technical

Clustering is a popular unsupervised learning tool often used to discover groups within a larger population such as customer segments, or patient subtypes. However, despite its use as a tool for subgroup discovery and description few state-of-the-art algorithms provide any rationale or description b…

Cited by 21SourcePDFScholar