TAKO@UVA

(Logo designed by Anna Cao)

The Trustworthy AI through Knowledge and Optimization (TAKO🐙) Lab performs research in artificial intelligence (AI) and machine learning (ML) with focus on neurosymbolic AI and probabilistic ML. Our goal is to enable and support decision-making in the real world in the presence of probabilistic uncertainty and symbolic knowledge (graph structures, logical, arithmetic, and physical constraints, etc) to achieve trustworthy AI and aid scientific discoveries.

Principal Investigator

Zhe Zeng

Zhe Zeng

Assistant Professor

PhDs

Zhizhen Chen
Zhizhen Chen

2025.8 - Now

Heng (Hugo) Zhao
Heng (Hugo) Zhao

2025.8 - Now

Xinpeng Wang
Xinpeng Wang

2025.8 - Now

Alumni

  • Ruoyan Li (UCLA undergraduate -> UCLA PhD student)
  • Vinay Shukla (UCLA undergraduate -> UCLA master student)
  • Wenzhe Li (Undergrad at Tsinghua University -> PhD student at Princeton University)
  • Fanqi Yan (Master at CAS -> PhD student at UT Austin)