Table read
LLMs are making formal software verification feasible at a much larger scale
The voices in this read are synthetic.