File size: 1,645 Bytes
35deccd dc59c0c 35deccd dc59c0c |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 |
---
license: apache-2.0
language:
- en
base_model:
- Qwen/Qwen2.5-Math-1.5B
pipeline_tag: question-answering
library_name: transformers
tags:
- verifier
---
This is the verifier we used in [General Reasoner](https://github.com/TIGER-AI-Lab/General-Reasoner).
## Usage
```python
from transformers import AutoTokenizer, AutoModelForCausalLM
import torch
# Replace with your model path
model_path = "TIGER-Lab/general-verifier"
# Load tokenizer and model
tokenizer = AutoTokenizer.from_pretrained(model_path)
model = AutoModelForCausalLM.from_pretrained(model_path, torch_dtype=torch.float16).cuda()
# Example inputs
question = "Factor the following quadratic: $3 x^3+\frac{69 x^2}{2}-36 x-810$"
ground_truth = "\\frac{3(2x-9)(x+6)(x+10)}{2}"
student_answer = "\\frac{3}{2}(x+6)(2x-9)(x+10)"
# Create prompt
prompt = (
f"User: ### Question: {question}\n\n"
f"### Ground Truth Answer: {ground_truth}\n\n"
f"### Student Answer: {student_answer}\n\n"
"For the above question, please verify if the student's answer is equivalent to the ground truth answer.\n"
"Do not solve the question by yourself; just check if the student's answer is equivalent to the ground truth answer.\n"
"If the student's answer is correct, output \"Final Decision: Yes\". If the student's answer is incorrect, output \"Final Decision: No\". Assistant:"
)
# Tokenize and generate
inputs = tokenizer(prompt, return_tensors="pt").to(model.device)
outputs = model.generate(
**inputs,
max_new_tokens=1024,
temperature=0.0,
do_sample=False
)
# Decode and print output
print(tokenizer.decode(outputs[0], skip_special_tokens=True))
``` |