Peter J. Stuckey

Embodied VLMs routinely succeed for the wrong reasons, answering visual queries correctly despite completely missing the critical timestamps and viewpoints required to ground their answers.

Improved margin computation for STV elections could make risk-limiting audits both more effective and feasible, enhancing electoral integrity.

Treating difference constraints globally can lead to substantial efficiency gains in constraint satisfaction, outperforming traditional methods by a significant margin.

Trust in tree ensembles hinges on rigorous explanations, and this paper delivers a method to generate them.