Michael Hodel
@bayesilicon
Followers
999
Following
817
Media
3
Statuses
100
writer (of programs)
Zurich, Switzerland
Joined November 2021
Just made a repository with golfed solutions to ARC-AGI-1-train for the NeurIPS 2025 Google Code Golf Championship as well as some golfing tricks that I learned:
github.com
Solutions to ARC Tasks for the Google Code Golf Championship - michaelhodel/arc-golfing
0
3
7
There's been significant recent progress in the NanoGPT speedrun. Highly recommend this post by @classiclarryd
https://t.co/QNoI4wVAJg
lesswrong.com
In early 2024 Andrej Karpathy stood up an llm.c repo to train GPT-2 (124M), which took an equivalent of 45 minutes on 8xH100 GPUs to reach 3.28 cross…
11
57
516
Excited to advance our lead and SoTA score on ARC-AGI-2 (@arcprize) by 3 points to 15.28. @DriesSmit1 @MohamedOsmanML @bayesilicon @GregKamradt @tufalabs
https://t.co/GCJvSlO0hm
kaggle.com
Create an AI capable of novel reasoning
4
17
138
🚨 NEW PAPER DROP! Wouldn't it be nice if LLMs could spot and correct their own mistakes? And what if we could do so directly from pre-training, without any SFT or RL? We present a new class of discrete diffusion models, called GIDD, that are able to do just that: 🧵1/12
21
160
1K
Happy to announce we outperformed @OpenAI o1 with a 7B model :) We released two self-improvement methods for verifiable domains in our preliminary paper -->
106
249
4K
Today, MindsAI (@MindsAI_Jack @MohamedOsmanML @bayesilicon) becomes part of @tufalabs First assignment: complete the @arcprize challenge
2
8
30
Great presentation on some unique TTT ideas and experiments by Jonas Hübotter @tufalabs. https://t.co/kyZOcoJ7v3
3
23
162
Consulting my heart... Ok, looks like you haven't. But whenever you have a SotA (or close) solution built on top of the OpenAI API we're more than happy to verify it and add it to the public ARC Prize leaderboard. Anything using less than $10k worth of API calls is eligible.
@DavidSHolz @willdepue in your heart do you believe we’ve solved that one or no?
43
50
1K
ARC prize 2024 🥈place paper by the ARChitects who scored 53.5 (56.5): https://t.co/2rrtqJgRNL - Transformers/LLMs are for ARC what ConvNets were for Imagenet - strong base model, TTT, specialized datasets (e.g. @bayesilicon’s re-arc) + novel: DFS sampling with LLM critique
3
28
146
very excited to win guys, it's been such a blast! let's goo
@arcprize 2024 with more than 16k entrants just ended after 5 months, and we rank #1 (@bayesilicon @MohamedOsmanML)! We just scored 58% with a submission that finished after the deadline! We're just getting started. We hope to have an announcement about @tufalabs soon.
6
1
48
Have been working on my 2nd synthetic ARC riddle generator (agent: ideation -> prog generation). Got >1k diverse generator+solver pairs as PoC so far. Some nice examples:
4
14
113
We got upto 55.5% on the @arcprize leaderboard today! Progress towards the 60.2 % milestone of median human performance reported by https://t.co/lH4lIViiLh is not slowing down. @MindsAI_Jack @bayesilicon
7
20
113
New ARC-AGI paper @arcprize w/ fantastic collaborators @xu3kev @HuLillian39250 @ZennaTavares @evanthebouncy @BasisOrg For few-shot learning: better to construct a symbolic hypothesis/program, or have a neural net do it all, ala in-context learning? https://t.co/zcmxoQzv92
18
164
900
New SoTA on ARC-AGI. Nothing like the synergy of an awesome team (@bayesilicon @MohamedOsmanML). From 53 to 54.5 today. Onward and upward! 🚀 @arcprize @mikeknoop @fchollet @bryanlanders @GregKamradt @MLStreetTalk First. #kaggle -
kaggle.com
Create an AI capable of solving reasoning tasks it has never seen before
5
17
143
just achieved a score of 53% on the @arcprize - what a feeling! @MindsAI_Jack @MohamedOsmanML lets gooo!
17
21
327
We trained a Vision Transformer to solve ONE single task from @fchollet and @mikeknoop’s @arcprize. Unexpectedly, it failed to produce the test output, even when using 1 MILLION examples! Why is this the case? 🤔
29
128
1K
when ARC merch
Love working with this guy. @GregKamradt did an incredible job booking the @arcprize 2024 university tour. 6 down. 11 to go.
1
0
16
New ARC-AGI high score! 48% (Prize goal: 85%) Congratulations, MindsAI!
26
32
422