Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices

1 code implementation • CVPR 2023 • Jingyi Xu, Tushar Vaidya, Yufei Wu, Saket Chandra, Zhangsheng Lai, Kai Fong Ernest Chong

We introduce algebraic machine reasoning, a new reasoning framework that is well-suited for abstract reasoning.

Visual Reasoning

ESRA: Explainable Scientific Research Assistant

no code implementations • ACL 2021 • Pollawat Hongwimol, Peeranuth Kehasukcharoen, Pasit Laohawarutchai, Piyawat Lertvittayakumjorn, Aik Beng Ng, Zhangsheng Lai, Timothy Liu, Peerapon Vateekul

We introduce Explainable Scientific Research Assistant (ESRA), a literature discovery platform that augments search results with relevant details and explanations, aiding users in understanding more about their queries and the returned papers beyond existing literature search systems.

Dependently Typed Knowledge Graphs

no code implementations • 8 Mar 2020 • Zhangsheng Lai, Aik Beng Ng, Liang Ze Wong, Simon See, Shaowei Lin

Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack.

Knowledge Graphs