Test fixture
Arithmetic, symbolic steps, and structured problem solving.
The model receives the prompt (and optional system message). The run uses scorer rubric_json_metrics with the JSON configuration below. Pass/fail and partial credit are determined entirely by that scorer against the model output; no human grading.
Return JSON only with keys answer, evidence, constraints. Claim: all even numbers are divisible by 4. Provide a specific counterexample that disproves this claim.
{
"metrics": {
"accuracy": {
"checks": [
{
"contains": [
"counterexample"
]
},
{
"contains": [
"not divisible"
]
},
{
"contains": [
"false"
]
}
]
},
"evidence": {
"checks": [
{
"contains": [
"even"
]
},
{
"contains": [
"divisible by 4"
]
},
{
"contains": [
"remainder"
]
}
]
},
"constraint": {
"checks": [
{
"contains": [
"claim is false"
]
},
{
"contains": [
"disproves"
]
},
{
"contains": [
"single example"
]
}
]
}
}
}temperature
0
max_tokens
500
timeout (s)
120
type
scored
file
reason-ce-even-number.json