Formal verification might solve AI's review bottleneck

5 points | by georgwiese 15 hours ago