Lightnews — Scholar-powered news

Jaron Maene @jjcmoon.bsky.social · 4d

Something like this? arxiv.org/pdf/2410.06045

Reposted by Jaron Maene

🪾santiago, phd 🐈‍⬛ @santiagokique.bsky.social · Aug 2

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...

Terence Tao (@[email protected])

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

3 130 290

Reposted by Jaron Maene

Basis @basisresearch.bsky.social · Jul 18

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.

1 1

Reposted by Jaron Maene

Pedro Zuidberg Dos Martires @pedrozudo.bsky.social · Jun 27

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)

1 1 4

Reposted by Jaron Maene

Emile van Krieken @emilevankrieken.com · May 21

We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀

Read more 👇

4 27 92

Reposted by Jaron Maene

lennertds.bsky.social @lennertds.bsky.social · May 14

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!

antonio vergari ⚔️ short-circuiting @nolovedeeplearning.bsky.social · Apr 16

the #TPM ⚡Tractable Probabilistic Modeling ⚡Workshop is back at @auai.org #UAI2025!

Submit your works on:

- fast and #reliable inference
- #circuits and #tensor #networks
- normalizing #flows
- scaling #NeSy #AI
...& more!

🕓 deadline: 23/05/25
👉 tractable-probabilistic-modeling.github.io/tpm2025/

9 11

Jaron Maene @jjcmoon.bsky.social · Apr 24

github.com/ML-KULeuven/...

GitHub - ML-KULeuven/klay: Sparse Circuits on the GPU (ICLR2025)

Sparse Circuits on the GPU (ICLR2025). Contribute to ML-KULeuven/klay development by creating an account on GitHub.

github.com

1 1

Jaron Maene @jjcmoon.bsky.social · Apr 23

This was joint work with my amazing co-authors @pedrozudo.bsky.social and @vincentderk.bsky.social

1

Jaron Maene @jjcmoon.bsky.social · Apr 23

[Code] github.com/ML-KULeuven/...
[Paper] arxiv.org/pdf/2410.11415

GitHub - ML-KULeuven/klay: Sparse Circuits on the GPU (ICLR2025)

Sparse Circuits on the GPU (ICLR2025). Contribute to ML-KULeuven/klay development by creating an account on GitHub.

github.com

1 2

Jaron Maene @jjcmoon.bsky.social · Apr 23

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!

1 7 24

Jaron Maene @jjcmoon.bsky.social · Mar 5

And @gabventurato.bsky.social who presented on 3 different days!

1

Jaron Maene @jjcmoon.bsky.social · Feb 27

This was joint work with @lucderaedt.bsky.social.

The Gradient of Algebraic Model Counting

Algebraic model counting unifies many inference tasks on logic formulas by exploiting semirings. Rather than focusing on inference, we consider learning, especially in statistical-relational and neuro...

arxiv.org

1 6

Jaron Maene @jjcmoon.bsky.social · Feb 27

We generalize backpropgation to semirings, which allows us to unify many learning tasks. This is similar to how inference on probabilistic models has been generalised (e.g. sum-product and max-product algorithms)

1 2 3

Jaron Maene @jjcmoon.bsky.social · Feb 27

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.

1 10 27

Reposted by Jaron Maene

Lorenzo Loconte @loreloc.bsky.social · Feb 25

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

Home | AAAI'25 tutorial

The AAAI'25 tutorial on Tensor Factorizations + Probabilistic Circuits

april-tools.github.io

11 31

Jaron Maene @jjcmoon.bsky.social · Feb 25

Congratulations!

1

Reposted by Jaron Maene

Gabriele Venturato @gabventurato.bsky.social · Feb 25

🔥 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/...

🧵⬇️

1 11 24

Jaron Maene @jjcmoon.bsky.social · Feb 19

‪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 :)

5

Reposted by Jaron Maene

Lorenzo Loconte @loreloc.bsky.social · Feb 12

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.

TMLR Published Papers @tmlr-pub.bsky.social · Feb 12

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

4 20

Reposted by Jaron Maene

Jesse Davis @jessejdavis.bsky.social · Feb 11

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...

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

1 16 17

Reposted by Jaron Maene

Pieter Delobelle @pieter.ai · Dec 23

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

Computer Science Conference Deadlines Map

Interactive world map of Computer Science, AI, and ML conference deadlines

deadlines.pieter.ai

4 13

Reposted by Jaron Maene

lennertds.bsky.social @lennertds.bsky.social · Dec 13

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. 🚀

1 4 12

Reposted by Jaron Maene

David Debot @daviddebot.bsky.social · Dec 4

🚨 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)

2 7 24

Jaron Maene @jjcmoon.bsky.social · Nov 29

You can also do it without independence, but instead using distributivity, cf. arithmetic circuits.

1 4

Reposted by Jaron Maene

antonio vergari ⚔️ short-circuiting @nolovedeeplearning.bsky.social · Nov 29

@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

11 15 51