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.

Easy 11,961Medium 2,704Hard 937
Submit an entry ↗ Detailed rules & criteria on GitHub ↗

Leaderboard

146 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 alirezashirvani-jr T=1 Acc 12.7604% T=1 Acc 0.0000%
5 Ali T=1 Acc 4.5573% T=1 Acc 0.0000%
6 Maxwells_Ayakashi T=1 Acc 1.6927% T=1 Acc 0.9115%
7 Daniël Heres T=1 Acc 0.7813% T=1 Acc 0.3906%
8 Frosty40 T=1 Acc 0.7813% T=1 Acc 0.3906%
9 priormancer T=1 Acc 0.7813% T=1 Acc 0.3906%
10 sharpchoc T=1 Acc 0.7813% T=1 Acc 0.3906%
11 Jez Ng T=1 Acc 0.7813% T=1 Acc 0.3906%
12 Doug Doan T=1 Acc 0.7813% T=1 Acc 0.3906%
13 Gusanidas T=1 Acc 0.7813% T=1 Acc 0.3906%
14 ipsa-loquitur T=1 Acc 0.7813% T=1 Acc 0.3906%
15 Kiarash Jamali T=1 Acc 0.7813% T=1 Acc 0.3906%
16 Zeyu Qin T=1 Acc 0.7813% T=1 Acc 0.3906%
17 Nikhil Kumar T=1 Acc 0.7813% T=1 Acc 0.3906%
18 Rougee T=1 Acc 0.7813% T=1 Acc 0.3906%
19 renoormalize T=1 Acc 0.6510% T=1 Acc 0.3906%
20 sourabh2k15 T=1 Acc 0.2604% T=1 Acc 0.0000%
21 Ryan Epstein T=1 Acc 0.2604% T=1 Acc 0.0000%
22 Kaushik Patnaik T=1 Acc 0.2604% T=1 Acc 0.0000%
23 Abhishek Shinde T=1 Acc 0.2604% T=1 Acc 0.0000%
24 dlyr3 T=1 Acc 0.2604% T=1 Acc 0.0000%
25 AHappyCPU T=1 Acc 0.1302% T=1 Acc 0.1302%
26 khushidahi T=1 Acc 0.1302% T=1 Acc 0.0000%
27 Nikhil Barhate T=1 Acc 0.1302% T=1 Acc 0.0000%
28 Abhi Upadhyay T=1 Acc 0.1302% T=1 Acc 0.0000%
29 Shan Chen T=1 Acc 0.1302% T=1 Acc 0.0000%
30 Chuk Uzowihe T=1 Acc 0.1302% T=1 Acc 0.0000%
31 Yumq123 T=1 Acc 0.1302% T=1 Acc 0.0000%
32 Sirish Gambhira T=1 Acc 0.1302% T=1 Acc 0.0000%
33 Ziyang Cai T=1 Acc 0.1302% T=1 Acc 0.0000%
34 im-a-king-but-im-far-from-a-saint T=1 Acc 0.1302% T=1 Acc 0.0000%
35 Jonathan Whitaker T=1 Acc 0.1302% T=1 Acc 0.0000%
36 mof T=1 Acc 0.1302% T=1 Acc 0.0000%
37 Edward Ngo T=1 Acc 0.1302% T=1 Acc 0.0000%
38 chad-atexpedient T=1 Acc 0.1302% T=1 Acc 0.0000%
39 Rudy Alvarez T=1 Acc 0.1302% T=1 Acc 0.0000%
40 msnow0 T=1 Acc 0.1302% T=1 Acc 0.0000%
41 Ertondy T=1 Acc 0.1302% T=1 Acc 0.0000%
42 AFeinfield T=1 Acc 0.1302% T=1 Acc 0.0000%
43 Jasper T=1 Acc 0.1302% T=1 Acc 0.0000%
44 Betancourt T=1 Acc 0.1302% T=1 Acc 0.0000%
45 Simon Zhang T=1 Acc 0.1302% T=1 Acc 0.0000%
46 pepinu T=1 Acc 0.1302% T=1 Acc 0.0000%
47 Ethan T=1 Acc 0.1302% T=1 Acc 0.0000%
48 koz T=1 Acc 0.1302% T=1 Acc 0.0000%
49 Deepak Vijaykeerthy T=1 Acc 0.1302% T=1 Acc 0.0000%
50 DDanlov T=1 Acc 0.1302% T=1 Acc 0.0000%
51 Ojasw Upadhyay T=1 Acc 0.1302% T=1 Acc 0.0000%
52 eig1n T=1 Acc 0.1302% T=1 Acc 0.0000%
53 Dmp T=1 Acc 0.1302% T=1 Acc 0.0000%
54 Liang He T=1 Acc 0.0000% T=1 Acc 0.1302%
55 Aakanksh Zarapkar T=1 Acc 0.0000% T=1 Acc 0.1302%
56 Blake Camp T=1 Acc 0.0000% T=1 Acc 0.1302%
57 Aman Priyanshu T=1 Acc 0.0000% T=1 Acc 0.1302%
58 Yusuf Mohammad T=1 Acc 0.0000% T=1 Acc 0.1302%
59 Sudarshan Nambiar T=1 Acc 0.0000% T=1 Acc 0.1302%
60 Chris T=1 Acc 0.0000% T=1 Acc 0.1302%
61 Yunjiang Jiang T=1 Acc 0.0000% T=1 Acc 0.1302%
62 Ali Abdul Rahim T=1 Acc 0.0000% T=1 Acc 0.1302%
63 Shinichiro Saito T=1 Acc 0.0000% T=1 Acc 0.1302%
64 Ayush Nangia T=1 Acc 0.0000% T=1 Acc 0.1302%
65 speedofsound5 T=1 Acc 0.0000% T=1 Acc 0.0000%
66 John Lussier T=1 Acc 0.0000% T=1 Acc 0.0000%
67 Colin Gordon T=1 Acc 0.0000% T=1 Acc 0.0000%
68 Jordan Rubin T=1 Acc 0.0000% T=1 Acc 0.0000%
69 PragsPud T=1 Acc 0.0000% T=1 Acc 0.0000%
70 Insop T=1 Acc 0.0000% T=1 Acc 0.0000%
71 Amr Hegazy T=1 Acc 0.0000% T=1 Acc 0.0000%
72 Ajinkya K Mulay T=1 Acc 0.0000% T=1 Acc 0.0000%
73 Akshay Kolli T=1 Acc 0.0000% T=1 Acc 0.0000%
74 Karthik Sethuraman T=1 Acc 0.0000% T=1 Acc 0.0000%
75 Karan Ganesan T=1 Acc 0.0000% T=1 Acc 0.0000%
76 Kaan Karakaya T=1 Acc 0.0000% T=1 Acc 0.0000%
77 Isaac Yong T=1 Acc 0.0000% T=1 Acc 0.0000%
78 paulv T=1 Acc 0.0000% T=1 Acc 0.0000%
79 Nathan Ordonez T=1 Acc 0.0000% T=1 Acc 0.0000%
80 Evan Walters T=1 Acc 0.0000% T=1 Acc 0.0000%
81 Haoyu Tang T=1 Acc 0.0000% T=1 Acc 0.0000%
82 Chris Wood T=1 Acc 0.0000% T=1 Acc 0.0000%
83 Andrea Miele T=1 Acc 0.0000% T=1 Acc 0.0000%
84 Mert Unsal T=1 Acc 0.0000% T=1 Acc 0.0000%
85 Arthur T=1 Acc 0.0000% T=1 Acc 0.0000%
86 TZZheng T=1 Acc 0.0000% T=1 Acc 0.0000%
87 Satyaki T=1 Acc 0.0000% T=1 Acc 0.0000%
88 Harmya Bhatt T=1 Acc 0.0000% T=1 Acc 0.0000%
89 SunstarK T=1 Acc 0.0000% T=1 Acc 0.0000%
90 Aizenn T=1 Acc 0.0000% T=1 Acc 0.0000%
91 Mingqian Yu T=1 Acc 0.0000% T=1 Acc 0.0000%
92 congxie1108 T=1 Acc 0.0000% T=1 Acc 0.0000%
93 Rohan Sehgal T=1 Acc 0.0000% T=1 Acc 0.0000%
94 Laz4rz T=1 Acc 0.0000% T=1 Acc 0.0000%
95 Nirmal Patel T=1 Acc 0.0000% T=1 Acc 0.0000%
96 Subhrajit Makur T=1 Acc 0.0000% T=1 Acc 0.0000%
97 Rishi Gottumukkala T=1 Acc 0.0000% T=1 Acc 0.0000%
98 Pritesh raj T=1 Acc 0.0000% T=1 Acc 0.0000%
99 Gaurav Mishra T=1 Acc 0.0000% T=1 Acc 0.0000%
100 sbstndb/sbstndbs T=1 Acc 0.0000% T=1 Acc 0.0000%
101 Doğaç Eldenk T=1 Acc 0.0000% T=1 Acc 0.0000%
102 Andre Kreidemann T=1 Acc 0.0000% T=1 Acc 0.0000%
103 Anirudh S Chakravarthy T=1 Acc 0.0000% T=1 Acc 0.0000%
104 Anish Lakkapragada T=1 Acc 0.0000% T=1 Acc 0.0000%
105 yfff T=1 Acc 0.0000% T=1 Acc 0.0000%
106 Stanley Wei T=1 Acc 0.0000% T=1 Acc 0.0000%
107 Marco Fleming T=1 Acc 0.0000% T=1 Acc 0.0000%
108 Ashwin Kumar T=1 Acc 0.0000% T=1 Acc 0.0000%
109 adwhit T=1 Acc 0.0000% T=1 Acc 0.0000%
110 Bennett T=1 Acc 0.0000% T=1 Acc 0.0000%
111 Richard Cepka T=1 Acc 0.0000% T=1 Acc 0.0000%
112 Aqua T=1 Acc 0.0000% T=1 Acc 0.0000%
113 Edouardo Honig T=1 Acc 0.0000% T=1 Acc 0.0000%
114 Arpit Bansal T=1 Acc 0.0000% T=1 Acc 0.0000%
115 lucasian T=1 Acc 0.0000% T=1 Acc 0.0000%
116 Syed Rayyan Ali T=1 Acc 0.0000% T=1 Acc 0.0000%
117 digplan T=1 Acc 0.0000% T=1 Acc 0.0000%
118 Heath Sanchez T=1 Acc 0.0000% T=1 Acc 0.0000%
119 vatsalnar123 T=1 Acc 0.0000% T=1 Acc 0.0000%
120 Pradheep P T=1 Acc 0.0000% T=1 Acc 0.0000%
121 Ryan Teehan T=1 Acc 0.0000% T=1 Acc 0.0000%
122 Dhruv Rawat T=1 Acc 0.0000% T=1 Acc 0.0000%
123 Gabriel T=1 Acc 0.0000% T=1 Acc 0.0000%
124 Vaishnav Varma T=1 Acc 0.0000% T=1 Acc 0.0000%
125 Kaloyan Penchev T=1 Acc 0.0000% T=1 Acc 0.0000%
126 liam-gb T=1 Acc 0.0000% T=1 Acc 0.0000%
127 Alex Kreimer T=1 Acc 0.0000% T=1 Acc 0.0000%
128 Michael T=1 Acc 0.0000% T=1 Acc 0.0000%
129 Matt T=1 Acc 0.0000% T=1 Acc 0.0000%
130 Collin T=1 Acc 0.0000% T=1 Acc 0.0000%
131 dastangosu T=1 Acc 0.0000% T=1 Acc 0.0000%
132 freegemini123 T=1 Acc 0.0000% T=1 Acc 0.0000%
133 Kusha Sareen T=1 Acc 0.0000% T=1 Acc 0.0000%
134 Divij T=1 Acc 0.0000% T=1 Acc 0.0000%
135 aditya test T=1 Acc 0.0000% T=1 Acc 0.0000%
136 Andrei Racila T=1 Acc 0.0000% T=1 Acc 0.0000%
137 reinhack T=1 Acc 0.0000% T=1 Acc 0.0000%
138 Adam Brzosko T=1 Acc 0.0000% T=1 Acc 0.0000%
139 Low Keng Hoong, Warren T=1 Acc 0.0000% T=1 Acc 0.0000%
140 LauraGomezjurado T=1 Acc 0.0000% T=1 Acc 0.0000%
141 Alif Jakir T=1 Acc 0.0000% T=1 Acc 0.0000%
142 Cree0618 T=1 Acc 0.0000% T=1 Acc 0.0000%
143 LongView-dev T=1 Acc 0.0000% T=1 Acc 0.0000%
144 msisovic T=1 Acc 0.0000% T=1 Acc 0.0000%
145 Shreyash T=1 Acc 0.0000% T=1 Acc 0.0000%
146 Varun Srivastava T=1 Acc 0.0000% T=1 Acc 0.0000%