#Symbolic-reasoning
Showing 3 of 3 repositories tagged #symbolic-reasoning, ranked by stars
zjunlp
Prompt4ReasoningPapers
[ACL 2023] Reasoning with Language Model Prompting: A Survey
Score
0
★ 1.0k
⑂ 68
—
scallop-lang
scallop
Framework and Language for Neurosymbolic Programming.
Score
0
★ 498
⑂ 32
—
Rust
atfortes
LLMSymbolicReasoningBench
Synthetic data generation for evaluating LLM symbolic and logic reasoning
Score
0
★ 23
⑂ 1
—
Python