NeSy conference
The NeSy conference studies the integration of deep learning and symbolic AI, combining neural network-based statistical machine learning with knowledge representation and reasoning from symbolic appr...
Recordings of the NeSy 2025 keynotes are now available! π₯
Check out insightful talks from @guyvdb.bsky.social, @tkipf.bsky.social and D McGuinness on our new Youtube channel www.youtube.com/@NeSyconfere...
Topics include using symbolic reasoning for LLM, and object-centric representations!
29.11.2025 08:21 β π 7 π 3 π¬ 0 π 0
YouTube video by NeSy conference
Guy Van den Broeck - Symbolic Reasoning in the Age of Large Language Models
I gave a keynote at @nesyconf.org on
"Symbolic Reasoning in the Age of Large Language Models"
Check out the recording if you are curious about neurosymbolic generative AI:
www.youtube.com/watch?v=Otmi...
29.10.2025 16:59 β π 15 π 3 π¬ 0 π 0
Now, @guyvdb.bsky.social is giving the opening keynote arguing why symbolic AI is still relevant in the age of LLMs...
With the help of Shrek!
08.09.2025 16:59 β π 5 π 1 π¬ 1 π 0
How can reverend Bayes help us to incorporate constraints?
With NeSy of course π With applications in non-toxic LLM generation and safe AI driving!
@guyvdb.bsky.social
08.09.2025 17:08 β π 1 π 1 π¬ 1 π 0
Did you know Neurosymbolic methods can beat 'the other's turf'?
Just use a 100x smaller LM with symbolic constraints integrated via Ctrl-G to wipe the floor with GPT!π§Ή
arxiv.org/abs/2406.13892
@guyvdb.bsky.social
08.09.2025 17:19 β π 3 π 1 π¬ 1 π 0
It is almost time to welcome you all in Santa Cruz! π¦
We will start with an exciting and timely keynote by
@guyvdb.bsky.social
on "Symbolic Reasoning in the Age of Large Language Models" π
π Full conference schedule: 2025.nesyconf.org/schedule/
05.09.2025 13:28 β π 18 π 5 π¬ 1 π 0
Grants, awards, fellowships, etc. should really be upfront about their acceptance rate. Some of them are just abundantly not worth the effort
28.08.2025 20:27 β π 31 π 1 π¬ 2 π 0
08.08.2025 03:56 β π 162 π 22 π¬ 2 π 3
A great start to TPM 2025! @auai.org
#UAI2025 #TPM
25.07.2025 13:22 β π 9 π 3 π¬ 0 π 0
Terence Tao (@tao@mathstodon.xyz)
It is tempting to view the capability of current AI technology as a singular quantity: either a given task X is within the ability of current tools, or it is not. However, there is in fact a very wid...
If you've seen recent claims on genAI doing well at math exams read the commentary by the greatest living mathematician, who uses tech a lot in math. (Tao & I graduated from the same math dept & had the same profs. He is way younger than me and way, way, way better!!!) mathstodon.xyz/@tao/1148814...
20.07.2025 17:45 β π 54 π 7 π¬ 0 π 3
Wish LM could planβnot just guess the next word?
TRACE lets LM see all endings before each move.
β Global control at inference time
β Tractable lookahead via an HMM LM-proxy
β Linear classifier per constraint
Outperform RL, DPO, FUDGEβat just +20% decoding over base LM.
#ICML2025 @guyvdb.bsky.social
19.07.2025 21:54 β π 7 π 2 π¬ 11 π 0
π¨ First Call for Participation β NeSy 2025
π Sept 8β10 | Santa Cruz, CA
Join the longest-running conference on neurosymbolic AI!
Our keynote speakers:
@guyvdb.bsky.social
@tkipf.bsky.social
Deborah McGuinness
@garymarcus.bsky.social
More info π
14.07.2025 17:52 β π 11 π 6 π¬ 1 π 0
08.07.2025 23:45 β π 3 π 0 π¬ 0 π 0
this exact paper has been in my scholar inbox every day for the past two months. i've been wondering if the author somehow re-uploads it every day, or if there is a bug in scholar inbox
07.07.2025 22:13 β π 3 π 0 π¬ 1 π 0
Announcing the 2025 IJCAI Computers and Thought Award winner β¨Aditya Grover, InceptionAILabs & UCLA. Dr. Grover is honored for uniting deep generative models, representation learning & RL to advance scientific reasoning.
Congratulations!
www.ijcai.org/awards
03.06.2025 20:16 β π 8 π 1 π¬ 0 π 0
The Belgian lab shaping modern soccerβs data revolution
A small corner of one of the worldβs oldest universities has moved the sport forward, and made the argument for research institutions writ large
I wrote about @jessejdavis.bsky.social, an American computer science professor running an influential soccer analytics research team at an ancient university in Belgium.
Much of the leading data analysis is still being done outside soccer. Why?
@theguardian.com
www.theguardian.com/football/202...
03.06.2025 12:50 β π 39 π 9 π¬ 1 π 3
Interesting thread. But what's the difference between Bayesian conditioning and learning a new skill? Every distribution can be achieved by Bayesian conditioning the uniform distribution!
28.05.2025 02:57 β π 2 π 0 π¬ 0 π 0
ICML 2025 Workshop TokShop
Welcome to the OpenReview homepage for ICML 2025 Workshop TokShop
π£ Call for Paper Alert: TokShop @ ICML 2025
TokShop explores tokenization across all data modalities. Topics include: subword NLP techniques, multimodal approaches, multilingual challenges, post-training modification, alternative representations, and statistical perspectives.
14.05.2025 13:31 β π 18 π 12 π¬ 1 π 2
ποΈ Deadline extended: π₯2nd June 2025!π₯
We are looking forward to your works on:
π #circuits and #tensor #networks πΈοΈ
β³ normalizing #flows π¨
βοΈ scaling #NeSy #AI π¦
π
fast and #reliable inference π
...& more!
please share π
24.05.2025 12:13 β π 19 π 12 π¬ 0 π 1
Anji Liu
Incoming Assistant Professor at NUS working on tractable deep generative models.
π Looking for PhD students, postdocs & interns!
Iβm recruiting for my new lab at NUS School of Computing, focusing on generative modeling, reasoning, and tractable inference.
π‘ Interested? Learn more here: liuanji.github.io
ποΈ PhD application deadline: June 15, 2025
17.05.2025 17:26 β π 19 π 9 π¬ 0 π 1
Anji is an amazing mentor and colleague. If I could go for another PhD in CS I would apply!
17.05.2025 17:31 β π 8 π 1 π¬ 0 π 0
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!
14.05.2025 17:48 β π 11 π 9 π¬ 0 π 0
Last time I had this problem it only got unstuck by tweeting about the problem.
09.05.2025 13:53 β π 1 π 0 π¬ 1 π 0
This year I am co-organizing the 8th iteration of the Tractable Probabilistic Modeling #TPM workshop at #UAI2025 π΄ Rio de Janeiro edition π΄
π lnkd.in/dDK8T5Au
β° Submission deadline: May 23th AoE
π΄ Date: July 15th
π§΅π
30.04.2025 10:54 β π 16 π 9 π¬ 1 π 2
Bit blasting! Nice
30.04.2025 03:48 β π 2 π 0 π¬ 1 π 0
I'll be giving an oral talk at #ICLR2025!
π Session 1C β π¦ 11:30 AM SGT.
Title: Learning to Discretize Denoising Diffusion ODEs.
Come by if you're into #GenerativeAI / #DiffusionModels
23.04.2025 22:09 β π 2 π 1 π¬ 0 π 0
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/
16.04.2025 08:40 β π 37 π 19 π¬ 1 π 3
π₯ Accepted workshops are out! www.auai.org/uai2025/work...
Get ready for a day of great talks, panels, and discussions on causality, tractable models, and safe AI.
Don't forget to submit your work, and see you in Rio! π§π·
04.04.2025 09:37 β π 12 π 9 π¬ 0 π 0
Team leader (tenured) at RIKEN AIP. Opinions my own. https://emtiyaz.github.io
π bridged from https://mastodon.social/@emtiyaz on the fediverse by https://fed.brid.gy/
Mayor-Elect of New York City
We represent UCLA faculty on employment and academic freedom issues and advocate for a vibrant and well-funded system of public higher education in California.
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Computer Scientist
Master student applying for a Phd position
causality, probabilistic AI
https://www.ime.usp.br/~bazaluk/
AI Architect | North Carolina | AI/ML, IoT, science
WARNING: I talk about kids sometimes
ML Eng. and econometrics. Lot more left-posting than normal. Some hobby-level finance
Regrettably degen trading for the next 3 months, im sorry
Views dont reflect my employer
We use human stem cells to study neurodevelopmental and psychiatric disorders in the Department of Human Genetics at UCLA.
mfwellslab.com
i write the data-driven politics newsletter Strength In Numbers: gelliottmorris.com/subscribe
wrote a book by the same name wwnorton.com/books/Strength-in-Numbers
polling averages at @fiftyplusone.news
formerly @ 538 & The Economist. email, don't DM, me
NLP assistant prof at KU Leuven, PI @lagom-nlp.bsky.social. I like syntax more than most people. Also multilingual NLP, interpretability, mountains and beer. (She/her)
Ph.D. student @ IUI. Studying #MachineLearning, #NeuroSymbolicAI
CSE Ph.D. student at @UCSC. Research interests in Human-Centered Explainable AI (#xai), Neurosymbolic AI & Law (#NeSy). Ex-Software Engineer. Views are my own.
Professor at UT Nuremberg, Germany
Iβm π«π· and I work on RL and lifelong learning. Mostly posting on ML related topics.
Machine learning
Google DeepMind
Paris
this is him here
I write books about programming --> https://shop.jcoglan.com/
god created him and demanded that he die
information science professor (tech ethics + internet stuff)
kind of a content creator (elsewhere also @professorcasey)
though not influencing anyone to do anything except maybe learn things
she/her
more: casey.prof
Tired person, fighter. Labor, data, DH, obsolete software, database history, etc. Seeing Like a Supply Chain out from Yale UP in fall 2026. Speaking for myself, not my employer.
Associate Professor, ESADE | PhD, Machine Learning & Public Policy, Carnegie Mellon | Previously FAccT EC | Algorithmic fairness, human-AI collab | π¨π΄ π she/her/ella.