gblackout / LogicLLaMA

Large language model and dataset for natural language to first-order logic translation
ā˜†50Updated last year

Alternatives and similar repositories for LogicLLaMA:

Users that are interested in LogicLLaMA are comparing it to the libraries listed below