Advertisement · 728 × 90

Posts by Michael Dinitz

The ACM Transactions on Algos now has the Harold N. Gabow Annual Best Paper Award, for research contributions with lasting significance in algos.

Hal Gabow, an amazing algos researcher, was founding editor of TALG, and helped establish this award. Thanks Hal!

(Submit yr best papers to TALG!)

1/n

1 day ago 14 5 1 1
Post image

Congrats to Irit Dveer Dinur of the Institute for Advanced Study & Weizmann Insitute, #NASmember Subhash Khot of New York University, Guy Kindler of @hebrewuniversity.bsky.social, Dor Minzer of @mit.edu, and Muli Safra of Tel Aviv University, winners of the 2026 Michael and Sheila Held Prize! (1/2)

2 months ago 6 3 1 1
Preview
Learning-Augmented Online Algorithms for Nonclairvoyant Joint Replenishment Problem with Deadlines This paper considers using predictions in the context of the online Joint Replenishment Problem with Deadlines (JRP-D). Prior work includes asymptotically optimal competitive ratios of $O(1)$ for the ...

I’m giving a talk at Stanford Theory Lunch this Thursday on recent work arxiv.org/abs/2511.16094 (joint work with awesome coauthors @mdinitz.bsky.social and Jeremy Fineman). Come by if you are around!

3 months ago 8 1 0 0
Postdoctoral Fellowship Program - Johns Hopkins Data Science and AI Institute The Johns Hopkins University Data Science and AI Institute welcomes applications for its Postdoctoral Fellowship program, seeking disciplinarily diverse scholars to advance foundational methods of dat...

Postdoc positions available at the DSAI Institute at Johns Hopkins: ai.jhu.edu/careers/post... . If you're interested in either differential privacy or algorithms with predictions, please get in touch!

3 months ago 2 0 0 0

Wikipedia should have a bot that, when the time comes, automatically changes "[subject] is" to "[subject] was" etc. This bot should be known as the killer app.

3 months ago 21 4 1 0
Post image

Lately, I have been obsessed with developing theoretically based optimization algorithms that actually attain the best practical performance.
Alas, the classic model of minimax optimal methods is overly conservative; it overfits to tune its worst-case.
We found a path forward 1/

5 months ago 15 4 2 0
Post image

this is a pretty accurate summary of my research area

5 months ago 24 2 0 1
Advertisement
Preview
Don't Harvard Our Princeton | Save Eating Clubs and Co-ops A campaign opposing Princeton's new dining policy that could damage Princeton forever.

For any of my @princeton.edu friends and followers: there's a new policy out that seems like it would hurt the eating clubs, including my beloved Quad. Please consider registering your opposition! www.dontharvardourprinceton.com

5 months ago 1 0 0 0

And if you're faculty: I beg you, for the sake of everyone else in the world, strongly consider creating your own public webpages for your course instead of having everything locked up in Canvas.

6 months ago 10 2 0 1

Congrats!

7 months ago 1 0 1 0

First day of class for the semester. Told my 2.5-year-old that "Daddy is going to be a teacher today, just like your teachers!". Response: "Daddy you're so silly". Apparently I lack the gravitas of a daycare teacher.

7 months ago 4 0 0 0

Glad you liked our lightness paper! I'm pretty excited about that direction.

7 months ago 1 0 1 0

Incredibly well deserved!!

10 months ago 6 2 0 0

Awesome, congrats!!

1 year ago 1 0 0 0
Preview
Escaping Collapse: The Strength of Weak Data for Large Language Model Training Synthetically-generated data plays an increasingly larger role in training large language models. However, while synthetic data has been found to be useful, studies have also shown that without proper...

Synthetic Data is all the rage in LLM training, but why does it work? In arxiv.org/abs/2502.08924 we show how to analyze this question through the lens of boosting. Unlike boosting, however, our assumptions on the data and the learning method are inverted.

1 year ago 8 3 1 0

A proof is a logical argument written to convince a skeptical audience. A corollary is that the best way to read a proof is to roleplay as a skeptical audience.

1 year ago 10 2 2 1
Advertisement

I think there’s a lot to be said for going all in on something. It was neat being at Google and doing everything on Google systems. On the other hand, faculty autonomy is one of the nice things about academia compared to industry.

1 year ago 1 0 0 0

We used zoom for lectures, canvas for communicating with students and organizing classes. We have a zoom license but also we’re a Microsoft campus. So classes are zoom & canvas, official stuff with admin is on teams, and most departments have an internal slack.

1 year ago 1 0 1 0

Yeah, for cross-department you’re stuck with whatever the university is set up on. We’re also on teams, but no professors use it, so we all just use email still.

1 year ago 1 0 1 0

Might be even more of a long shot in math, but I think that Zulip is actually better than slack, and it’s free for academics. I use it internally in my research group. I know the category theorists like it, so maybe that will convince other math people?

1 year ago 1 0 1 0

Google meet is surprisingly good too, but Teams-only is crazy. Strongly recommend getting your department to use slack if possible. We just use the free version, and even that is great. Aside from messages, having a #teaching channel and an #advising channel to ask questions is super useful.

1 year ago 0 0 1 0

We have a department slack that is very active for faculty. That’s now how I mainly communicate with other faculty in my department. Across departments it’s still email, though - no one I know is willing to use teams.

1 year ago 1 0 1 0

I may or may not have some Hagoromo chalk in my office, if you want to make the best use of those blackboards :)

1 year ago 1 0 1 0

Interviewer: can you explain this gap in your resume?

Networking researcher: UDP

1 year ago 12 3 1 0
Advertisement
Preview
Breaking the Barrier: A Polynomial-Time Polylogarithmic Approximation for Directed Steiner Tree The Directed Steiner Tree (DST) problem is defined on a directed graph $G=(V,E)$, where we are given a designated root vertex $r$ and a set of $k$ terminals $K \subseteq V \setminus {r}$. The goal is ...

Just saw a new result on the arxiv: polylog approximation for directed steiner tree! arxiv.org/abs/2412.10744 . Amazing breakthrough in a fundamental approximation algorithms problem. Congrats Bundit!

1 year ago 14 0 0 0
Preview
Complications: The Ethics of the Killing of a Health Insurance CEO (guest post) - Daily Nous The killing of UnitedHealthcare CEO Brian Thompson earlier this month has ignited moral debate around the world. Many have condemned the killing as they would any other murder. Others, though, have th...

A statistic I've seen repeated in the discussion of health insurance is that UHC used an "AI with a 90% error rate" to deny claims. Recently I saw it repeated twice here: dailynous.com/2024/12/15/c... in which a moral philosopher struggles to figure out if murdering health insurance CEOs is moral.

1 year ago 4 1 1 0
Post image

Prompt: Draw a picture of an American family at Thanksgiving dinner.

1 year ago 9 2 3 0

Very interesting! Somehow I completely missed this self-improving literature, but it looks really neat. We're definitely *not* self-improving in this sense -- we're not "learning" the true distribution as we go and modifying our strategy, just continuing to use our fixed (but robust) search tree.

1 year ago 0 0 1 0

I have similar problems with activation energy :). Not sure if this helps or not, but maybe a point I should have advertised: the entire construction and proof is ~2 pages. The rest of the paper is lower bounds, experiments, discussion, etc.

1 year ago 1 0 0 0