A CDC research biologist in Fort Collins, working on Lyme disease detection methods, was terminated last weekend as part of the federal workforce reductions initiated by President Trump and ...

In this article, we survey recent progress on designing algorithms with strong refutation guarantees for smoothed instances ...