Shukai Zhao

Department of Computer Sciences, University of Rochester

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)Recommendation & Information Retrieval (1)

Frequent co-authors

Weizhi Fei (1)Zihao Wang (1)Wei Zhang (1)Yangqiu Song (1)

Papers (1)

May 25, 2026

Tsinghua AI6d ago·also HKUST, Rochester, TSY Capital

Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

Jointly ranking answers to complex knowledge graph queries with multiple free variables is now tractable, thanks to a neural-symbolic search method that avoids full enumeration.

Weizhi Fei, Zihao Wang, Shukai Zhao +2

Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought Recommendation & Information Retrieval