Jev, Prolog, Pi, and the dream of probabilistic logic programming
schmuhblaster_x45 · reddit · 2026-09-21
A deep-dive blog post traces the lineage from Jev to Prolog and the long-standing dream of probabilistic logic programming, arguing that combining neural probabilistic reasoning with symbolic logic is becoming viable again in the current model landscape. It reviews the decline of symbolic AI, the rise of neural networks, and how new model forms like Jev hint at fresh opportunities for merging the two paradigms.
More from Research
- ICML paper: log-depth transformers suffice via equivalence with parallel computation — kfountou · 2026-09-21
- Paper critique: MLP size unaccounted for in Transformer logarithmic depth bounds — kfountou · 2026-09-21
- Robot Leaderboard Under Fire: 5 Trials Per Task, Authors Commit to 15 — YuXiang_IRVL · 2026-09-21
- Search over DAGs guarantees d-separation factorization, not the correct causal graph — fdellaert · 2026-09-21
- Tabular foundation models enter the arena, mocked: 'wait until you find out about xgboost' — burny_tech · 2026-09-21
- LLMs can draw DAGs but can't guarantee d-separation, notebook discussion — fdellaert · 2026-09-21