3 ms·
How do they guarantee that an answer is correct? That requires a small verified kernel in theorem provers. This seems hard to achieve with a neural network. Or
by 13415 5y ago
How do they guarantee that an answer is correct? That requires a small verified kernel in theorem provers. This seems hard to achieve with a neural network. Or is the goal to produce solutions that could be correct / are likely correct?
- lupire 5y agoCheck it outside the NN.