
Rhodes Scholar, Stats PhD @OATML_Oxford @oxCSML | @Forbes 30U30 2025 | Ex- @AmazonScience , @TechnionLive
Joined March 2022
- Tweets191
- Following517
- Followers302
- Likes11.2K
Pinned Tweet
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✨
Hen Davidov retweeted
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!
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?
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
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!
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…
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…
Hen Davidov retweeted
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?
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
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
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 🧵
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
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
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!
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
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
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
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✨
6/
And it's not just theory, it ships. 🛠️
value-steer: a pip-installable package built on vLLM. Plug a safety value head into serving via the supported --worker-cls surface.
One head → two modes: value-filtered decoding + dynamic abstention.
🔗 github.com/HenDav/value-stee…
7/
Work w/ Bat-Sheva Einbinder (co-lead), @yeewhye, @yaringal, @yaniv_romano.
📄 arxiv.org/abs/2605.14746
🛠️ github.com/HenDav/value-stee…
🤗 head: huggingface.co/HenDav/value-…
Come find us at AI4Good @ ICML 2026 🇰🇷




















