3 ms·
I wonder why AI doesn't do this verification already. It's a sufficiently simple routine task that doesn't require great precision.
by GoblinSlayer 2y ago
I wonder why AI doesn't do this verification already. It's a sufficiently simple routine task that doesn't require great precision.
- IceDane 2y agoFormal verification of arbitrary code is a "simple, routine task"?
- GoblinSlayer 2y agoInformal verification.