OpenMath is an open-source project focused on fine-tuning a small language model (SLM) to solve math word problems with clear, step-by-step reasoning. The project uses LoRA/QLoRA fine-tuning on ...
"""Check shared OpenMath config before theorem discovery.""" ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results