3 ms·
Well, they could try to prove the correctness of that LLM-based kernel code. If it passes, then they could use it, no?
by amelius 2mo ago
Well, they could try to prove the correctness of that LLM-based kernel code.
If it passes, then they could use it, no?