32 ms·
Are all of these specialized models available for use? Like, does it have an API? I wonder because on one hand they seem very impressive and groundbreaking, on
by brap 2y ago
Are all of these specialized models available for use? Like, does it have an API?
I wonder because on one hand they seem very impressive and groundbreaking, on the other it’s hard to imagine why more than a handful of researchers would use them
- creata 2y ago> it’s hard to imagine why more than a handful of researchers would use them If you could automatically prove that your concurrency protocol is safe, or that your C program has no memory management mistakes, or that your algorithm always produces the same results as a simpler, more obviously correct but less optimized algorithm, I think that would be a huge benefit for many programmers.