播客讨论符号AI专家在LLM时代与AI代码生成未来

RT @ndea: 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. https://t.co/umlOa4iYk8