
UCL DARK
@UCL_DARK
Followers
4K
Following
786
Media
59
Statuses
730
UCL Deciding, Acting, and Reasoning with Knowledge (DARK) Lab at @AI_UCL led by @_rockt, @egrefen, @robertarail, and @jparkerholder.
London
Joined July 2020
RT @PaglieriDavide: 🔥 Oh boy, here we go — GPT-5 enters Like everyone, we had sky-high expectations for GPT-5; ho….
0
2
0
RT @zhengyaojiang: Thrilled to announce Weco has raised an $8M seed led by @GoldenVentures to build self-evolving software!. Our technology….
0
13
0
RT @PaglieriDavide: This claim is wrong, this is a screenshot of the benchmark leaderboard, not the IMO leaderboard….
0
1
0
RT @PaglieriDavide: Grok-4 barely snatches the podium from Gemini 2.5 Pro, their results being within standard error of each other. One ta….
0
1
0
RT @PaglieriDavide: LLMs acing math olympiads? Cute. But BALROG is where agents fight dragons (and actual Balrogs)🐉😈. And today, Grok-4 (@….
0
834
0
RT @akbirkhan: here is my thesis “Safe Automated Research”. i worked on 3 approaches to make sure we can trust the output of automated rese….
0
14
0
RT @silviasapora: 🧵 Check out our latest preprint: "Programming by Backprop". What if LLMs could internalize algorithms just by reading cod….
0
20
0
RT @JonnyCoook: Can an LLM be programmed?. In our new preprint, we show that LLMs can learn to evaluate programs for a range of inputs by b….
0
32
0
New collaboration between @FLAIR_Ox and DARK 🚀.
LLMs can be programmed by backprop 🔎. In our new preprint, we show they can act as fuzzy program interpreters and databases. After being ‘programmed’ with next-token prediction, they can retrieve, evaluate, and even *compose* programs at test time, without seeing I/O examples.
0
0
3
RT @PaglieriDavide: Gemini 2.5 Pro completes Pokémon Blue 🤯🔥. But how does it fare in much harder, more unforgiving games?. On NetHack, it….
0
4
0
RT @LauraRuis: This got accepted to #ICML2025 as a *spotlight paper* (top 2.6%!) 🚀 --- work that @_yixu did as an Msc student! Surely this….
0
10
0
RT @_samvelyan: What an amazing and thought-provoking talk by @robertarail. Despite all the recent progress, we’re still far from AI agents….
0
12
0
RT @robertarail: Indeed, plenty of open research problems to work on, despite the hype of AI automating all AI research.
0
5
0
RT @ishitamed: @robertarail made a strong case today in her talk. No need to worry about AI saturating research — there are still plenty of….
0
3
0
RT @jparkerholder: Excited to share our progress in scaling foundation world models with a packed room at @iclr_conf.
0
4
0
RT @_samvelyan: Incredible keynote by @_rockt! Some might fear that open-endedness is a disease for AI safety; I say it might be the remedy….
0
10
0
RT @robertarail: Such an inspiring and thought-provoking keynote talk by @_rockt at #ICLR2025 highlighting a promising path towards aut….
0
8
0
RT @katjahofmann: @_rockt - congratulations on such an exciting @iclr_conf keynote! A case for world models as step to open ended agent lea….
0
2
0