GitHub repository: AsadKhanDigital/llmKanren
Primary language: Scheme
Created: 2024-10-09T19:14:59Z
Description: Using Large Languages Models to Guide Symbolic Search in MiniKanren