
Kareem Ahmed
@kareemyousrii
Postdoc @ University of California, Irvine | PhD from CS@UCLA Neuro-Symbolic AI, Tractable Probabilistic Reasoning, Generative Models
ID: 99786716
27-12-2009 21:29:09
818 Tweet
319 Followers
691 Following





Yann LeCun SumTrader hey Yann, I think you missed works that show that logical reasoning can be *exactly* compiled into differentiable computational graphs, eg., proceedings.neurips.cc/paper_files/paโฆ and when exact compilation is not easy there are plenty of approximate inference scheme that work like a charm!



Check out our work on tokenization led by the amazing Renato Lui Geh! It turns out you should consider *many* ways of tokenizing a sentence, which surprisingly gives rise to a #neurosymbolic problem formulation!

Very happy that our work on tokenization led by Renato Lui Geh is now accepted at #EMNLP2024!

I'll be at #EMNLP2024 next week presenting our work on tokenization alongside Renato Lui Geh! Looking forward to meeting everyone and commiserating over just how hard the problem of tokenization is!


