3 papers
cs.AI2026
Agentic Proving for Program Verification
Alessandro Sosso, Akhil Arora, Bas Spitters
Agentic systems have recently emerged as state-of-the-art approaches for automated theorem proving in formal mathematics. To assess how far these capabilities extend to program ver…
math.OC2025
The Cloven Traveling Salesman: Cycle Covers and the Integrality Gap of Small ATSP Instances
Alessandro Sosso, Ambrogio Maria Bernardelli, Stefano Gualandi
This work proposes a novel enumeration algorithm for computing the integrality gap of small instances of the subtour elimination formulation for the Asymmetric Traveling Salesman P…
cs.GT2025
Faster Algorithms for the Least-Core value and the Nucleolus in Convex Games
Giacomo Maggiorano, Alessandro Sosso, Gautier Stauffer
The nucleolus is a central solution concept in cooperative game theory. While its computation is NP-hard in general, it can be computed in polynomial time for convex games; however…