Loading video...
Video Failed to Load
On the pod: "Constrained Adaptive Rejection Sampling" with UCSD CSE professor Loris D'Antoni. Hear how symbolic AI experts have navigated the LLM era and why the future of AI code generation depends on program synthesis and formal methods.
14,414 views • 18 days ago •via X (Twitter)
0 Comments
No comments available
Comments from the original post will appear here


