Add Arxiv link and Citation (#4)
Browse files- Add Arxiv link and Citation (e477e1b1257efba699e3f0c639af3459c8aacde7)
Co-authored-by: WangJianing <[email protected]>
README.md
CHANGED
|
@@ -38,7 +38,7 @@ tags:
|
|
| 38 |
</div>
|
| 39 |
|
| 40 |
<p align="center">
|
| 41 |
-
<a href="https://
|
| 42 |
</p>
|
| 43 |
|
| 44 |
|
|
@@ -77,7 +77,7 @@ After high-value query selection, we synthesize corresponding high-quality
|
|
| 77 |
solution trajectories based on a versatile environment with diverse tool APIs,
|
| 78 |
including MCP servers and simulated tools for both single and multi-turn interactions.
|
| 79 |
|
| 80 |
-
For more details, please refer to the comprehensive [**LongCat-Flash-Thinking Technical Report**](https://
|
| 81 |
|
| 82 |
|
| 83 |
## Evaluation Results
|
|
@@ -210,7 +210,7 @@ Please reason step by step, and put your final answer within \\boxed{}. /think_o
|
|
| 210 |
|
| 211 |
#### Formal Reasoning
|
| 212 |
|
| 213 |
-
LongCat-Flash-Thinking also
|
| 214 |
|
| 215 |
```text
|
| 216 |
[Round 0] USER:Think about and solve the following problem step by step in Lean 4.
|
|
@@ -245,6 +245,20 @@ It is the responsibility of developers and downstream users to understand and co
|
|
| 245 |
|
| 246 |
Nothing in this Model Card should be interpreted as altering or restricting the terms of the MIT License under which the model is released.
|
| 247 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 248 |
|
| 249 |
## Contact
|
| 250 |
Please contact us at <a href="mailto:[email protected]">[email protected]</a> or join our WeChat Group if you have any questions.
|
|
|
|
| 38 |
</div>
|
| 39 |
|
| 40 |
<p align="center">
|
| 41 |
+
<a href="https://arxiv.org/abs/2509.18883"><b>Tech Report</b> 📄</a>
|
| 42 |
</p>
|
| 43 |
|
| 44 |
|
|
|
|
| 77 |
solution trajectories based on a versatile environment with diverse tool APIs,
|
| 78 |
including MCP servers and simulated tools for both single and multi-turn interactions.
|
| 79 |
|
| 80 |
+
For more details, please refer to the comprehensive [**LongCat-Flash-Thinking Technical Report**](https://arxiv.org/abs/2509.18883).
|
| 81 |
|
| 82 |
|
| 83 |
## Evaluation Results
|
|
|
|
| 210 |
|
| 211 |
#### Formal Reasoning
|
| 212 |
|
| 213 |
+
LongCat-Flash-Thinking also supports formal reasoning, like automatic theorem proving (ATP). The specific template is:
|
| 214 |
|
| 215 |
```text
|
| 216 |
[Round 0] USER:Think about and solve the following problem step by step in Lean 4.
|
|
|
|
| 245 |
|
| 246 |
Nothing in this Model Card should be interpreted as altering or restricting the terms of the MIT License under which the model is released.
|
| 247 |
|
| 248 |
+
## Citation
|
| 249 |
+
We kindly encourage citation of our work if you find it useful.
|
| 250 |
+
|
| 251 |
+
```
|
| 252 |
+
@misc{meituan2025longcatflashthinkingtechnicalreport,
|
| 253 |
+
title={LongCat-Flash-Thinking Technical Report},
|
| 254 |
+
author={Meituan},
|
| 255 |
+
year={2025},
|
| 256 |
+
eprint={2509.18883},
|
| 257 |
+
archivePrefix={arXiv},
|
| 258 |
+
primaryClass={cs.AI},
|
| 259 |
+
url={https://arxiv.org/abs/2509.18883},
|
| 260 |
+
}
|
| 261 |
+
```
|
| 262 |
|
| 263 |
## Contact
|
| 264 |
Please contact us at <a href="mailto:[email protected]">[email protected]</a> or join our WeChat Group if you have any questions.
|