For all FP-riends #orms: Feasibility Pump + objective cutoff as a black box: what does it lose? On MIPLIB 2017 inside SCIP, a simple recovery beats SCIP's pump on 116 of 176 instances, loses on 9 (post hoc). Code and data: github.com/mfischetti-a... paper: www.researchgate.net/publication/...

Show Post

I am excited for #EuroMIP26. It's already shaping up to be a great event

Show Post

Many people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing. leangame.autumnofautumn.com

Show Post

Sure, but that is internal. What junior folks need is clear external communication.

Show Post

Too many people are calling on the community to "change how we value papers". Not enough people are posting "this is what we look for in our next hiring round".

Show Post