TIGER-Lab/general-verifier
The TIGER-Lab/general-verifier is a 1.5 billion parameter causal language model developed by TIGER-Lab, specifically designed for verifying the equivalence of mathematical expressions. With a context length of 131072 tokens, this model excels at determining if a student's answer matches a ground truth answer without solving the problem itself. It is primarily optimized for robust verification tasks in mathematical reasoning, making it distinct from general-purpose LLMs.
Hugging Face Popular Sampler Settings
Most commonly used values from Featherless users
temperature
This setting influences the sampling randomness. Lower values make the model more deterministic; higher values introduce randomness. Zero is greedy sampling.
–
top_p
This setting controls the cumulative probability of considered top tokens. Must be in (0, 1]. Set to 1 to consider all tokens.
–
top_k
This limits the number of top tokens to consider. Set to -1 to consider all tokens.
–
frequency_penalty
This setting penalizes new tokens based on their frequency in the generated text. Values > 0 encourage new tokens; < 0 encourages repetition.
–
presence_penalty
This setting penalizes new tokens based on their presence in the generated text so far. Values > 0 encourage new tokens; < 0 encourages repetition.
–
repetition_penalty
This setting penalizes new tokens based on their appearance in the prompt and generated text. Values > 1 encourage new tokens; < 1 encourages repetition.
–
min_p
This setting representing the minimum probability for a token to be considered relative to the most likely token. Must be in [0, 1]. Set to 0 to disable.
–