DreamLog: Logic Programming That Dreams to Improve Itself

A logic programming system that alternates between wake and sleep phases—using LLMs for knowledge generation during wake, and compression-based learning during sleep.

The Policy: Q-Learning vs Policy Learning