Wim Van den Broeck
Stilling
Forsker
罢颈濒丑酶谤颈驳丑别迟
Kort info
Mitt akademiske arbeid omhandler symbolske algoritmer; algoritmer som bruker datastrukturer som representerer komplekse matematiske objekter implisitt snarere enn eksplisitt. Jeg utforsker anvendelser av symbolske algoritmer innen parametrisert kompleksitet, grafproblemer, KI, databaseteori osv.
Formidling
The 39th Annual AAAI Conference on Artificial Intelligence (AAAI) Feb. 2025, Philadelphia, USA
- Ga b氓de en presentasjon og en posterpresentasjon for artikkelen med tittel "Symbolic Functional Decomposition: A reconfiguration Approach"
33rd International Joint Conference on Artificial Intelligence (IJCAI) Aug. 2024, Jeju, South Korea
- Ga b氓de en presentasjon og en posterpresentasjon for artikkelen med tittel "Optimal Extended Formulations from Optimal Dynamic Programming Algorithms"
Publikasjoner
, (Manuscript)
, (AAAI '25)
, (IJCAI '24)
Prosjekter
Symbolic Algorithms for Neuro-Symbolic Artificial Intelligence*
Research project conducted at UCLA's StarAI Lab, exploring the use of symbolic data structures for enabling tractable reasoning in AI models.
Jan. 2025 -Jul. 2025