April 8, 2026Compression Enables Generalization: Wake-Sleep Cycles for Logic Programming with LLM Integration