Rhodes Scholar, Stats PhD @OATML_Oxford @oxCSML | @Forbes 30U30 2025 | Ex- @AmazonScience , @TechnionLive

Joined March 2022
1/ 🧵 Decoding-time safety methods improve LLM safety, but they rewrite *safe* generations too, an "alignment tax" on helpfulness. Value-Filtered Decoding steers only when needed, with a calibrated bound on how often we touch safe outputs. 📄Accepted at AI4Good @ ICML 2026✨
3
11
46
12,437
Replying to @NeurIPSConf
@NeurIPSConf 2026, here we come! 🚀 The @OxfordYss is thrilled to celebrate 12 main-track papers accepted from our members and their supervisors! 🎉 Many of us will be in Sydney 🇦🇺, Paris 🇫🇷 and Atlanta 🇺🇸 — come say hi!
4
8
145
Hen Davidov retweeted
AI has solved Navier-Stokes. What would it take for AI to make similar advances in life sciences? In our latest preprint, led by @AdaFang_, we argue that, while fields like mathematics and programming can cheaply evaluate many AI-generated candidates at scale, "closing the loop" of hypothesis ➡️ experiment ➡️ revised hypothesis remains a central bottleneck in AI-driven biomedical discovery. We outline a vision for autonomous AI scientists that: 🧠 Reason over scientific knowledge, multimodal data, competing hypotheses, and uncertainty across multi-loop campaigns lasting days to months. 🔬 Learn under sparse and delayed feedback, combining soft verifiers (e.g., simulations, predictive models, and biological world models) with hard verifiers such as wet lab assays, robotic experiments, organoids, and clinical studies. 🎯 Allocate limited experimental budgets to tests with the greatest expected information gain. We suggest that achieving this vision will require advances in long-horizon reasoning, process-based evaluation, uncertainty-aware exploration, self-driving laboratories, and human-on-the-loop oversight. Read our paper here: preprints.org/manuscript/202… More details below from @marinkazitnik. 👇🏽
Closed-loop AI scientists AI can generate hypotheses much faster than we can experimentally verify them. @AdaFang_ In our latest piece on Closing the Loop in AI-Driven Biomedical Discovery we outline a path for closed-loop AI scientists, preprints.org/manuscript/202… AI scientists can generate hypotheses, propose experiments, and analyze data, and several have produced findings that laboratories then confirmed. What would it take to close that loop more generally?
3
11
2
87
12,699
Hen Davidov retweeted
TL;DR: This is one of the most important and exciting opportunities in AI on the planet - please read on. The British Open-ended Learning & Discovery Lab is creating the perfect place for paradigm breaking AI research in the name of open-source and open-science. We have agency, we funding, we have unprecedented amounts of compute*, but WE NEED YOU! ..and we have created the dream job for you: The BOLD Fellow. This job combines a fast-moving, high agency, collaborative environment with full academic freedom and a salary that pays the bills. Apply by noon UK time on the 15th of September for this once in a lifetime opportunity to shape the history of our field and of our planet: my.corehr.com/pls/uoxrecruit… *by academic standards
20
96
23
445
122,186
Hen Davidov retweeted
🚀 I’m hiring! We’re looking for a Research Assistant in AI Safety to join us at @OATML_Oxford and work with @yaringal and me on generative AI, safety & security. 📅 Apply by 11 September 2026 🔗 cs.ox.ac.uk/news/2543-full.h… Please share with anyone who might be interested!
8
40
392
22,543
Hen Davidov retweeted
Want to selectively intervene in LLM generations, or refuse dynamically mid-generation? 🛑 value-steer v0.2 is out, now with batched inference in both compiled and eager mode ⚡ 📦 pip install value-steer 🔗 github.com/HenDav/value-stee…
1
5
195
Want to selectively intervene in LLM generations, or refuse dynamically mid-generation? 🛑 value-steer v0.2 is out, now with batched inference in both compiled and eager mode ⚡ 📦 pip install value-steer 🔗 github.com/HenDav/value-stee…
1
5
195
Trying to read the book Mathematical Foundations of Deep Learning, and already thrown off by how folks in ML/AI reinvent the wheel as to something as basic as linear regression: arxiv.org/pdf/2603.18387 Relabeling parameters as "weights" and the intercept as "bias" seems quite unnecessary! Also do they really need to redo the famous econometrics estimator for beta-hat by relabeling it as theta-star?
10
92
4
1,046
76,816
Hen Davidov retweeted
The GLEE Competition launched just 24 hours ago, and participants’ agents have already played more than 20,000 games! Build an AI agent that can bargain, negotiate, and persuade other agents or humans, and compete for US$6,000 in prizes. glee-competition.com
2
4
1
10
468
Note to the broader AI research community: The fact that you can draw a result does not make it "geometric". Kind regards, A guy that has witnessed the horrors and beauty of computational geometry
17
1,509
Wild times
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol. I have a math background, but the Codex workflow I used does not require deep mathematical knowledge. Here’s exactly how I approached it, including my prompts 🧵
6
1,240
Hen Davidov retweeted
Quick challange - can you spot me in the crowd? Pure madness @icmlconf. So grateful to talk about inference time refusal and steering with so many talented researchers. 🔗 Knowing When to Quit - arxiv.org/abs/2604.18419v6 🔗 Selective Safety Steering - arxiv.org/abs/2605.14746
4
30
2,672
Quick challange - can you spot me in the crowd? Pure madness @icmlconf. So grateful to talk about inference time refusal and steering with so many talented researchers. 🔗 Knowing When to Quit - arxiv.org/abs/2604.18419v6 🔗 Selective Safety Steering - arxiv.org/abs/2605.14746
4
30
2,672
How do we intervene in LLM sampling minimally, effectively and efficiently? Come visit poster 1601, 8:50 to 10:00 and 14:45 to 15:30, to hear more!
1
11
1,379
Hen Davidov retweeted
Come talk about efficient & effective inference-time alignment and refusal @icmlconf!🇰🇷 🔹 Knowing When to Quit (main), Tue 10:30–12:15, poster #2010 - arxiv.org/abs/2604.18419 🔹 Value-Filtered Decoding (AI4Good), Friday 8:50–10:00 & 14:45–15:00 - arxiv.org/abs/2605.14746
1
3
1
17
2,259
Come talk about efficient & effective inference-time alignment and refusal @icmlconf!🇰🇷 🔹 Knowing When to Quit (main), Tue 10:30–12:15, poster #2010 - arxiv.org/abs/2604.18419 🔹 Value-Filtered Decoding (AI4Good), Friday 8:50–10:00 & 14:45–15:00 - arxiv.org/abs/2605.14746
1
3
1
17
2,259
Hen Davidov retweeted
1/ 🧵 Decoding-time safety methods improve LLM safety, but they rewrite *safe* generations too, an "alignment tax" on helpfulness. Value-Filtered Decoding steers only when needed, with a calibrated bound on how often we touch safe outputs. 📄Accepted at AI4Good @ ICML 2026✨
3
11
46
12,437