LLMSymbolicReasoningBench
LLMSymbolicReasoningBench copied to clipboard
Synthetic data generation for evaluating LLM symbolic and logic reasoning