gblackout / LogicLLaMAView on GitHub
Large language model and dataset for natural language to first-order logic translation
73Oct 25, 2023Updated 2 years ago

Alternatives and similar repositories for LogicLLaMA

Users that are interested in LogicLLaMA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?