works on
cut elimination 1differentiable loss functions 1neuro-symbolic integration 1quantitative linear logic 1soft residuated lattices 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing math.ACShow all

1 paper · 1 filter

math.AC2025

Algorithmic and Extremal Obstructions Through the Language of Cohomology

Anny Beatriz Azevedo, Benjamin Merlin Bumpus, Matteo Capucci +2

We model problems as presheaves that assign sets of certificates to input instances, and we show how to use presheaf Čech cohomology to capture the precise ways in which local sol…