Dakai Zhu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Test Collection

Retrieval Model

Language Modeling

Top Venues

Publications

Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR (2023)