Skip to content

wernerolaf/Logic-LLM

 
 

About

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • C 67.8%
  • HTML 11.5%
  • Jupyter Notebook 10.4%
  • Python 7.9%
  • Perl 0.9%
  • Makefile 0.7%
  • Other 0.8%