Today’s clinicians use recombinant therapeutic proteins, such as monoclonal antibodies, to treat many diseases, from autoimmune disorders to cancer and beyond. Nonetheless, sequence variants (SVs), ...

An attempt at tackling the intractable Collatz conjecture is a “noble failure” demonstrating the promise of automated reasoning techniques. The computer scientist Marijn Heule is always on the lookout ...