Well put, @garrykasparov.bsky.social. I have become a bit cautious with predicting the (non-)occurrence of miracles, but this one would surely be practically meaningless for us. Playing chess will be just as much fun once (if ever) the game has been solved.

In any consistent formal system powerful enough to do elementary arithmetic some statements can be proven to be true without a formal proof. Have we finally fixed Gödel's incompleteness?

New preprint: The Dead Salmons of XAI Standard fMRI pipelines once detected predictive brain regions in a dead salmon! A warning about poor statistical methodology Now, XAI faces its own issues: many methods can yield plausible explanations even for randomized networks arxiv.org/abs/2512.18792

Earlier this year I decided to stop reviewing for openreview conferences because I felt the bargaining about individual paper reviews that it advocates got way out of hand. But, no, I didn't see that one coming...

🚀 Join @tuda.bsky.social and @hessianai.bsky.social as Professor for Ethical & Safe AI to advance the algorithmic foundations of ethical and safe AI and to shape “Reasonable AI." Apply now and make an impact where AI meets society. 👉 buff.ly/bIvq7Mb

(I/III) We're excited to announce a new tenure track opening! The position is called 'quantum informatics' and is affiliated with our QUICK group within the CS+AI division at @jku.at 🇦🇹. Application deadline is November 30th, 2025: www.jku.at/en/the-jku/w...

I have joined the University of Helsinki as an associate professor and ELLIS Institute Finland as a PI. I am recruiting PhD students and postdocs to work on combining logical reasoning and machine learning. If interested, please contact me! @helsinki.fi @ellisinstitute.fi

... and it is freely available at www.transcript-verlag.de/978-3-8376-7...

Attending #KogWis2025 in Bochum this week. Cognitive Scientists have embraced LLMs as a subject of study and deliver amazing results. I think I am learning more about LLMs here than in recent ML or AI conferences. Dr. Susan Calvin, here we come...

I think today I set the new record for the longest time span between two consecutive papers at #KDD: 31 years between KDD-0 (an AAAI workshop in Seattle) and KDD-31 (thousands participants in Toronto). Both papers about rule learning, attendance was higher in 1994 (whatever that means...) 🤔

Just checked in for #KDD-25 in Toronto. They handed me my badge reminding me that I better not lose it because it costs 200$ to print one. At least I now know where 1/5th of my registration fee went to...

How come I've never heard (of) this guy before? RIP

Last week at the www.bilateral-ai.net Summer School in Klagenfurt: More than 40 of our symbolic and subsymbolic AI PhD students for the first time together. youtu.be/MODjjqrijwg

Mein Buch “Was kann Künstliche Intelligenz?“ ist erschienen. Eine leicht zugängliche Einführung in das Thema Künstliche Intelligenz. LeserInnen – auch ohne technischen Hintergrund – wird erklärt, was KI eigentlich ist, welche Potenziale sie birgt und welche Auswirkungen sie hat.

🏹 Job alert: Tenure-Track Position for Neuro-Symbolic Artificial Intelligence at @jku.at. Opening is at the Institute for Symbolic AI for female candidates w/ PhD. 📍 Linz 🇦🇹 📅 Apply by: May 28 🔗 More info: bit.ly/3H2GDVk #AIJobs

TENURE TRACK PROFESSORSHIP in Reinforcement Learning announced at Johannes Kepler University Linz. Three other ML/AI tenure tracks also open. www.jku.at/en/the-jku/w...

The calls for our 4 female-only tenure-track positions are now open (see my pinned message). Here is the call for the position in Knowledge and Data Processing. www.jku.at/en/the-jku/w... Applications to multiple positions are welcome. Deadline for all is May 28th. Boost it and apply!

Very happy to announce an opening for a Tenure-Track Professor Position in Natural Language Processing and Interaction (topics of interest including IR and RecSys), which is open to female applicants, with an application deadline of May 28. More details can be found at www.jku.at/en/the-jku/w...

I've never done a paper video before, but now we had to do one for our KDD paper on more efficient data structures for our inductive rule learner LORD. I like the result, thanks Phuong! (you may want to turn off the sound though 😀). dl.acm.org/doi/suppl/10...

Four Tenure-track positions in AI exclusively for female applicants at @jkulinz.bsky.social! Details available soon at www.jku.at/en/lit-artif...

Would you present your next NeurIPS paper in Europe instead of traveling to San Diego (US) if this was an option? Søren Hauberg (DTU) and I would love to hear the answer through this poll: (1/6)

This concerns so many of us international scientists. The US leadership in science has always relied on bringing excellent scholars to excellent American universities. Fulbright has recognized this has to start at the lowest academic levels, with incoming students as multipliers. #StandForFulbright

Leuven.AI proudly presents its first Creative AI event. Featuring keynotes on computational creativity, humor and poetry generation, and human-machine collaboration. Check out the program: ai.kuleuven.be/events/creat... @leuvenai.bsky.social @kuleuvenuniversity.bsky.social

Join Our Research Team in Linz! We are looking for 5 PostDocs and 10 PhDs in Machine Learning working on xLSTM, NLP, robustness, density ratio. Deadline: 04/20/25. More details: www.jku.at/en/lit-artif... #MachineLearning #DeepLearning #ResearchOpportunities #PhDPositions

The 3rd edition of Interpretable Machine Learning is out! 🎉 Major cleanup, better examples, and new chapters on Data & Models, Interpretability Goals, Ceteris Paribus, and LOFO Importance. The book remains free to read for everyone. But you can also buy ebook or paperback.

www.youtube.com/watch?v=9_Pe... An interview with Rich. The humility of Rich is truly inspiring: "There are no authorities in science". I wish people would listen and live by this.

Just declined, I think for the first time ever, a reviewing invitation to a major ML conference. IMHO the expected amount of interaction in OpenReview (replying as reviewer to author rebuttals and vice versa) is getting way out of hand, reviewing becomes negotiation. Feels surprisingly relaxing. 😎

KI made in Austria: @fwf-at.bsky.social Cluster of Excellence "Bilateral AI” unter der Leitung der JKU nimmt Arbeit auf. Mit @tugraz.bsky.social, @uniklagenfurt.bsky.social, TU Wien, WU Wien und Institute of Science and Technology Austria (ISTA) 🆕 http://go.jku.at/n25e1

Deadline extension until Feb 21st! Submit your work or ideas on XAI in Game Playing! sites.google.com/view/fdg-ws-...

Today, the magical @timobertram.bsky.social defended his award-winning work on Contextual Preference Ranking in Magic: The Gathering and Reconnaissance Blind Chess, the green sign reflecting his true state of mind at this moment right before the defense. All went well. Congratulations, Dr. Bertram!

An international research team with leading participation from TU Darmstadt has now presented the first far-reaching data analysis on Bluesky: Openness, transparency, participation & a more even distribution of power are the biggest advantages of the decentralised platform, according to the study.

We will host a WS on xAI in Game Playing in Vienna on April 15! Submission dl Feb 7. More details here: sites.google.com/view/fdg-ws-...

Hello Bluesky 👋

I fully agree. I was recently dissed by authors (and a bit by the SPC) because I said the paper is clear enough to me, and I don't have any questions to the authors. And, as an author, it is considered negative if I don't submit a rebuttal. This is getting out of hand, I try to avoid openreview now.

Oh yes, a highlight of 2024! Pretty proud of Jinseok et al. and very fond memories of our joint time in Darmstadt. Congrats! Of course, I also can't help seeing the irony of after a long career in inductive rule learning eventually winning a test-of-time award for work on deep neural networks. :-)

🎙️ Its out! This one (w/ Aakash Johry, Marnix van Wijland, Regina Bernhaupt, @skriglstein.bsky.social) took a while but happy to report that the pre-print is now online. Right in time for the festive season🎄, in case you're looking for a jolly-good read ;) www.sciencedirect.com/science/arti...

Everything related to #xLSTM at #NeurIPS2024 collected here linktr.ee/xLSTM Talks, poster session, Bio-xLSTM, xLSTM for reinforcement learning,..

"𝗖𝗮𝗻 𝗰𝗵𝗲𝘀𝘀 𝗮𝗻𝗱 𝗼𝘁𝗵𝗲𝗿 𝗯𝗼𝗮𝗿𝗱 𝗴𝗮𝗺𝗲𝘀 𝘀𝘁𝗶𝗹𝗹 𝗮𝗱𝗱 𝘃𝗮𝗹𝘂𝗲 𝘁𝗼 𝗿𝗲𝘀𝗲𝗮𝗿𝗰𝗵?” I was fortunate to join the board games team at Google as a student researcher, where we proved that the answer is a resounding YES! ♟️🤯 deepmind.google/research/pub...

Beautiful! Can you detect any meaningful interpretations in the clusters? What about the apparent upper/lower-half symmetry? White/black? That's probably too good to be true...

Our 🇦🇹 #FWF #ClusterOfExcellence is catching on with our first retreat today and tomorrow. @gklambauer.bsky.social introduces our vision to achieve #BroadAI. www.bilateral-ai.net Btw, we are looking for a Tenure Track Professor at TU Graz (deadline 6. January): bsky.app/profile/rope...

The Human-centered Explainable AI (#HCXAI) workshop will be back at #CHI2025 for the FIFTH time in a row! This year will be better than ever before. We're ready--the only missing piece is YOU! 🔗 hcxai.jimdosite.com Please share + help us get the word out. #academicSky #academia #AI #HCI 1/2

Amazing opportunity for #Neurosymbolic folks! 🚨🚨🚨 We are looking for a Tenure Track Prof for the 🇦🇹 #FWF Cluster of Excellence Bilateral AI (think #NeSy ++) www.bilateral-ai.net A nice starting pack for fully funded PhDs is included. jobs.tugraz.at/en/jobs/226f...

This tutorial on transformers is all you need.

I tried to find everyone who works in the area but I certainly missed some folks so please lmk... go.bsky.app/BYkRryU

A dozen or so new followers today. Have I made it on one of those starter packages, I wonder? In any case, feels good to be here, and feels good that it is still growing. :-)

Let's get started: Two open PhD positions in (neuro-)symbolic machine learning or ML in games in my group at JKU Linz (bit.ly/3Obe0ph). Apply!