bayesilicon Profile Banner
Michael Hodel Profile
Michael Hodel

@bayesilicon

Followers
999
Following
817
Media
3
Statuses
100

writer (of programs)

Zurich, Switzerland
Joined November 2021
Don't wanna be here? Send us removal request.
@bayesilicon
Michael Hodel
1 month
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:
Tweet card summary image
github.com
Solutions to ARC Tasks for the Google Code Golf Championship - michaelhodel/arc-golfing
0
3
7
@MindsAI_Jack
Jack Cole
7 months
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
Tweet card summary image
kaggle.com
Create an AI capable of novel reasoning
4
17
138
@dvruette
Dimitri von Rütte
9 months
🚨 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
@yoshiyama_akira
Akira Yoshiyama ⁂
9 months
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
@tufalabs
Tufalabs
1 year
Today, MindsAI (@MindsAI_Jack @MohamedOsmanML @bayesilicon) becomes part of @tufalabs First assignment: complete the @arcprize challenge
2
8
30
@MindsAI_Jack
Jack Cole
1 year
Great presentation on some unique TTT ideas and experiments by Jonas Hübotter @tufalabs. https://t.co/kyZOcoJ7v3
3
23
162
@fchollet
François Chollet
1 year
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.
@sama
Sam Altman
1 year
@DavidSHolz @willdepue in your heart do you believe we’ve solved that one or no?
43
50
1K
@neurosp1ke
Andreas Köpf
1 year
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
@bayesilicon
Michael Hodel
1 year
very excited to win guys, it's been such a blast! let's goo
@MindsAI_Jack
Jack Cole
1 year
@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
@neurosp1ke
Andreas Köpf
1 year
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
@MLStreetTalk
Machine Learning Street Talk
1 year
I finally got to meet @fchollet in person recently to interview him about @arcprize, intelligence vs memorization, human cognitive development, learning abstractions, limits of pattern recognition and consciousness development. These are the best bits. Full show released tomorrow
9
55
514
@MohamedOsmanML
Mohamed Osman
1 year
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
@ellisk_kellis
Kevin Ellis
1 year
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
@MindsAI_Jack
Jack Cole
1 year
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 -
Tweet card summary image
kaggle.com
Create an AI capable of solving reasoning tasks it has never seen before
5
17
143
@bayesilicon
Michael Hodel
1 year
yes
@MindsAI_Jack
Jack Cole
1 year
I told you Michael Hodel was cooking something hot, but this is pure 🔥. Great work Michael. 🏆 Shall we go for 60?
0
0
17
@bayesilicon
Michael Hodel
1 year
just achieved a score of 53% on the @arcprize - what a feeling! @MindsAI_Jack @MohamedOsmanML lets gooo!
17
21
327
@WenhaoLi29
Wenhao Li
1 year
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
@bayesilicon
Michael Hodel
1 year
when ARC merch
@bryanlanders
Bryan Landers
1 year
Love working with this guy. @GregKamradt did an incredible job booking the @arcprize 2024 university tour. 6 down. 11 to go.
1
0
16
@arcprize
ARC Prize
1 year
New ARC-AGI high score! 48% (Prize goal: 85%) Congratulations, MindsAI!
26
32
422