https://futureofcoding.org/ logo
#of-ai
Title
g

Gustavo Goretkin

03/31/2023, 1:27 AM
Example of using LLM and classical verifier (a compiler for some DSL) to boost an LLM's code generation: https://arxiv.org/pdf/2303.14100.pdf

https://www.youtube.com/watch?v=-87yrXytluw