Hugging Face's logo

purewhite42
/
HAR_CoPA_Cycle2

Text Generation
Transformers
PyTorch
English
qwen2
formal-mathematics
lean4
statement-autoformalization
proof-autoformalization
proof-step-prediction
solution-step-drafting
conversational
text-generation-inference
Model card Files
xet
Community
1
purewhite42 commited on
Commit
76bf088
·
verified ·
1 Parent(s): 99dc824

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -37,7 +37,7 @@ Please refer to the [📺GitHub repo](https://github.com/Purewhite2019/har_copa_
37
  ## 📈 Performance
38
  | Cycle | Method | FormalMath500 | | MiniF2F-Solving | |
39
  |:-----:|:-----------:|:--------------:|:-----------:|:---------------:|:-----------:|
40
- | | | Solved | Budget | Solved | Budget |
41
  | 1 | BFS | 9.52% ± 0.57% | 28139 ± 104 | 9.64% ± 1.66% | 27712 ± 339 |
42
  | 1 | WG | 18.78% ± 0.22% | 18456 ± 92 | 24.95% ± 1.09% | 18853 ± 454 |
43
  | 1 | WG $(K_W=16)$ | 21.78% ± 0.12% | 35391 ± 153 | 28.83% ± 0.77% | 35895 ± 487 |
 
37
  ## 📈 Performance
38
  | Cycle | Method | FormalMath500 | | MiniF2F-Solving | |
39
  |:-----:|:-----------:|:--------------:|:-----------:|:---------------:|:-----------:|
40
+ | | | Solved% ↑ | Budget ↓ | Solved % ↑ | Budget ↓ |
41
  | 1 | BFS | 9.52% ± 0.57% | 28139 ± 104 | 9.64% ± 1.66% | 27712 ± 339 |
42
  | 1 | WG | 18.78% ± 0.22% | 18456 ± 92 | 24.95% ± 1.09% | 18853 ± 454 |
43
  | 1 | WG $(K_W=16)$ | 21.78% ± 0.12% | 35391 ± 153 | 28.83% ± 0.77% | 35895 ± 487 |