/LLMSymbolicReasoningBench

Synthetic data generation for evaluating Large Language Models reasoning.

Primary LanguagePythonMIT LicenseMIT

Stargazers