3 ms·
Then you "just" have to use one of the formal proof languages and then verify the program ? Also, "decide how to lend to someone" is an interesting example, si
by BlueTemplar 5y ago
Then you "just" have to use one of the formal proof languages and then verify the program ?
Also, "decide how to lend to someone" is an interesting example, since it will always involve quite a bit of intuition even with a program helper (which won't be able to use a neural network due to transparency requirements).
- Jeff_Brown 5y ago> Then you "just" have to use one of the formal proof languages and then verify the program ? Haha yes indeed, thereby elegantly reducing 8 hours of work to 40 hours.
- BlueTemplar 5y agoWell, the question is how much of the formal verification can be automated too ?