Files changed (1) hide show
  1. README.md +2 -1
README.md CHANGED
@@ -24,7 +24,8 @@ TwiL-LM(1.7B) is a parameter-efficient LoRA adapter for
24
  [SmolLM2-1.7B-Instruct](https://huggingface.co/HuggingFaceTB/SmolLM2-1.7B-Instruct).
25
  It is designed for formal-logic tasks including first-order logic (FOL)
26
  translation, entailment classification, multiple-choice reasoning, semantic
27
- parsing, Lean assistance, and procedural reasoning.
 
28
 
29
  ## Model details
30
 
 
24
  [SmolLM2-1.7B-Instruct](https://huggingface.co/HuggingFaceTB/SmolLM2-1.7B-Instruct).
25
  It is designed for formal-logic tasks including first-order logic (FOL)
26
  translation, entailment classification, multiple-choice reasoning, semantic
27
+ parsing, Lean assistance, and procedural reasoning. Our updated TwIL-LM2 model can be downloaded from
28
+ the TwIL-LM2 branch. That model shows better general reasoning capabilities while solving formal logic tasks.
29
 
30
  ## Model details
31