A marriage of formal methods and LLMs seeks to harness the strengths of both.

Cathy O’Neil believes there is a dark side to numbers. A mathematician by training, she earned her doctorate at Harvard and went on to become a tenure-track professor at Barnard College. In 2007, ...

Researchers at HSE University are combining mathematics and computer science to create new algorithms that help mitigate uncertainty in the digital world We live in the information age, where data are ...

The University of Wisconsin Department of Mathematics and UW-iSchool partnered with the University Lectures Committee to host mathematician Cathy O’Neil Tuesday evening at the Fluno Center. O’Neil is ...

On a recent hike around the ruins of the St. Francis Dam disaster site about 40 miles from Downtown Los Angeles, with my archaeologist friend, John, we discussed the tarnished life of its builder and ...