Tim van Erven
@timvanerven.nl
Associate professor in machine learning at the University of Amsterdam. Topics: (online) learning theory and the mathematics of explainable AI.
www.timvanerven.nl
Theory of Interpretable AI seminar: https://tverven.github.io/tiai-seminar
www.timvanerven.nl
Theory of Interpretable AI seminar: https://tverven.github.io/tiai-seminar
Looking forward to the next “Theory of Interpretable AI” seminar on January 15, where Chhavi Yadav will present "ExpProof"! A fresh take on trustworthy explanations for confidential ML models using Zero-Knowledge Proofs. Feel free to join! #interpretability #Crypto
tverven.github.io/tiai-seminar/
tverven.github.io/tiai-seminar/
January 9, 2026 at 8:24 AM
Looking forward to the next “Theory of Interpretable AI” seminar on January 15, where Chhavi Yadav will present "ExpProof"! A fresh take on trustworthy explanations for confidential ML models using Zero-Knowledge Proofs. Feel free to join! #interpretability #Crypto
tverven.github.io/tiai-seminar/
tverven.github.io/tiai-seminar/
Reposted by Tim van Erven
New blog post (on a shiny new ICML blog!): What's New in #ICML2026 Peer Review
Some highlights:
- Policies to combat thinly sliced contributions
- Cascading desk rejections for peer-review abuse
- Reviewer reciprocity
- New ways to support authors and reviewers
Post: blog.icml.cc/2026/01/08/w...
Some highlights:
- Policies to combat thinly sliced contributions
- Cascading desk rejections for peer-review abuse
- Reviewer reciprocity
- New ways to support authors and reviewers
Post: blog.icml.cc/2026/01/08/w...
January 8, 2026 at 5:26 PM
New blog post (on a shiny new ICML blog!): What's New in #ICML2026 Peer Review
Some highlights:
- Policies to combat thinly sliced contributions
- Cascading desk rejections for peer-review abuse
- Reviewer reciprocity
- New ways to support authors and reviewers
Post: blog.icml.cc/2026/01/08/w...
Some highlights:
- Policies to combat thinly sliced contributions
- Cascading desk rejections for peer-review abuse
- Reviewer reciprocity
- New ways to support authors and reviewers
Post: blog.icml.cc/2026/01/08/w...
In case you missed Ayman's talk, here is the video: youtu.be/KunGyRGbRdk
December 11, 2025 at 4:20 PM
In case you missed Ayman's talk, here is the video: youtu.be/KunGyRGbRdk
Happening today!
Ayman will present at the Theory of Interpretability Seminar!
He’ll share a new approach for optimal, interpretable decision trees with strong efficiency guarantees. 🌳✨
🗓️ Join us to learn how AO* search leads to provably better sparse trees!
tverven.github.io/tiai-seminar/
He’ll share a new approach for optimal, interpretable decision trees with strong efficiency guarantees. 🌳✨
🗓️ Join us to learn how AO* search leads to provably better sparse trees!
tverven.github.io/tiai-seminar/
December 11, 2025 at 9:08 AM
Happening today!
Ayman will present at the Theory of Interpretability Seminar!
He’ll share a new approach for optimal, interpretable decision trees with strong efficiency guarantees. 🌳✨
🗓️ Join us to learn how AO* search leads to provably better sparse trees!
tverven.github.io/tiai-seminar/
He’ll share a new approach for optimal, interpretable decision trees with strong efficiency guarantees. 🌳✨
🗓️ Join us to learn how AO* search leads to provably better sparse trees!
tverven.github.io/tiai-seminar/
December 9, 2025 at 9:19 AM
Ayman will present at the Theory of Interpretability Seminar!
He’ll share a new approach for optimal, interpretable decision trees with strong efficiency guarantees. 🌳✨
🗓️ Join us to learn how AO* search leads to provably better sparse trees!
tverven.github.io/tiai-seminar/
He’ll share a new approach for optimal, interpretable decision trees with strong efficiency guarantees. 🌳✨
🗓️ Join us to learn how AO* search leads to provably better sparse trees!
tverven.github.io/tiai-seminar/
When reading a large literature, it is really helpful to have opinionated opinions that help to categorize papers.
One of mine for explainable AI is that methods need to address a fundamental limit in how much information can be communicated.
Blog post: www.timvanerven.nl/blog/xai-com... (no math)
One of mine for explainable AI is that methods need to address a fundamental limit in how much information can be communicated.
Blog post: www.timvanerven.nl/blog/xai-com... (no math)
The Central Challenge in Explainable AI: Channel Capacity
Explainable AI is about communication: we want to tell people how or whya machine learning model is making certain decisions. Why is this sodifficult? In this post I take an information-theoretic pers...
www.timvanerven.nl
November 21, 2025 at 1:11 PM
When reading a large literature, it is really helpful to have opinionated opinions that help to categorize papers.
One of mine for explainable AI is that methods need to address a fundamental limit in how much information can be communicated.
Blog post: www.timvanerven.nl/blog/xai-com... (no math)
One of mine for explainable AI is that methods need to address a fundamental limit in how much information can be communicated.
Blog post: www.timvanerven.nl/blog/xai-com... (no math)
Reposted by Tim van Erven
Our libraries are cutting staff so that Elsevier can have its 32% profit margin
A staggering statistic: "North American researchers were charged over US$2.27 billion by just two for-profit publishers. The Canadian research councils and the US National Science Foundation were allocated US$9.3 billion in that year." What are we doing?
We wrote the Strain on scientific publishing to highlight the problems of time & trust. With a fantastic group of co-authors, we present The Drain of Scientific Publishing:
a 🧵 1/n
Drain: arxiv.org/abs/2511.04820
Strain: direct.mit.edu/qss/article/...
Oligopoly: direct.mit.edu/qss/article/...
a 🧵 1/n
Drain: arxiv.org/abs/2511.04820
Strain: direct.mit.edu/qss/article/...
Oligopoly: direct.mit.edu/qss/article/...
November 14, 2025 at 1:37 AM
Our libraries are cutting staff so that Elsevier can have its 32% profit margin
Reposted by Tim van Erven
The schedule for our Workshop on the Theory of XAI is now online!
🕰️ Dec 2, starting 9am
📍 Bella Center Copenhagen (co-located with EurIPS)
🔗 sites.google.com/view/theory-...
🕰️ Dec 2, starting 9am
📍 Bella Center Copenhagen (co-located with EurIPS)
🔗 sites.google.com/view/theory-...
Theory of XAI Workshop
Explainable AI (XAI) is now deployed across a wide range of settings, including high-stakes domains in which misleading explanations can cause real harm. For example, explanations are required by law ...
sites.google.com
November 12, 2025 at 10:45 AM
The schedule for our Workshop on the Theory of XAI is now online!
🕰️ Dec 2, starting 9am
📍 Bella Center Copenhagen (co-located with EurIPS)
🔗 sites.google.com/view/theory-...
🕰️ Dec 2, starting 9am
📍 Bella Center Copenhagen (co-located with EurIPS)
🔗 sites.google.com/view/theory-...
Great seminar talk by @ulrikeluxburg.bsky.social yesterday.
Here's the video if you missed it: youtu.be/zR_GvDF65OM
Seminar info: tverven.github.io/tiai-seminar/
Here's the video if you missed it: youtu.be/zR_GvDF65OM
Seminar info: tverven.github.io/tiai-seminar/
November 12, 2025 at 8:06 AM
Great seminar talk by @ulrikeluxburg.bsky.social yesterday.
Here's the video if you missed it: youtu.be/zR_GvDF65OM
Seminar info: tverven.github.io/tiai-seminar/
Here's the video if you missed it: youtu.be/zR_GvDF65OM
Seminar info: tverven.github.io/tiai-seminar/
Happening in two hours.
Coming up tomorrow (Tuesday 11 Nov) in the Theory of Interpretability seminar: Ulrike von Luxburg will discuss why
informative explanations only exist for simple functions 👀
tverven.github.io/tiai-seminar/
informative explanations only exist for simple functions 👀
tverven.github.io/tiai-seminar/
November 11, 2025 at 1:01 PM
Happening in two hours.
Coming up tomorrow (Tuesday 11 Nov) in the Theory of Interpretability seminar: Ulrike von Luxburg will discuss why
informative explanations only exist for simple functions 👀
tverven.github.io/tiai-seminar/
informative explanations only exist for simple functions 👀
tverven.github.io/tiai-seminar/
November 10, 2025 at 9:57 AM
Coming up tomorrow (Tuesday 11 Nov) in the Theory of Interpretability seminar: Ulrike von Luxburg will discuss why
informative explanations only exist for simple functions 👀
tverven.github.io/tiai-seminar/
informative explanations only exist for simple functions 👀
tverven.github.io/tiai-seminar/
Reposted by Tim van Erven
Here is a formal impossibility result for XAI: Informative Post-Hoc Explanations Only Exist for Simple Functions. I'll give an online presentation about this work next tuesday in @timvanerven.nl 's Theory of Interpretable AI Seminar:
arxiv.org/abs/2508.11441
tverven.github.io/tiai-seminar/
arxiv.org/abs/2508.11441
tverven.github.io/tiai-seminar/
November 7, 2025 at 6:25 AM
Here is a formal impossibility result for XAI: Informative Post-Hoc Explanations Only Exist for Simple Functions. I'll give an online presentation about this work next tuesday in @timvanerven.nl 's Theory of Interpretable AI Seminar:
arxiv.org/abs/2508.11441
tverven.github.io/tiai-seminar/
arxiv.org/abs/2508.11441
tverven.github.io/tiai-seminar/
Reposted by Tim van Erven
The blog post is available: blog.arxiv.org/2025/10/31/a...
November 1, 2025 at 5:06 PM
The blog post is available: blog.arxiv.org/2025/10/31/a...
I am recruiting via Ellis for a PhD position to develop mathematical foundations for explainable AI.
Benefits:
- Do new fundamental math / machine learning theory on a societally important topic
- Part of a team
- Good conditions in Amsterdam, NL
Applications via Ellis PhD program before Oct. 31.
Benefits:
- Do new fundamental math / machine learning theory on a societally important topic
- Part of a team
- Good conditions in Amsterdam, NL
Applications via Ellis PhD program before Oct. 31.
October 23, 2025 at 9:02 AM
I am recruiting via Ellis for a PhD position to develop mathematical foundations for explainable AI.
Benefits:
- Do new fundamental math / machine learning theory on a societally important topic
- Part of a team
- Good conditions in Amsterdam, NL
Applications via Ellis PhD program before Oct. 31.
Benefits:
- Do new fundamental math / machine learning theory on a societally important topic
- Part of a team
- Good conditions in Amsterdam, NL
Applications via Ellis PhD program before Oct. 31.
The video for Shahaf's talk is now available: youtu.be/AsJB4kym4Tc
See the seminar website for upcoming talks: tverven.github.io/tiai-seminar/
See the seminar website for upcoming talks: tverven.github.io/tiai-seminar/
October 21, 2025 at 3:17 PM
The video for Shahaf's talk is now available: youtu.be/AsJB4kym4Tc
See the seminar website for upcoming talks: tverven.github.io/tiai-seminar/
See the seminar website for upcoming talks: tverven.github.io/tiai-seminar/
Happening tomorrow, October 21!
The next talk in the Theory of Interpretable AI seminar will be by Shahaf Bassan on "The Computational Complexity of Explaining ML Models".
Tuesday October 21
tverven.github.io/tiai-seminar/
Tuesday October 21
tverven.github.io/tiai-seminar/
October 20, 2025 at 2:42 PM
Happening tomorrow, October 21!
The next talk in the Theory of Interpretable AI seminar will be by Shahaf Bassan on "The Computational Complexity of Explaining ML Models".
Tuesday October 21
tverven.github.io/tiai-seminar/
Tuesday October 21
tverven.github.io/tiai-seminar/
October 16, 2025 at 1:59 PM
The next talk in the Theory of Interpretable AI seminar will be by Shahaf Bassan on "The Computational Complexity of Explaining ML Models".
Tuesday October 21
tverven.github.io/tiai-seminar/
Tuesday October 21
tverven.github.io/tiai-seminar/
Reposted by Tim van Erven
How can we make AI explanations provably correct — not just convincing? 🤔
Join us for the Theory of Explainable Machine Learning Workshop, part of the ELLIS UnConference Copenhagen 🇩🇰 on Dec 2, co-located with #EurIPS.
🕒 Call for contributions open until Oct 15 (AoE)
🔗 eurips.cc/ellis
Join us for the Theory of Explainable Machine Learning Workshop, part of the ELLIS UnConference Copenhagen 🇩🇰 on Dec 2, co-located with #EurIPS.
🕒 Call for contributions open until Oct 15 (AoE)
🔗 eurips.cc/ellis
October 13, 2025 at 9:10 AM
How can we make AI explanations provably correct — not just convincing? 🤔
Join us for the Theory of Explainable Machine Learning Workshop, part of the ELLIS UnConference Copenhagen 🇩🇰 on Dec 2, co-located with #EurIPS.
🕒 Call for contributions open until Oct 15 (AoE)
🔗 eurips.cc/ellis
Join us for the Theory of Explainable Machine Learning Workshop, part of the ELLIS UnConference Copenhagen 🇩🇰 on Dec 2, co-located with #EurIPS.
🕒 Call for contributions open until Oct 15 (AoE)
🔗 eurips.cc/ellis
Reposted by Tim van Erven
🎓 Ready to expand your horizons in #AI research? Do your PhD with 2 leading academic institutions across Europe and build your international network with the Academic Track in the #ELLISPhD Program.
Apply now via our central recruiting portal until Oct 31.
👉 All info: https://bit.ly/45DSe75
Apply now via our central recruiting portal until Oct 31.
👉 All info: https://bit.ly/45DSe75
October 10, 2025 at 1:10 PM
🎓 Ready to expand your horizons in #AI research? Do your PhD with 2 leading academic institutions across Europe and build your international network with the Academic Track in the #ELLISPhD Program.
Apply now via our central recruiting portal until Oct 31.
👉 All info: https://bit.ly/45DSe75
Apply now via our central recruiting portal until Oct 31.
👉 All info: https://bit.ly/45DSe75
Reposted by Tim van Erven
Looking forward to talking about our work on the value of explanation for decision-making at this workshop
Interested in provable guarantees and fundamental limitations of XAI? Join us at the "Theory of Explainable AI" workshop Dec 2 in Copenhagen! @ellis.eu @euripsconf.bsky.social
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Theory of XAI Workshop
Explainable AI (XAI) is now deployed across a wide range of settings, including high-stakes domains in which misleading explanations can cause real harm. For example, explanations are required by law ...
sites.google.com
October 7, 2025 at 2:32 PM
Looking forward to talking about our work on the value of explanation for decision-making at this workshop
Reposted by Tim van Erven
Interested in provable guarantees and fundamental limitations of XAI? Join us at the "Theory of Explainable AI" workshop Dec 2 in Copenhagen! @ellis.eu @euripsconf.bsky.social
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Theory of XAI Workshop
Explainable AI (XAI) is now deployed across a wide range of settings, including high-stakes domains in which misleading explanations can cause real harm. For example, explanations are required by law ...
sites.google.com
October 7, 2025 at 6:27 PM
Excellent bachelor's thesis by my student David van Batenburg with a mathematically rigorous treatment of the axiomatic characterization of Shapley values for feature attribution:
arxiv.org/abs/2510.03281
Clears up and corrects many math aspects that tripped me up when first learning about SHAP.
arxiv.org/abs/2510.03281
Clears up and corrects many math aspects that tripped me up when first learning about SHAP.
Mathematically rigorous proofs for Shapley explanations
Machine Learning is becoming increasingly more important in today's world. It is therefore very important to provide understanding of the decision-making process of machine-learning models. A popular ...
arxiv.org
October 7, 2025 at 1:42 PM
Excellent bachelor's thesis by my student David van Batenburg with a mathematically rigorous treatment of the axiomatic characterization of Shapley values for feature attribution:
arxiv.org/abs/2510.03281
Clears up and corrects many math aspects that tripped me up when first learning about SHAP.
arxiv.org/abs/2510.03281
Clears up and corrects many math aspects that tripped me up when first learning about SHAP.
Reposted by Tim van Erven
Interested in provable guarantees and fundamental limitations of XAI? Join us at the "Theory of Explainable AI" workshop Dec 2 in Copenhagen! @ellis.eu @euripsconf.bsky.social
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Theory of XAI Workshop
Explainable AI (XAI) is now deployed across a wide range of settings, including high-stakes domains in which misleading explanations can cause real harm. For example, explanations are required by law ...
sites.google.com
October 7, 2025 at 12:53 PM
Interested in provable guarantees and fundamental limitations of XAI? Join us at the "Theory of Explainable AI" workshop Dec 2 in Copenhagen! @ellis.eu @euripsconf.bsky.social
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
Speakers: @jessicahullman.bsky.social @doloresromerom.bsky.social @tpimentel.bsky.social
Call for Contributions: Oct 15
I have 2 open PhD positions on Mathematical Foundations for Explainable AI:
Position 1: werkenbij.uva.nl/en/vacancies... (apply by October 13, 2025)
Position 2: applications via the Ellis PhD Program: ellis.eu/news/ellis-p... by Oct. 31.
Both positions are equivalent (except for starting dates)
Position 1: werkenbij.uva.nl/en/vacancies... (apply by October 13, 2025)
Position 2: applications via the Ellis PhD Program: ellis.eu/news/ellis-p... by Oct. 31.
Both positions are equivalent (except for starting dates)
Vacancy — PhD Position on Mathematical Foundations for Explainable AI
Are you highly motivated to do PhD research in mathematical machine learning, with special emphasis on mathematical foundations for explainable AI? If yes, the Korteweg-de Vries Institute for Mathemat...
werkenbij.uva.nl
October 7, 2025 at 11:48 AM
I have 2 open PhD positions on Mathematical Foundations for Explainable AI:
Position 1: werkenbij.uva.nl/en/vacancies... (apply by October 13, 2025)
Position 2: applications via the Ellis PhD Program: ellis.eu/news/ellis-p... by Oct. 31.
Both positions are equivalent (except for starting dates)
Position 1: werkenbij.uva.nl/en/vacancies... (apply by October 13, 2025)
Position 2: applications via the Ellis PhD Program: ellis.eu/news/ellis-p... by Oct. 31.
Both positions are equivalent (except for starting dates)
🚨 Workshop on the Theory of Explainable Machine Learning
Call for ≤2 page extended abstract submissions by October 15 now open!
📍 Ellis UnConference in Copenhagen
📅 Dec. 2
🔗 More info: sites.google.com/view/theory-...
@gunnark.bsky.social @ulrikeluxburg.bsky.social @emmanuelesposito.bsky.social
Call for ≤2 page extended abstract submissions by October 15 now open!
📍 Ellis UnConference in Copenhagen
📅 Dec. 2
🔗 More info: sites.google.com/view/theory-...
@gunnark.bsky.social @ulrikeluxburg.bsky.social @emmanuelesposito.bsky.social
Theory of XAI Workshop, Dec 2, 2025
Explainable AI (XAI) is now deployed across a wide range of settings, including high-stakes domains in which misleading explanations can cause real harm. For example, explanations are required by law ...
sites.google.com
September 30, 2025 at 2:01 PM
🚨 Workshop on the Theory of Explainable Machine Learning
Call for ≤2 page extended abstract submissions by October 15 now open!
📍 Ellis UnConference in Copenhagen
📅 Dec. 2
🔗 More info: sites.google.com/view/theory-...
@gunnark.bsky.social @ulrikeluxburg.bsky.social @emmanuelesposito.bsky.social
Call for ≤2 page extended abstract submissions by October 15 now open!
📍 Ellis UnConference in Copenhagen
📅 Dec. 2
🔗 More info: sites.google.com/view/theory-...
@gunnark.bsky.social @ulrikeluxburg.bsky.social @emmanuelesposito.bsky.social