Exciting Research Directions

Talia Ringer shares her excitement for bringing verification to a wider audience and discusses the potential of interactive tooling for code guarantees and improving machine learning architectures, such as the transformer, to properly represent recursion.