Jeff Linderoth

This is an intriguing paper with numerous examples of using an LLM to generate formal proofs and ideas, and a nice cookbook for how to do it. Refreshingly, the paper stays away from hype and as far as possible states very clearly how the LLMs are used and the key nature of human-AI interaction.

Oh no. This is so sad. We all were at Georgia Tech together. Kelly was wonderful. Heartfelt condolences to Todd. :-(

So much for the Provost search.

Wait wut?!?!?!?

Backing PDHG into a Corner Recent enhancements to the Primal-Dual Hybrid Gradient (PDHG) algorithm have enabled GPUs to efficiently solve large linear programming problems, often faster than the long-dominant simplex and ...

Another article by Ed Rothberg on PDHG.
arxiv.org/abs/2511.13894

This is an amazing work.

I was there too. But I was in Grad School. 😜

Assistant/Associate/Full Professor in Industrial & Systems Engineering (RISE AI) - Madison, Wisconsin, United States Current Employees: If you are currently employed at any of the Universities of Wisconsin, log in to Workday to apply through the internal application process.Job Category:FacultyEmployment Type:Regula...

We are hiring two faculty positions in ISyE at UW-Madison
Please come and join us!

jobs.wisc.edu/jobs/assista...

jobs.wisc.edu/jobs/assista...

@christosargyrop.bsky.social

Kale sales and autism

www.wmbriggs.com/post/58413/

I’m an award-winning mathematician. Trump just cut my funding. The “Mozart of Math” tried to stay out of politics. Then it came for his research.

I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: newsletter.ofthebrave.org/p/im-an-awar...

The Irrational Decision How the computer revolution shaped our conception of rationality—and why human problems require solutions rooted in human intuition, morality, and judgment

I’m excited to announce that my new book, _The Irrational Decision_, is now available for pre-order from Princeton University Press.

FICO Xpress Optimization Surpasses AlphaEvolve’s Achievements FICO’s global optimization solver outperforms Gemini AI-powered AlphaEvolve coding agent by improving solutions for complex, constrained math problems

Timo Berthold has a post called “FICO Xpress Optimization Surpasses AlphaEvolve’s Achievements” www.fico.com/blogs/best-g... #orms

Weeping with joy.✌️

Three things made the US a rich and powerful nation: the rule of law, its science & innovation system, and openness to foreign talent. Remarkable how Trump has taken a sledgehammer to all three. No enemy of this country could do more.

Please erase!!!

If a foreign adversary snuck into our Federal budget and cut science research and education the way we’re cutting it ourselves — strategically undermining America’s long-term health, wealth, and security — we would likely consider it an act of war.

This is a great thread on a great blog post.

“I can…assure you that were this a Republican president…targeting Democrats, I at least would speak out just as vigorously against it because if we are going to respect rule of law, the apparatus of the federal government cannot and should not be used as a partisan tool to bludgeon your enemies."

Oh.

Everything is AI. And AI is everything.

Now we just need to get him on BlueSky.

Stirring words in my inbox forwarded from a USAID staffer

"This Order is Unlawful, and We Must Refuse to Comply"

If only it were funny. 😢

Really love this cartoon from the great Michael De Adder. The outpouring of support coming in has been truly amazing! Thanks everybody!

NIH appears to have canceled/postponed all of its study sections—the independent review panels that approve federal grants for health research.

Such grants fund the work/salaries of 300k people at more than 2,500 institutions

Lodi with less hair. 😜

Finally the platform is complete

Wacko.

#optibeer

That was long long ago. You had hair. And I had 30 fewer pounds. 😜