影响力指数

7.03/100

超过 22%

全站排名 #50,232

发表论文1 篇

平均评分6.0

年均产出1.0 篇/年

Yang Hu

Researcher@Amazon·美国·OpenReview

研究方向

software security · automated reasoning · GenAI for security

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

ICLR 2024Poster

合作者 (5)

Kenneth McMillan

Risto Miikkulainen

Sarfraz Khurshid