1L↓ One Layer Deeper

Core Automation × Tilde Research present

Make one layer
think deeper.

One file. One H100. One fixed model-state ceiling. Use the training-time budget however you want, then get one final score.

Leaderboard

135 ranked
Higher is better. Each score cell shows the next T to certify and its accuracy, rounded to four decimal places. Once every example at that T is correct, the target advances from T=1 to 2, 4, 8, 16, 32, then 64. Max T uses in-distribution number sizes; OOD N Max T uses out-of-distribution number sizes. Ranking uses the unrounded accuracies.
#ParticipantIn Distribution N progressOut of Distribution N progress
1 CodeReclaimers T=64 Certified T=64 Certified
2 Yash Kant T=64 Certified T=64 Certified
3 Sahil Verma T=64 Certified T=64 Certified
4 Maxwells_Ayakashi T=1 Acc 1.6927% T=1 Acc 0.9115%
5 Daniël Heres T=1 Acc 0.7813% T=1 Acc 0.3906%
6 Frosty40 T=1 Acc 0.7813% T=1 Acc 0.3906%
7 priormancer T=1 Acc 0.7813% T=1 Acc 0.3906%
8 sharpchoc T=1 Acc 0.7813% T=1 Acc 0.3906%
9 Jez Ng T=1 Acc 0.7813% T=1 Acc 0.3906%
10 Doug Doan T=1 Acc 0.7813% T=1 Acc 0.3906%
11 Gusanidas T=1 Acc 0.7813% T=1 Acc 0.3906%
12 ipsa-loquitur T=1 Acc 0.7813% T=1 Acc 0.3906%
13 Kiarash Jamali T=1 Acc 0.7813% T=1 Acc 0.3906%
14 Zeyu Qin T=1 Acc 0.7813% T=1 Acc 0.3906%
15 Nikhil Kumar T=1 Acc 0.7813% T=1 Acc 0.3906%
16 renoormalize T=1 Acc 0.6510% T=1 Acc 0.3906%
17 alirezashirvani-jr T=1 Acc 0.6510% T=1 Acc 0.0000%
18 sourabh2k15 T=1 Acc 0.2604% T=1 Acc 0.0000%
19 Ryan Epstein T=1 Acc 0.2604% T=1 Acc 0.0000%
20 Kaushik Patnaik T=1 Acc 0.2604% T=1 Acc 0.0000%
21 Abhishek Shinde T=1 Acc 0.2604% T=1 Acc 0.0000%
22 dlyr3 T=1 Acc 0.2604% T=1 Acc 0.0000%
23 AHappyCPU T=1 Acc 0.1302% T=1 Acc 0.1302%
24 khushidahi T=1 Acc 0.1302% T=1 Acc 0.0000%
25 Nikhil Barhate T=1 Acc 0.1302% T=1 Acc 0.0000%
26 Abhi Upadhyay T=1 Acc 0.1302% T=1 Acc 0.0000%
27 Shan Chen T=1 Acc 0.1302% T=1 Acc 0.0000%
28 Chuk Uzowihe T=1 Acc 0.1302% T=1 Acc 0.0000%
29 Yumq123 T=1 Acc 0.1302% T=1 Acc 0.0000%
30 Sirish Gambhira T=1 Acc 0.1302% T=1 Acc 0.0000%
31 Ziyang Cai T=1 Acc 0.1302% T=1 Acc 0.0000%
32 im-a-king-but-im-far-from-a-saint T=1 Acc 0.1302% T=1 Acc 0.0000%
33 Jonathan Whitaker T=1 Acc 0.1302% T=1 Acc 0.0000%
34 mof T=1 Acc 0.1302% T=1 Acc 0.0000%
35 Edward Ngo T=1 Acc 0.1302% T=1 Acc 0.0000%
36 chad-atexpedient T=1 Acc 0.1302% T=1 Acc 0.0000%
37 Rudy Alvarez T=1 Acc 0.1302% T=1 Acc 0.0000%
38 msnow0 T=1 Acc 0.1302% T=1 Acc 0.0000%
39 Ertondy T=1 Acc 0.1302% T=1 Acc 0.0000%
40 AFeinfield T=1 Acc 0.1302% T=1 Acc 0.0000%
41 Ali T=1 Acc 0.1302% T=1 Acc 0.0000%
42 Jasper T=1 Acc 0.1302% T=1 Acc 0.0000%
43 Betancourt T=1 Acc 0.1302% T=1 Acc 0.0000%
44 Simon Zhang T=1 Acc 0.1302% T=1 Acc 0.0000%
45 pepinu T=1 Acc 0.1302% T=1 Acc 0.0000%
46 Ethan T=1 Acc 0.1302% T=1 Acc 0.0000%
47 koz T=1 Acc 0.1302% T=1 Acc 0.0000%
48 Deepak Vijaykeerthy T=1 Acc 0.1302% T=1 Acc 0.0000%
49 DDanlov T=1 Acc 0.1302% T=1 Acc 0.0000%
50 Liang He T=1 Acc 0.0000% T=1 Acc 0.1302%
51 Aakanksh Zarapkar T=1 Acc 0.0000% T=1 Acc 0.1302%
52 Blake Camp T=1 Acc 0.0000% T=1 Acc 0.1302%
53 Aman Priyanshu T=1 Acc 0.0000% T=1 Acc 0.1302%
54 Yusuf Mohammad T=1 Acc 0.0000% T=1 Acc 0.1302%
55 Sudarshan Nambiar T=1 Acc 0.0000% T=1 Acc 0.1302%
56 Chris T=1 Acc 0.0000% T=1 Acc 0.1302%
57 Yunjiang Jiang T=1 Acc 0.0000% T=1 Acc 0.1302%
58 Ali Abdul Rahim T=1 Acc 0.0000% T=1 Acc 0.1302%
59 Shinichiro Saito T=1 Acc 0.0000% T=1 Acc 0.1302%
60 speedofsound5 T=1 Acc 0.0000% T=1 Acc 0.0000%
61 John Lussier T=1 Acc 0.0000% T=1 Acc 0.0000%
62 Colin Gordon T=1 Acc 0.0000% T=1 Acc 0.0000%
63 Jordan Rubin T=1 Acc 0.0000% T=1 Acc 0.0000%
64 PragsPud T=1 Acc 0.0000% T=1 Acc 0.0000%
65 Insop T=1 Acc 0.0000% T=1 Acc 0.0000%
66 Amr Hegazy T=1 Acc 0.0000% T=1 Acc 0.0000%
67 Ajinkya K Mulay T=1 Acc 0.0000% T=1 Acc 0.0000%
68 Akshay Kolli T=1 Acc 0.0000% T=1 Acc 0.0000%
69 Karthik Sethuraman T=1 Acc 0.0000% T=1 Acc 0.0000%
70 Karan Ganesan T=1 Acc 0.0000% T=1 Acc 0.0000%
71 Kaan Karakaya T=1 Acc 0.0000% T=1 Acc 0.0000%
72 Isaac Yong T=1 Acc 0.0000% T=1 Acc 0.0000%
73 paulv T=1 Acc 0.0000% T=1 Acc 0.0000%
74 Nathan Ordonez T=1 Acc 0.0000% T=1 Acc 0.0000%
75 Ayush Nangia T=1 Acc 0.0000% T=1 Acc 0.0000%
76 Evan Walters T=1 Acc 0.0000% T=1 Acc 0.0000%
77 Haoyu Tang T=1 Acc 0.0000% T=1 Acc 0.0000%
78 Chris Wood T=1 Acc 0.0000% T=1 Acc 0.0000%
79 Andrea Miele T=1 Acc 0.0000% T=1 Acc 0.0000%
80 Mert Unsal T=1 Acc 0.0000% T=1 Acc 0.0000%
81 Arthur T=1 Acc 0.0000% T=1 Acc 0.0000%
82 TZZheng T=1 Acc 0.0000% T=1 Acc 0.0000%
83 Satyaki T=1 Acc 0.0000% T=1 Acc 0.0000%
84 Harmya Bhatt T=1 Acc 0.0000% T=1 Acc 0.0000%
85 SunstarK T=1 Acc 0.0000% T=1 Acc 0.0000%
86 Aizenn T=1 Acc 0.0000% T=1 Acc 0.0000%
87 Mingqian Yu T=1 Acc 0.0000% T=1 Acc 0.0000%
88 congxie1108 T=1 Acc 0.0000% T=1 Acc 0.0000%
89 Rohan Sehgal T=1 Acc 0.0000% T=1 Acc 0.0000%
90 Laz4rz T=1 Acc 0.0000% T=1 Acc 0.0000%
91 Nirmal Patel T=1 Acc 0.0000% T=1 Acc 0.0000%
92 Subhrajit Makur T=1 Acc 0.0000% T=1 Acc 0.0000%
93 Rishi Gottumukkala T=1 Acc 0.0000% T=1 Acc 0.0000%
94 Pritesh raj T=1 Acc 0.0000% T=1 Acc 0.0000%
95 Gaurav Mishra T=1 Acc 0.0000% T=1 Acc 0.0000%
96 sbstndb/sbstndbs T=1 Acc 0.0000% T=1 Acc 0.0000%
97 Doğaç Eldenk T=1 Acc 0.0000% T=1 Acc 0.0000%
98 Andre Kreidemann T=1 Acc 0.0000% T=1 Acc 0.0000%
99 Anirudh S Chakravarthy T=1 Acc 0.0000% T=1 Acc 0.0000%
100 Anish Lakkapragada T=1 Acc 0.0000% T=1 Acc 0.0000%
101 yfff T=1 Acc 0.0000% T=1 Acc 0.0000%
102 Ojasw Upadhyay T=1 Acc 0.0000% T=1 Acc 0.0000%
103 Stanley Wei T=1 Acc 0.0000% T=1 Acc 0.0000%
104 Marco Fleming T=1 Acc 0.0000% T=1 Acc 0.0000%
105 Ashwin Kumar T=1 Acc 0.0000% T=1 Acc 0.0000%
106 adwhit T=1 Acc 0.0000% T=1 Acc 0.0000%
107 Bennett T=1 Acc 0.0000% T=1 Acc 0.0000%
108 Richard Cepka T=1 Acc 0.0000% T=1 Acc 0.0000%
109 Aqua T=1 Acc 0.0000% T=1 Acc 0.0000%
110 Edouardo Honig T=1 Acc 0.0000% T=1 Acc 0.0000%
111 Arpit Bansal T=1 Acc 0.0000% T=1 Acc 0.0000%
112 lucasian T=1 Acc 0.0000% T=1 Acc 0.0000%
113 Syed Rayyan Ali T=1 Acc 0.0000% T=1 Acc 0.0000%
114 digplan T=1 Acc 0.0000% T=1 Acc 0.0000%
115 Heath Sanchez T=1 Acc 0.0000% T=1 Acc 0.0000%
116 vatsalnar123 T=1 Acc 0.0000% T=1 Acc 0.0000%
117 Pradheep P T=1 Acc 0.0000% T=1 Acc 0.0000%
118 Ryan Teehan T=1 Acc 0.0000% T=1 Acc 0.0000%
119 Dhruv Rawat T=1 Acc 0.0000% T=1 Acc 0.0000%
120 Gabriel T=1 Acc 0.0000% T=1 Acc 0.0000%
121 Vaishnav Varma T=1 Acc 0.0000% T=1 Acc 0.0000%
122 Kaloyan Penchev T=1 Acc 0.0000% T=1 Acc 0.0000%
123 liam-gb T=1 Acc 0.0000% T=1 Acc 0.0000%
124 Rougee T=1 Acc 0.0000% T=1 Acc 0.0000%
125 Alex Kreimer T=1 Acc 0.0000% T=1 Acc 0.0000%
126 Michael T=1 Acc 0.0000% T=1 Acc 0.0000%
127 Matt T=1 Acc 0.0000% T=1 Acc 0.0000%
128 Collin T=1 Acc 0.0000% T=1 Acc 0.0000%
129 dastangosu T=1 Acc 0.0000% T=1 Acc 0.0000%
130 freegemini123 T=1 Acc 0.0000% T=1 Acc 0.0000%
131 Kusha Sareen T=1 Acc 0.0000% T=1 Acc 0.0000%
132 Divij T=1 Acc 0.0000% T=1 Acc 0.0000%
133 aditya test T=1 Acc 0.0000% T=1 Acc 0.0000%
134 Andrei Racila T=1 Acc 0.0000% T=1 Acc 0.0000%
135 reinhack T=1 Acc 0.0000% T=1 Acc 0.0000%