Jaron Maene
@jjcmoon.bsky.social
PhD student @ KU Leuven | maene.dev | #neurosymbolic learning & #probabilistic reasoning
Reposted by Jaron Maene
Terence Tao (@teorth.bsky.social) has written a thread on Mastodon about the impact of the federal grant freeze to UCLA, particularly to his own field of Mathematics. UCLA's IPAM (Institute of Pure and Applied Mathematics) could shut down entirely
mathstodon.xyz/@tao/1149568...
mathstodon.xyz/@tao/1149568...
Terence Tao (@tao@mathstodon.xyz)
The current administration in the US has, through various funding agencies such as the NSF and NIH, has recently suspended virtually all federal grants to my home university, UCLA (including my own p...
mathstodon.xyz
August 2, 2025 at 6:27 PM
Terence Tao (@teorth.bsky.social) has written a thread on Mastodon about the impact of the federal grant freeze to UCLA, particularly to his own field of Mathematics. UCLA's IPAM (Institute of Pure and Applied Mathematics) could shut down entirely
mathstodon.xyz/@tao/1149568...
mathstodon.xyz/@tao/1149568...
Reposted by Jaron Maene
We’re proud to announce the launch of AutumnBench, an open-source benchmark developed on our Autumn platform. This benchmark, led by our MARA team, provides a novel platform for evaluating world modeling and causal reasoning in both human and artificial intelligence.
July 18, 2025 at 1:31 PM
We’re proud to announce the launch of AutumnBench, an open-source benchmark developed on our Autumn platform. This benchmark, led by our MARA team, provides a novel platform for evaluating world modeling and causal reasoning in both human and artificial intelligence.
Reposted by Jaron Maene
The crazy thing about epicycles: at the time Kopernicus introduced his model they were far superior in terms of predictive power compared to the heliocentric model. This was still true when Kepler refined the model with ellipses. Epicycles had been extremely refined over time (capital+labor)
June 27, 2025 at 11:37 PM
The crazy thing about epicycles: at the time Kopernicus introduced his model they were far superior in terms of predictive power compared to the heliocentric model. This was still true when Kepler refined the model with ellipses. Epicycles had been extremely refined over time (capital+labor)
Reposted by Jaron Maene
We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀
Read more 👇
Read more 👇
May 21, 2025 at 10:57 AM
We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀
Read more 👇
Read more 👇
Reposted by Jaron Maene
Just under 10 days left to submit your latest endeavours in #tractable probabilistic models!
Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!
Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!
May 14, 2025 at 5:48 PM
Just under 10 days left to submit your latest endeavours in #tractable probabilistic models!
Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!
Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!
We developed a library to make logical reasoning embarrasingly parallel on the GPU.
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
April 23, 2025 at 8:13 AM
We developed a library to make logical reasoning embarrasingly parallel on the GPU.
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
We all know backpropagation can calculate gradients, but it can do much more than that!
Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.
Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.
February 27, 2025 at 11:45 PM
We all know backpropagation can calculate gradients, but it can do much more than that!
Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.
Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.
Reposted by Jaron Maene
Are you at AAAI in Philadelphia and interested about #tensor-factorizations or #circuits or even both?
Then join us today at our tutorial: "From tensor factorizations to circuits (and back!)"
Details and materials here
april-tools.github.io/aaai25-tf-pc...
Time 4:15pm - 6:00pm, Room 117
Then join us today at our tutorial: "From tensor factorizations to circuits (and back!)"
Details and materials here
april-tools.github.io/aaai25-tf-pc...
Time 4:15pm - 6:00pm, Room 117
Home | AAAI'25 tutorial
The AAAI'25 tutorial on Tensor Factorizations + Probabilistic Circuits
april-tools.github.io
February 25, 2025 at 5:38 PM
Are you at AAAI in Philadelphia and interested about #tensor-factorizations or #circuits or even both?
Then join us today at our tutorial: "From tensor factorizations to circuits (and back!)"
Details and materials here
april-tools.github.io/aaai25-tf-pc...
Time 4:15pm - 6:00pm, Room 117
Then join us today at our tutorial: "From tensor factorizations to circuits (and back!)"
Details and materials here
april-tools.github.io/aaai25-tf-pc...
Time 4:15pm - 6:00pm, Room 117
Reposted by Jaron Maene
🔥 Can AI reason over time while following logical rules in relational domains? We will present Relational Neurosymbolic Markov Models (NeSy-MMs) next week at #AAAI2025! 🎉
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
February 25, 2025 at 11:01 AM
🔥 Can AI reason over time while following logical rules in relational domains? We will present Relational Neurosymbolic Markov Models (NeSy-MMs) next week at #AAAI2025! 🎉
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
I'm visiting the StarAI lab of @guyvdb.bsky.social at UCLA for a couple of months starting this week.
If you're around and want to have a chat let me know :)
If you're around and want to have a chat let me know :)
February 19, 2025 at 6:15 PM
I'm visiting the StarAI lab of @guyvdb.bsky.social at UCLA for a couple of months starting this week.
If you're around and want to have a chat let me know :)
If you're around and want to have a chat let me know :)
Reposted by Jaron Maene
Happy to see our work at TMLR!
We systematically show the relationships between two apparently different fields: tensor factorizations and circuits, and how bridging the two enables us to exchange results, research opportunitie in ML, and practical implementation solutions.
We systematically show the relationships between two apparently different fields: tensor factorizations and circuits, and how bridging the two enables us to exchange results, research opportunitie in ML, and practical implementation solutions.
New #Featured Certification:
What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
Lorenzo Loconte, Antonio Mari, Gennaro Gala et al.
https://openreview.net/forum?id=Y7dRmpGiHj
#tensorized #factorizations #tensor
What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
Lorenzo Loconte, Antonio Mari, Gennaro Gala et al.
https://openreview.net/forum?id=Y7dRmpGiHj
#tensorized #factorizations #tensor
February 12, 2025 at 10:04 AM
Happy to see our work at TMLR!
We systematically show the relationships between two apparently different fields: tensor factorizations and circuits, and how bridging the two enables us to exchange results, research opportunitie in ML, and practical implementation solutions.
We systematically show the relationships between two apparently different fields: tensor factorizations and circuits, and how bridging the two enables us to exchange results, research opportunitie in ML, and practical implementation solutions.
Reposted by Jaron Maene
We are hiring for PhD positions! I’m looking for people interested in exploring the intersection of learning and reasoning with applications to anomaly detection and sports. @dtai-kuleuven.bsky.social @wannesm.bsky.social
www.kuleuven.be/personeel/jo...
www.kuleuven.be/personeel/jo...
Several PhD Positions in Artificial Intelligence at Computer Science KU Leuven
All positions are in the Machine Learning subgroup of the Section for Declarative Languages and Artificial Intelligence (DTAI), which is part of the Department of Computer Science at KU Leuven. The DT...
www.kuleuven.be
February 11, 2025 at 7:39 PM
We are hiring for PhD positions! I’m looking for people interested in exploring the intersection of learning and reasoning with applications to anomaly detection and sports. @dtai-kuleuven.bsky.social @wannesm.bsky.social
www.kuleuven.be/personeel/jo...
www.kuleuven.be/personeel/jo...
Reposted by Jaron Maene
Unsure where to submit your next research paper to now that aideadlin.es is not updated anymore? And let’s be honest, is the location not as important as the conference itself?
🗺️ Check out my latest side-project: deadlines.pieter.ai
🗺️ Check out my latest side-project: deadlines.pieter.ai
Computer Science Conference Deadlines Map
Interactive world map of Computer Science, AI, and ML conference deadlines
deadlines.pieter.ai
December 23, 2024 at 2:39 PM
Unsure where to submit your next research paper to now that aideadlin.es is not updated anymore? And let’s be honest, is the location not as important as the conference itself?
🗺️ Check out my latest side-project: deadlines.pieter.ai
🗺️ Check out my latest side-project: deadlines.pieter.ai
Reposted by Jaron Maene
Are you interested in more scalable reasoning under uncertainty and attending NeurIPS? Then pass by our poster #3708 later today at 4.30pm! 🕟
We use recursive integer arithmetic to express combinatorial problems and add uncertainty. Inference can be massively accelerated with tensors and the FFT. 🚀
We use recursive integer arithmetic to express combinatorial problems and add uncertainty. Inference can be massively accelerated with tensors and the FFT. 🚀
December 13, 2024 at 5:56 PM
Are you interested in more scalable reasoning under uncertainty and attending NeurIPS? Then pass by our poster #3708 later today at 4.30pm! 🕟
We use recursive integer arithmetic to express combinatorial problems and add uncertainty. Inference can be massively accelerated with tensors and the FFT. 🚀
We use recursive integer arithmetic to express combinatorial problems and add uncertainty. Inference can be massively accelerated with tensors and the FFT. 🚀
Reposted by Jaron Maene
🚨 Interpretable AI often means sacrificing accuracy—but what if we could have both? Most interpretable AI models, like Concept Bottleneck Models, force us to trade accuracy for interpretability.
But not anymore, due to Concept-Based Memory Reasoner (CMR)! #NeurIPS2024 (1/7)
But not anymore, due to Concept-Based Memory Reasoner (CMR)! #NeurIPS2024 (1/7)
December 4, 2024 at 8:46 AM
🚨 Interpretable AI often means sacrificing accuracy—but what if we could have both? Most interpretable AI models, like Concept Bottleneck Models, force us to trade accuracy for interpretability.
But not anymore, due to Concept-Based Memory Reasoner (CMR)! #NeurIPS2024 (1/7)
But not anymore, due to Concept-Based Memory Reasoner (CMR)! #NeurIPS2024 (1/7)
Reposted by Jaron Maene
@ropeharz.bsky.social forced me to do this starter pack on #tractable #probabilistic modeling and #reasoning in #AI and #ML
please write below if you want to be added (and sorry if I did not find you from the beginning).
go.bsky.app/DhVNyz5
please write below if you want to be added (and sorry if I did not find you from the beginning).
go.bsky.app/DhVNyz5
November 29, 2024 at 1:11 PM
@ropeharz.bsky.social forced me to do this starter pack on #tractable #probabilistic modeling and #reasoning in #AI and #ML
please write below if you want to be added (and sorry if I did not find you from the beginning).
go.bsky.app/DhVNyz5
please write below if you want to be added (and sorry if I did not find you from the beginning).
go.bsky.app/DhVNyz5
Reposted by Jaron Maene
Meet our researchers from the DTAI lab at KU Leuven!
Using this starter pack, you can keep up with all the AI research from our PhD students, post-docs, professors and alumni 🦋
Using this starter pack, you can keep up with all the AI research from our PhD students, post-docs, professors and alumni 🦋
November 22, 2024 at 2:57 PM
Meet our researchers from the DTAI lab at KU Leuven!
Using this starter pack, you can keep up with all the AI research from our PhD students, post-docs, professors and alumni 🦋
Using this starter pack, you can keep up with all the AI research from our PhD students, post-docs, professors and alumni 🦋
Reposted by Jaron Maene
mixtures of circuit approximations of algorithms, I tell you!
kernel methods in the space of (short, propositional) programs!!
why memorize and interpolate answers when you can memorize and interpolate answer-producing procedures??
kernel methods in the space of (short, propositional) programs!!
why memorize and interpolate answers when you can memorize and interpolate answer-producing procedures??
To my surprise, we find the opposite of what I thought when we started this project:
The approach to reasoning LLMs use looks unlike retrieval, and more like a generalisable strategy synthesising procedural knowledge from many documents doing a similar form of reasoning.
The approach to reasoning LLMs use looks unlike retrieval, and more like a generalisable strategy synthesising procedural knowledge from many documents doing a similar form of reasoning.
November 21, 2024 at 1:15 PM
mixtures of circuit approximations of algorithms, I tell you!
kernel methods in the space of (short, propositional) programs!!
why memorize and interpolate answers when you can memorize and interpolate answer-producing procedures??
kernel methods in the space of (short, propositional) programs!!
why memorize and interpolate answers when you can memorize and interpolate answer-producing procedures??
Reposted by Jaron Maene
Back in the days everyone wanted to be with the cool kids. Now everyone wants to be in a 🦋 starter pack. 🤣
November 19, 2024 at 10:19 PM
Back in the days everyone wanted to be with the cool kids. Now everyone wants to be in a 🦋 starter pack. 🤣
Reposted by Jaron Maene
Excited to share our #NeurIPS 2024 Oral, Convolutional Differentiable Logic Gate Networks, leading to a range of inference efficiency records, including inference in only 4 nanoseconds 🏎️. We reduce model sizes by factors of 29x-61x over the SOTA. Paper: arxiv.org/abs/2411.04732
November 17, 2024 at 4:34 PM
Excited to share our #NeurIPS 2024 Oral, Convolutional Differentiable Logic Gate Networks, leading to a range of inference efficiency records, including inference in only 4 nanoseconds 🏎️. We reduce model sizes by factors of 29x-61x over the SOTA. Paper: arxiv.org/abs/2411.04732
Reposted by Jaron Maene
I made a starter pack with the people doing something related to Neurosymbolic AI that I could find.
Let me know if I missed you!
go.bsky.app/RMJ8q3i
Let me know if I missed you!
go.bsky.app/RMJ8q3i
November 11, 2024 at 3:27 PM
I made a starter pack with the people doing something related to Neurosymbolic AI that I could find.
Let me know if I missed you!
go.bsky.app/RMJ8q3i
Let me know if I missed you!
go.bsky.app/RMJ8q3i