黑料吃瓜资源

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