Lukai Li

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Constraint Satisfaction

Machine Learning

Automated Analysis

Top Venues

Publications

Lukai Li, Luping Shi, Rong Zhao
A Vertical-Horizontal Integrated Neuro-Symbolic Framework Towards Artificial General Intelligence. AGI (2023)
Xiaokang Yin, Ruijie Cai, Yizheng Zhang, Lukai Li, Qichao Yang, Shengli Liu
Accelerating Command Injection Vulnerability Discovery in Embedded Firmware with Static Backtracking Analysis. IOT (2022)