LeanGraphSearch/benchmark/MathlibMPR_Prop_ids.txt at main · PlusLabNLP/LeanGraphSearch · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
# MathlibMPR-Prop: 50-problem subset of MathlibMPR used for the Prove task on §4.3.
# Each line is a mathlibmpr_id referencing benchmark/MathlibMPR.json.
# Provenance: TASK2BENCH 50-problem prove subset, with PR 33697 (zero-GT in MathlibMPR)
# replaced by mathlibmpr_029 (PR 33860, Probability.integral_cauchyPDFReal) so that
# the 50-set is a strict subset of MathlibMPR.
mathlibmpr_003
mathlibmpr_006
mathlibmpr_009
mathlibmpr_010
mathlibmpr_011
mathlibmpr_012
mathlibmpr_014
mathlibmpr_015
mathlibmpr_017
mathlibmpr_018
mathlibmpr_019
mathlibmpr_020
mathlibmpr_022
mathlibmpr_027
mathlibmpr_028
mathlibmpr_030
mathlibmpr_031
mathlibmpr_033
mathlibmpr_034
mathlibmpr_035
mathlibmpr_037
mathlibmpr_038
mathlibmpr_039
mathlibmpr_043
mathlibmpr_044
mathlibmpr_046
mathlibmpr_048
mathlibmpr_049
mathlibmpr_050
mathlibmpr_051
mathlibmpr_052
mathlibmpr_055
mathlibmpr_056
mathlibmpr_058
mathlibmpr_060
mathlibmpr_062
mathlibmpr_063
mathlibmpr_064
mathlibmpr_065
mathlibmpr_066
mathlibmpr_068
mathlibmpr_072
mathlibmpr_073
mathlibmpr_075
mathlibmpr_076
mathlibmpr_078
mathlibmpr_079
mathlibmpr_080
mathlibmpr_082
mathlibmpr_029