This is a merge of Meta Llama 3.1 Instruct and the "Propositional Logic" LORA, created using llm-tools.

The primary purpose of this model is to be merged into other models in the same family using the TIES merge method.

Creating quants for this is entirely unnecessary.

The following Bash command was used to produce this model:

Detailed results can be found here! Summarized results can be found here!