86 citations · 218 across the 38 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CO2026
Expected cost in Combinatorial Optimization under color constraints
Patrick Bennett, Alan Frieze, Wesley Pegden
We present an average case model of classical problems in combinatorial optimization where there are color constraints. In all cases we seek some (spanning) sub-structure of a comp…
cs.AI2026
(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs
Wesley Pegden
We present Trellis: an autoformalization system that leverages LLM agents in a deterministically constrained workflow to enforce incremental progress in Lean autoformalization task…