Caldalis commited on
Commit
5c5c6ad
·
verified ·
1 Parent(s): 43aa302

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -84,7 +84,7 @@ minicpm-math prove "Prove that for every integer n, n^5 - n is divisible by 30."
84
  ```
85
 
86
  The proof-swarm numbers above used `--max-tokens 131072`; the default profile gives each call 32K tokens, which is
87
- faster but was not benchmarked.
88
 
89
  The swarm returns the best proof together with how it was graded (`accepted` only if every verifier gives at
90
  least 6/7), and keeps a full trace of every call. See the [harness README](https://github.com/Caldalis/MiniCPM-Math-harness)
 
84
  ```
85
 
86
  The proof-swarm numbers above used `--max-tokens 131072`; the default profile gives each call 32K tokens, which is
87
+ faster.
88
 
89
  The swarm returns the best proof together with how it was graded (`accepted` only if every verifier gives at
90
  least 6/7), and keeps a full trace of every call. See the [harness README](https://github.com/Caldalis/MiniCPM-Math-harness)