xiye17 / SAT-LMLinks
SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
β48Updated 10 months ago
Alternatives and similar repositories for SAT-LM
Users that are interested in SAT-LM are comparing it to the libraries listed below
Sorting:
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β70Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Modelsβ38Updated 2 years ago
- β117Updated 10 months ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/β56Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Modelsβ73Updated last year
- β25Updated 9 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf