|
|
|
|
|
|
by foooobaba
1209 days ago
|
|
|
I think this idea of having formal methods integrated with AI code gen will be really powerful. If we can write verifiable specs, or even a way to automate approximate verification, then it can be used a s a scoring function to train an machine learning algorithm that performs codegen. |
|
|