“Like you can call language model multiple times to be translated from natural language logic and then you can use a theorem, prove equivalence of the different attempts.”
0:0050:29
Ready to play
0:00
--:--
Enjoying this?
Create a free account to bookmark episodes and follow shows.
