PaperHub
影响力指数
47.87/100
前 9.6%
全站排名 #6,172
发表论文7 篇
平均评分6.0
年均产出2.3 篇/年
AI 学术分析

Zhaoyu Li

PhD student@University of Toronto·加拿大·OpenReview
研究方向

Neuro-Symbolic AI · Large Language Models for reasoning · Formal Theorem Proving · Combinatorial Optimization · SAT Solving

发表论文（7 篇）

合作者 (20)