AlphaUncommon
teacherpeterpan/Logic-LLM
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
- Owner
- teacherpeterpan (personal account)
- Stars
- Stars: 413
- Forks
- Forks: 75
- Language
- C
- License
- MIT
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by teacherpeterpan
All 3 repos by teacherpeterpan- teacherpeterpan/Question-Generation-Paper-ListStars: 583Alpha
- teacherpeterpan/self-correction-llm-papersStars: 574Alpha
Nearby in C
All C repos- aws/pg_tleStars: 413CAlpha
- alexbatalov/fallout2-reStars: 413CAlpha
- RemusDBD/ctftools-all-in-oneStars: 413CAlpha
- chaos/diodStars: 413CAlpha
- jdduke/three_cppStars: 413CAlpha
- multipath-tcp/mptcp_net-nextStars: 413CAlpha