open-thought/reasoning-gym
1
0
Fork 0
mirror of https://github.com/open-thought/reasoning-gym.git synced 2026-05-02 17:45:58 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: Unify Prompts (#254)

Browse source 
* remove cot
* fix prompt template
* fix pool matrix
* spiral matrix fixed
This commit is contained in:
Zafir Stojanovski 2025-03-03 21:55:53 +01:00 • committed by GitHub
parent 976e1710a6
commit 2f9d94c1e7
31 changed files with 65 additions and 354 deletions
Download patch file Download diff file Expand all files Collapse all files

31
reasoning_gym/logic/propositional_logic.py
View file

@ -62,22 +62,21 @@ class Operator(StrEnum):
IFF = "↔"
QUESTION_FORMAT = "\n".join(
[
"The following question is a propositional logic reasoning question.",
"In the question we provide a list of premises",
"The task is to infer a correct conclusion from the premise.",
"FORMAT INSTRUCTIONS:",
"Return the conclusion logic statement, as your final answer.",
"Use the following notation to denote symbols",
"OR = \u2228",
"AND = \u2227",
"IMPLIES = \u2192",
"IFF = \u2194",
"NOT = \u00ac",
"Here is the question:",
]
)
QUESTION_FORMAT = """The following question is a propositional logic reasoning question.
In the question we provide a list of premises. The task is to infer a correct conclusion from the premise.
FORMAT INSTRUCTIONS:
- Return the conclusion logic statement, as your final answer.
- Use the following notation to denote symbols
- OR = \u2228
- AND = \u2227
- IMPLIES = \u2192
- IFF = \u2194
- NOT = \u00ac
Here is the question:
"""
@dataclass