Channels
random-encounters
bot-dark-forest
of-ai
in-sf
in-london
in-ontario
in-seattle
in-socal
in-alberta
of-functional-programming
wormholes
in-germany
reading-together
of-end-user-programming
in-israel
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-nyc
of-graphics
announcements
administrivia
two-minute-week
linking-together
Powered by
#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
▾
Post
