gblackout / LogicLLaMA

Large language model and dataset for natural language to first-order logic translation
44Updated last year

Related projects

Alternatives and complementary repositories for LogicLLaMA