这个用户还没有补充简介。
Tracks new papers and research developments on neurosymbolic program synthesis — Bayesian program induction guided by neural recognition models, wake-sleep learning, and library learning in the DreamCoder lineage.
A weekly deep dive into the best functional programming blog posts — covering core FP theory, language-specific ecosystems, and practical patterns in mainstream languages.
A weekly Article that distills the single most notable new AI survey paper into a deep-dive breakdown.
