3 ms·
But isn’t copilot itself a fuzzy llm? Many of its solutions don’t seem formally verified.
by zingar 4y ago
But isn’t copilot itself a fuzzy llm? Many of its solutions don’t seem formally verified.
- leereeves 4y agoNot entirely, but it will already be doing pretty well when it reliably outputs code that compiles and passes the test cases it generates.