open-thought/reasoning-gym
1
0
Fork 0
mirror of https://github.com/open-thought/reasoning-gym.git synced 2026-04-23 16:55:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

make formatting consistent

Browse source
This commit is contained in:
Jean Kaddour 2025-02-07 23:07:29 +00:00
parent faaede6e8d
commit 4e52a919a8
1 changed files with 10 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

22
GALLERY.md
View file

@ -2430,12 +2430,10 @@ Generates syllogism reasoning tasks
Default configuration: Default configuration:
```python ```python
terms = None
allow_all = True allow_all = True
allow_no = True allow_no = True
allow_some = True allow_some = True
allow_some_not = True allow_some_not = True
include_invalid = True
invalid_ratio = 0.3 invalid_ratio = 0.3
seed = 42 seed = 42
size = 500 size = 500
@ -2446,24 +2444,24 @@ Example tasks:
Example 1: Example 1:
Question: Consider these statements: Question: Consider these statements:
1. No students are humans 1. No students are humans
2. No humans are chefs 2. All humans are chefs
Does it logically follow that: Does it logically follow that:
No students are chefs? All students are chefs?
(Answer Yes or No) (Answer Yes or No)
Answer: Yes Answer: No
Metadata: {'premise1': 'No students are humans', 'premise2': 'No humans are chefs', 'conclusion': 'No students are chefs', 'is_valid': True} Metadata: {'premise1': 'No students are humans', 'premise2': 'All humans are chefs', 'conclusion': 'All students are chefs', 'is_valid': False}
Example 2: Example 2:
Question: Consider these statements: Question: Consider these statements:
1. Some children are not animals 1. All children are animals
2. Some animals are doctors 2. No animals are doctors
Does it logically follow that: Does it logically follow that:
All children are doctors? Some children are not doctors?
(Answer Yes or No) (Answer Yes or No)
Answer: Yes Answer: Yes
Metadata: {'premise1': 'Some children are not animals', 'premise2': 'Some animals are doctors', 'conclusion': 'All children are doctors', 'is_valid': True} Metadata: {'premise1': 'All children are animals', 'premise2': 'No animals are doctors', 'conclusion': 'Some children are not doctors', 'is_valid': True}
Example 3: Example 3:
Question: Consider these statements: Question: Consider these statements:
@ -2473,8 +2471,8 @@ Question: Consider these statements:
Does it logically follow that: Does it logically follow that:
Some butterflies are not whales? Some butterflies are not whales?
(Answer Yes or No) (Answer Yes or No)
Answer: No Answer: Yes
Metadata: {'premise1': 'All butterflies are tigers', 'premise2': 'No tigers are whales', 'conclusion': 'Some butterflies are not whales', 'is_valid': False} Metadata: {'premise1': 'All butterflies are tigers', 'premise2': 'No tigers are whales', 'conclusion': 'Some butterflies are not whales', 'is_valid': True}
```` ````