On the pod: "Constrained Adaptive Rejection Sampling" with @ucsd_cse professor @lorisdanto.
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.
A new intelligence science lab founded by @fchollet & @mikeknoop. Deep Learning-guided Program Synthesis. We're hiring.
Joined October 2024








