GitHub repository: tammet/llmlog
Primary language: Python
Created: 2025-03-20T04:40:27Z
Description: Experiments with LLMs and logic: what can LLMs solve?