🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
"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...
"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...
With the help of Shrek!
With the help of Shrek!
With NeSy of course 👀 With applications in non-toxic LLM generation and safe AI driving!
@guyvdb.bsky.social
With NeSy of course 👀 With applications in non-toxic LLM generation and safe AI driving!
@guyvdb.bsky.social
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
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
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/
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/
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
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
📍 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 👇
📍 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 👇
Congratulations!
www.ijcai.org/awards
Congratulations!
www.ijcai.org/awards
Much of the leading data analysis is still being done outside soccer. Why?
@theguardian.com
www.theguardian.com/football/202...
Much of the leading data analysis is still being done outside soccer. Why?
@theguardian.com
www.theguardian.com/football/202...
TokShop explores tokenization across all data modalities. Topics include: subword NLP techniques, multimodal approaches, multilingual challenges, post-training modification, alternative representations, and statistical perspectives.
TokShop explores tokenization across all data modalities. Topics include: subword NLP techniques, multimodal approaches, multilingual challenges, post-training modification, alternative representations, and statistical perspectives.
We are looking forward to your works on:
🔌 #circuits and #tensor #networks 🕸️
⏳ normalizing #flows 💨
⚖️ scaling #NeSy #AI 🦕
🚅 fast and #reliable inference 🔍
...& more!
please share 🙏
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
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
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
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!
🌐 lnkd.in/dDK8T5Au
⏰ Submission deadline: May 23th AoE
🌴 Date: July 15th
🧵👇
🌐 lnkd.in/dDK8T5Au
⏰ Submission deadline: May 23th AoE
🌴 Date: July 15th
🧵👇
🗓 Session 1C — 🕦 11:30 AM SGT.
Title: Learning to Discretize Denoising Diffusion ODEs.
Come by if you're into #GenerativeAI / #DiffusionModels
🗓 Session 1C — 🕦 11:30 AM SGT.
Title: Learning to Discretize Denoising Diffusion ODEs.
Come by if you're into #GenerativeAI / #DiffusionModels
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/
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! 🇧🇷
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! 🇧🇷