Update README.md
Browse files
README.md
CHANGED
|
@@ -111,6 +111,10 @@ C (Modus Ponens on 2 and 9)
|
|
| 111 |
|
| 112 |
Therefore, C (John likely has more energy throughout his day)
|
| 113 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 114 |
# Usage
|
| 115 |
|
| 116 |
```python
|
|
|
|
| 111 |
|
| 112 |
Therefore, C (John likely has more energy throughout his day)
|
| 113 |
|
| 114 |
+
## Conclusion
|
| 115 |
+
|
| 116 |
+
This model does the best at extracting premises and conclusions and creating an accurate proof. The Llama 3.1 8b Instruct model extracts the premises, but fails miserably at the proof. Claude 3.5 Sonnet struggles with the nuance of connecting our specific character - "John" - to the prior premises, and introduces extraneous lines in the prompt.
|
| 117 |
+
|
| 118 |
# Usage
|
| 119 |
|
| 120 |
```python
|