|
--- |
|
base_model: llm-agents/tora-code-13b-v1.0 |
|
datasets: |
|
- gsm8k |
|
- competition_math |
|
inference: false |
|
language: |
|
- en |
|
library_name: transformers |
|
license: llama2 |
|
metrics: |
|
- exact_match |
|
model_creator: LLM-Agents |
|
model_name: ToRA Code 13B v1.0 |
|
model_type: llama |
|
pipeline_tag: text-generation |
|
prompt_template: '<|user|> |
|
|
|
{prompt} |
|
|
|
<|assistant|> |
|
|
|
' |
|
quantized_by: TheBloke |
|
tags: |
|
- code |
|
- math |
|
--- |
|
|
|
<!-- header start --> |
|
<!-- 200823 --> |
|
<div style="width: auto; margin-left: auto; margin-right: auto"> |
|
<img src="https://i.imgur.com/EBdldam.jpg" alt="TheBlokeAI" style="width: 100%; min-width: 400px; display: block; margin: auto;"> |
|
</div> |
|
<div style="display: flex; justify-content: space-between; width: 100%;"> |
|
<div style="display: flex; flex-direction: column; align-items: flex-start;"> |
|
<p style="margin-top: 0.5em; margin-bottom: 0em;"><a href="https://discord.gg/theblokeai">Chat & support: TheBloke's Discord server</a></p> |
|
</div> |
|
<div style="display: flex; flex-direction: column; align-items: flex-end;"> |
|
<p style="margin-top: 0.5em; margin-bottom: 0em;"><a href="https://www.patreon.com/TheBlokeAI">Want to contribute? TheBloke's Patreon page</a></p> |
|
</div> |
|
</div> |
|
<div style="text-align:center; margin-top: 0em; margin-bottom: 0em"><p style="margin-top: 0.25em; margin-bottom: 0em;">TheBloke's LLM work is generously supported by a grant from <a href="https://a16z.com">andreessen horowitz (a16z)</a></p></div> |
|
<hr style="margin-top: 1.0em; margin-bottom: 1.0em;"> |
|
<!-- header end --> |
|
|
|
# ToRA Code 13B v1.0 - AWQ |
|
- Model creator: [LLM-Agents](https://huggingface.co/llm-agents) |
|
- Original model: [ToRA Code 13B v1.0](https://huggingface.co/llm-agents/tora-code-13b-v1.0) |
|
|
|
<!-- description start --> |
|
## Description |
|
|
|
This repo contains AWQ model files for [LLM-Agents's ToRA Code 13B v1.0](https://huggingface.co/llm-agents/tora-code-13b-v1.0). |
|
|
|
|
|
### About AWQ |
|
|
|
AWQ is an efficient, accurate and blazing-fast low-bit weight quantization method, currently supporting 4-bit quantization. Compared to GPTQ, it offers faster Transformers-based inference. |
|
|
|
It is also now supported by continuous batching server [vLLM](https://github.com/vllm-project/vllm), allowing use of Llama AWQ models for high-throughput concurrent inference in multi-user server scenarios. |
|
|
|
As of September 25th 2023, preliminary Llama-only AWQ support has also been added to [Huggingface Text Generation Inference (TGI)](https://github.com/huggingface/text-generation-inference). |
|
|
|
Note that, at the time of writing, overall throughput is still lower than running vLLM or TGI with unquantised models, however using AWQ enables using much smaller GPUs which can lead to easier deployment and overall cost savings. For example, a 70B model can be run on 1 x 48GB GPU instead of 2 x 80GB. |
|
<!-- description end --> |
|
<!-- repositories-available start --> |
|
## Repositories available |
|
|
|
* [AWQ model(s) for GPU inference.](https://huggingface.co/TheBloke/tora-code-13B-v1.0-AWQ) |
|
* [GPTQ models for GPU inference, with multiple quantisation parameter options.](https://huggingface.co/TheBloke/tora-code-13B-v1.0-GPTQ) |
|
* [2, 3, 4, 5, 6 and 8-bit GGUF models for CPU+GPU inference](https://huggingface.co/TheBloke/tora-code-13B-v1.0-GGUF) |
|
* [LLM-Agents's original unquantised fp16 model in pytorch format, for GPU inference and for further conversions](https://huggingface.co/llm-agents/tora-code-13b-v1.0) |
|
<!-- repositories-available end --> |
|
|
|
<!-- prompt-template start --> |
|
## Prompt template: ToRA |
|
|
|
``` |
|
<|user|> |
|
{prompt} |
|
<|assistant|> |
|
|
|
``` |
|
|
|
<!-- prompt-template end --> |
|
|
|
|
|
<!-- README_AWQ.md-provided-files start --> |
|
## Provided files, and AWQ parameters |
|
|
|
For my first release of AWQ models, I am releasing 128g models only. I will consider adding 32g as well if there is interest, and once I have done perplexity and evaluation comparisons, but at this time 32g models are still not fully tested with AutoAWQ and vLLM. |
|
|
|
Models are released as sharded safetensors files. |
|
|
|
| Branch | Bits | GS | AWQ Dataset | Seq Len | Size | |
|
| ------ | ---- | -- | ----------- | ------- | ---- | |
|
| [main](https://huggingface.co/TheBloke/tora-code-13B-v1.0-AWQ/tree/main) | 4 | 128 | [CamelAI Math](https://huggingface.co/datasets/andersonbcdefg/math) | 4096 | 7.25 GB |
|
|
|
<!-- README_AWQ.md-provided-files end --> |
|
|
|
<!-- README_AWQ.md-use-from-vllm start --> |
|
## Serving this model from vLLM |
|
|
|
Documentation on installing and using vLLM [can be found here](https://vllm.readthedocs.io/en/latest/). |
|
|
|
Note: at the time of writing, vLLM has not yet done a new release with AWQ support. |
|
|
|
If you try the vLLM examples below and get an error about `quantization` being unrecognised, or other AWQ-related issues, please install vLLM from Github source. |
|
|
|
- When using vLLM as a server, pass the `--quantization awq` parameter, for example: |
|
|
|
```shell |
|
python3 python -m vllm.entrypoints.api_server --model TheBloke/tora-code-13B-v1.0-AWQ --quantization awq --dtype half |
|
``` |
|
|
|
When using vLLM from Python code, pass the `quantization=awq` parameter, for example: |
|
|
|
```python |
|
from vllm import LLM, SamplingParams |
|
|
|
prompts = [ |
|
"Hello, my name is", |
|
"The president of the United States is", |
|
"The capital of France is", |
|
"The future of AI is", |
|
] |
|
sampling_params = SamplingParams(temperature=0.8, top_p=0.95) |
|
|
|
llm = LLM(model="TheBloke/tora-code-13B-v1.0-AWQ", quantization="awq", dtype="half") |
|
|
|
outputs = llm.generate(prompts, sampling_params) |
|
|
|
# Print the outputs. |
|
for output in outputs: |
|
prompt = output.prompt |
|
generated_text = output.outputs[0].text |
|
print(f"Prompt: {prompt!r}, Generated text: {generated_text!r}") |
|
``` |
|
<!-- README_AWQ.md-use-from-vllm start --> |
|
|
|
<!-- README_AWQ.md-use-from-tgi start --> |
|
## Serving this model from Text Generation Inference (TGI) |
|
|
|
Use TGI version 1.1.0 or later. The official Docker container is: `ghcr.io/huggingface/text-generation-inference:1.1.0` |
|
|
|
Example Docker parameters: |
|
|
|
```shell |
|
--model-id TheBloke/tora-code-13B-v1.0-AWQ --port 3000 --quantize awq --max-input-length 3696 --max-total-tokens 4096 --max-batch-prefill-tokens 4096 |
|
``` |
|
|
|
Example Python code for interfacing with TGI (requires huggingface-hub 0.17.0 or later): |
|
|
|
```shell |
|
pip3 install huggingface-hub |
|
``` |
|
|
|
```python |
|
from huggingface_hub import InferenceClient |
|
|
|
endpoint_url = "https://your-endpoint-url-here" |
|
|
|
prompt = "Tell me about AI" |
|
prompt_template=f'''<|user|> |
|
{prompt} |
|
<|assistant|> |
|
|
|
''' |
|
|
|
client = InferenceClient(endpoint_url) |
|
response = client.text_generation(prompt, |
|
max_new_tokens=128, |
|
do_sample=True, |
|
temperature=0.7, |
|
top_p=0.95, |
|
top_k=40, |
|
repetition_penalty=1.1) |
|
|
|
print(f"Model output: {response}") |
|
``` |
|
<!-- README_AWQ.md-use-from-tgi end --> |
|
|
|
<!-- README_AWQ.md-use-from-python start --> |
|
## How to use this AWQ model from Python code |
|
|
|
### Install the necessary packages |
|
|
|
Requires: [AutoAWQ](https://github.com/casper-hansen/AutoAWQ) 0.1.1 or later |
|
|
|
```shell |
|
pip3 install autoawq |
|
``` |
|
|
|
If you have problems installing [AutoAWQ](https://github.com/casper-hansen/AutoAWQ) using the pre-built wheels, install it from source instead: |
|
|
|
```shell |
|
pip3 uninstall -y autoawq |
|
git clone https://github.com/casper-hansen/AutoAWQ |
|
cd AutoAWQ |
|
pip3 install . |
|
``` |
|
|
|
### You can then try the following example code |
|
|
|
```python |
|
from awq import AutoAWQForCausalLM |
|
from transformers import AutoTokenizer |
|
|
|
model_name_or_path = "TheBloke/tora-code-13B-v1.0-AWQ" |
|
|
|
# Load model |
|
model = AutoAWQForCausalLM.from_quantized(model_name_or_path, fuse_layers=True, |
|
trust_remote_code=False, safetensors=True) |
|
tokenizer = AutoTokenizer.from_pretrained(model_name_or_path, trust_remote_code=False) |
|
|
|
prompt = "Tell me about AI" |
|
prompt_template=f'''<|user|> |
|
{prompt} |
|
<|assistant|> |
|
|
|
''' |
|
|
|
print("\n\n*** Generate:") |
|
|
|
tokens = tokenizer( |
|
prompt_template, |
|
return_tensors='pt' |
|
).input_ids.cuda() |
|
|
|
# Generate output |
|
generation_output = model.generate( |
|
tokens, |
|
do_sample=True, |
|
temperature=0.7, |
|
top_p=0.95, |
|
top_k=40, |
|
max_new_tokens=512 |
|
) |
|
|
|
print("Output: ", tokenizer.decode(generation_output[0])) |
|
|
|
""" |
|
# Inference should be possible with transformers pipeline as well in future |
|
# But currently this is not yet supported by AutoAWQ (correct as of September 25th 2023) |
|
from transformers import pipeline |
|
|
|
print("*** Pipeline:") |
|
pipe = pipeline( |
|
"text-generation", |
|
model=model, |
|
tokenizer=tokenizer, |
|
max_new_tokens=512, |
|
do_sample=True, |
|
temperature=0.7, |
|
top_p=0.95, |
|
top_k=40, |
|
repetition_penalty=1.1 |
|
) |
|
|
|
print(pipe(prompt_template)[0]['generated_text']) |
|
""" |
|
``` |
|
<!-- README_AWQ.md-use-from-python end --> |
|
|
|
<!-- README_AWQ.md-compatibility start --> |
|
## Compatibility |
|
|
|
The files provided are tested to work with: |
|
|
|
- [AutoAWQ](https://github.com/casper-hansen/AutoAWQ) |
|
- [vLLM](https://github.com/vllm-project/vllm) |
|
- [Huggingface Text Generation Inference (TGI)](https://github.com/huggingface/text-generation-inference) |
|
|
|
TGI merged AWQ support on September 25th, 2023: [TGI PR #1054](https://github.com/huggingface/text-generation-inference/pull/1054). Use the `:latest` Docker container until the next TGI release is made. |
|
|
|
<!-- README_AWQ.md-compatibility end --> |
|
|
|
<!-- footer start --> |
|
<!-- 200823 --> |
|
## Discord |
|
|
|
For further support, and discussions on these models and AI in general, join us at: |
|
|
|
[TheBloke AI's Discord server](https://discord.gg/theblokeai) |
|
|
|
## Thanks, and how to contribute |
|
|
|
Thanks to the [chirper.ai](https://chirper.ai) team! |
|
|
|
Thanks to Clay from [gpus.llm-utils.org](llm-utils)! |
|
|
|
I've had a lot of people ask if they can contribute. I enjoy providing models and helping people, and would love to be able to spend even more time doing it, as well as expanding into new projects like fine tuning/training. |
|
|
|
If you're able and willing to contribute it will be most gratefully received and will help me to keep providing more models, and to start work on new AI projects. |
|
|
|
Donaters will get priority support on any and all AI/LLM/model questions and requests, access to a private Discord room, plus other benefits. |
|
|
|
* Patreon: https://patreon.com/TheBlokeAI |
|
* Ko-Fi: https://ko-fi.com/TheBlokeAI |
|
|
|
**Special thanks to**: Aemon Algiz. |
|
|
|
**Patreon special mentions**: Pierre Kircher, Stanislav Ovsiannikov, Michael Levine, Eugene Pentland, Andrey, 준교 김, Randy H, Fred von Graf, Artur Olbinski, Caitlyn Gatomon, terasurfer, Jeff Scroggin, James Bentley, Vadim, Gabriel Puliatti, Harry Royden McLaughlin, Sean Connelly, Dan Guido, Edmond Seymore, Alicia Loh, subjectnull, AzureBlack, Manuel Alberto Morcote, Thomas Belote, Lone Striker, Chris Smitley, Vitor Caleffi, Johann-Peter Hartmann, Clay Pascal, biorpg, Brandon Frisco, sidney chen, transmissions 11, Pedro Madruga, jinyuan sun, Ajan Kanaga, Emad Mostaque, Trenton Dambrowitz, Jonathan Leane, Iucharbius, usrbinkat, vamX, George Stoitzev, Luke Pendergrass, theTransient, Olakabola, Swaroop Kallakuri, Cap'n Zoog, Brandon Phillips, Michael Dempsey, Nikolai Manek, danny, Matthew Berman, Gabriel Tamborski, alfie_i, Raymond Fosdick, Tom X Nguyen, Raven Klaugh, LangChain4j, Magnesian, Illia Dulskyi, David Ziegler, Mano Prime, Luis Javier Navarrete Lozano, Erik Bjäreholt, 阿明, Nathan Dryer, Alex, Rainer Wilmers, zynix, TL, Joseph William Delisle, John Villwock, Nathan LeClaire, Willem Michiel, Joguhyik, GodLy, OG, Alps Aficionado, Jeffrey Morgan, ReadyPlayerEmma, Tiffany J. Kim, Sebastain Graf, Spencer Kim, Michael Davis, webtim, Talal Aujan, knownsqashed, John Detwiler, Imad Khwaja, Deo Leter, Jerry Meng, Elijah Stavena, Rooh Singh, Pieter, SuperWojo, Alexandros Triantafyllidis, Stephen Murray, Ai Maven, ya boyyy, Enrico Ros, Ken Nordquist, Deep Realms, Nicholas, Spiking Neurons AB, Elle, Will Dee, Jack West, RoA, Luke @flexchar, Viktor Bowallius, Derek Yates, Subspace Studios, jjj, Toran Billups, Asp the Wyvern, Fen Risland, Ilya, NimbleBox.ai, Chadd, Nitin Borwankar, Emre, Mandus, Leonard Tan, Kalila, K, Trailburnt, S_X, Cory Kujawski |
|
|
|
|
|
Thank you to all my generous patrons and donaters! |
|
|
|
And thank you again to a16z for their generous grant. |
|
|
|
<!-- footer end --> |
|
|
|
# Original model card: LLM-Agents's ToRA Code 13B v1.0 |
|
|
|
|
|
|
|
<h1 align="center"> |
|
ToRA: A Tool-Integrated Reasoning Agent <br> for Mathematical Problem Solving |
|
</h1> |
|
|
|
<p align="center"> |
|
<a href="https://microsoft.github.io/ToRA/"><b>[🌐 Website]</b></a> • |
|
<a href="https://arxiv.org/pdf/2309.17452.pdf"><b>[📜 Paper]</b></a> • |
|
<a href="https://huggingface.co/llm-agents"><b>[🤗 HF Models]</b></a> • |
|
<a href="https://github.com/microsoft/ToRA"><b>[🐱 GitHub]</b></a> |
|
<br> |
|
<a href="https://twitter.com/zhs05232838/status/1708860992631763092"><b>[🐦 Twitter]</b></a> • |
|
<a href="https://www.reddit.com/r/LocalLLaMA/comments/1703k6d/tora_a_toolintegrated_reasoning_agent_for/"><b>[💬 Reddit]</b></a> • |
|
<a href="https://notes.aimodels.fyi/researchers-announce-tora-training-language-models-to-better-understand-math-using-external-tools/">[🍀 Unofficial Blog]</a> |
|
<!-- <a href="#-quick-start">Quick Start</a> • --> |
|
<!-- <a href="#%EF%B8%8F-citation">Citation</a> --> |
|
</p> |
|
|
|
<p align="center"> |
|
Repo for "<a href="https://arxiv.org/pdf/2309.17452.pdf" target="_blank">ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving</a>" |
|
</p> |
|
|
|
## 🔥 News |
|
|
|
- [2023/10/08] 🔥🔥🔥 All ToRA models released at [HuggingFace](https://huggingface.co/llm-agents)!!! |
|
- [2023/09/29] ToRA paper, repo, and website released. |
|
|
|
## 💡 Introduction |
|
|
|
ToRA is a series of Tool-integrated Reasoning Agents designed to solve challenging mathematical reasoning problems by interacting with tools, e.g., computation libraries and symbolic solvers. ToRA series seamlessly integrate natural language reasoning with the utilization of external tools, thereby amalgamating the analytical prowess of language and the computational efficiency of external tools. |
|
|
|
| Model | Size | GSM8k | MATH | AVG@10 math tasks<sup>†</sup> | |
|
|---|---|---|---|---| |
|
| GPT-4 | - | 92.0 | 42.5 | 78.3 | |
|
| GPT-4 (PAL) | - | 94.2 | 51.8 | 86.4 | |
|
| [ToRA-7B](https://huggingface.co/llm-agents/tora-7b-v1.0) | 7B | 68.8 | 40.1 | 62.4| |
|
| [ToRA-Code-7B](https://huggingface.co/llm-agents/tora-code-7b-v1.0) | 7B | 72.6 | 44.6 | 66.5| |
|
| [ToRA-13B](https://huggingface.co/llm-agents/tora-13b-v1.0) | 13B | 72.7 | 43.0 | 65.9| |
|
| [ToRA-Code-13B](https://huggingface.co/llm-agents/tora-code-13b-v1.0) | 13B | 75.8 | 48.1 | 71.3 | |
|
| [ToRA-Code-34B<sup>*</sup>](https://huggingface.co/llm-agents/tora-code-34b-v1.0) | 34B | 80.7 | **51.0** | 74.8 | |
|
| [ToRA-70B](https://huggingface.co/llm-agents/tora-70b-v1.0) | 70B | **84.3** | 49.7 | **76.9** | |
|
|
|
- <sup>*</sup>ToRA-Code-34B is currently the first and only open-source model to achieve over 50% accuracy (pass@1) on the MATH dataset, which significantly outperforms GPT-4’s CoT result (51.0 vs. 42.5), and is competitive with GPT-4 solving problems with programs. By open-sourcing our codes and models, we hope more breakthroughs will come! |
|
|
|
- <sup>†</sup>10 math tasks include GSM8k, MATH, GSM-Hard, SVAMP, TabMWP, ASDiv, SingleEQ, SingleOP, AddSub, and MultiArith. |
|
|
|
|
|
## ⚡️ Training |
|
|
|
The models are trained on ToRA-Corpus 16k, which contains tool-integrated reasoning trajectories of MATH and GSM8k from GPT-4. |
|
|
|
We use imitation learning (i.e., SFT) to fine-tune the models, and then apply our proposed *output space shaping* to improve tool-integrated reasoning behaviors. Please refer to the [paper](https://arxiv.org/pdf/2309.17452.pdf) for more details. |
|
|
|
|
|
## 🪁 Inference & Evaluation |
|
|
|
Please refer to ToRA's [GitHub repo](https://github.com/microsoft/ToRA) for inference, evaluation, and training code. |
|
|
|
|
|
## ☕️ Citation |
|
|
|
If you find this repository helpful, please consider citing our paper: |
|
|
|
``` |
|
@misc{gou2023tora, |
|
title={ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving}, |
|
author={Zhibin Gou and Zhihong Shao and Yeyun Gong and yelong shen and Yujiu Yang and Minlie Huang and Nan Duan and Weizhu Chen}, |
|
year={2023}, |
|
eprint={2309.17452}, |
|
archivePrefix={arXiv}, |
|
primaryClass={cs.CL} |
|
} |
|
``` |
|
|
