| ▲ | _doctor_love a day ago | |
The most interesting idea in this space I have heard is to have LLMs generate formally verified assembly. And then from that assembly generate higher levels projections in languages like Haskell to help the human understanding. | ||
| ▲ | klntsky a day ago | parent [-] | |
It's not going to work. Formally verified assembly needs a low level spec which is comparable in length to the assembly code, so not really comprehensible. "higher level projections" - wtf is this even about? | ||