Relational Interpreteres, Conversion, and Synthesis

on YouTube ↗44m

" summary

Describes turning verifiers into solvers by program inversion so relational systems can synthesize programs from specifications without bespoke encodings. Shows a pipeline that converts functional verifiers into relational form via relational conversion, removes manual relational encoding, and runs on existing miniKanren-style implementations. Claims this expands the class of synthesizable problems, reduces specification-debug cycles, and demonstrates working examples where inversion finds programs that satisfy given verifiers. turning verifiers into solvers

AI-written summary · about

" chapters (7)

1. 0:00Introduction
2. 3:19Semantic issues in current approaches
3. 10:00Relational interpreters concept
4. 15:28Advantages of new approach
5. 22:10Practical applications and transformations
6. 32:46Relational systems links and channels
7. 41:34Conflict resolution and conclusions