https://github.com/atfortes/LLMSymbolicReasoningBench

Synthetic data generation for evaluating LLM symbolic and logic reasoning
https://github.com/atfortes/LLMSymbolicReasoningBench

chain-of-thought chatgpt chatgpt-o1 data-engineering dataset dataset-generation deepseek-r1 gpt-4 language-model large-language-models machine-learning natural-language-processing random-generation reasoning strawberry symbolic symbolic-reasoning

Last synced: about 2 months ago
JSON representation

Synthetic data generation for evaluating LLM symbolic and logic reasoning

• Host: GitHub
• URL: https://github.com/atfortes/LLMSymbolicReasoningBench
• Owner: atfortes
• License: mit
• Created: 2023-02-03T07:38:52.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2025-03-13T09:46:49.000Z (3 months ago)
• Last Synced: 2025-03-13T10:26:17.400Z (3 months ago)
• Topics: chain-of-thought, chatgpt, chatgpt-o1, data-engineering, dataset, dataset-generation, deepseek-r1, gpt-4, language-model, large-language-models, machine-learning, natural-language-processing, random-generation, reasoning, strawberry, symbolic, symbolic-reasoning
• Language: Python
• Homepage:
• Size: 46.9 KB
• Stars: 7
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project

• Awesome-LLM-Reasoning - here