Spencer

[Adi @adi_baradwaj]

Henry Robbins presents "Verified Mixed-Integer Programming in Lean" at the SF Lean Meetup on September 14

0:00 Introduction
1:15 Overview and Motivation
6:01 Mixed-Integer Programming
18:36 MILP Formulations and the TSP
26:54 MILP Reformulations
36:12 Verifying Reformulations Automatically
38:29 Quasi-Karp Equivalence and EquivaMap
1:01:33 Pitfalls of Instance-Level Verification
1:17:00 FLARE: Constructive Reformulations in Lean
1:21:47 Results on FormulationBench
1:24:16 Future Directions
1:25:10 Q&A

https://t.co/7zu4sq99Ed

[Casetext, Part of Thomson Reuters @casetext]

We have more news to share: CoCounsel, the first AI legal assistant, is powered by GPT-4, the most advanced large language model from @OpenAI and the first AI to pass the bar exam. https://t.co/evVf7axFkW

[Timothy Snyder @TimothyDSnyder]

My lecture course on the "Making of Modern Ukraine" is now available as a podcast series on Apple and Spotify, and remains available on YouTube.
https://t.co/0pR3dZ9qAm

[Spencer @strelsovie]

#NewProfilePic

[thugger @thugvis]

“thank you for coming Young Thug he was your biggest fan”

me:

[Graydon Gordian @MrGordian]

This is the hardest I have laughed all quarantine.