Efficient Pruning via Entailment Cardinality Estimation for Fast Top-Down Logic Rule Mining. - Ruoyu Wang; Raymond Wong; Daniel Sun 006 (ICDE, 2025)

When Prompt Engineering Meets Software Engineering: CNL-P as Natural and Robust "APIs" for Human-AI Interaction. - Zhenchang Xing; Yang Liu 003; Zhuo Cheng; Qing Huang; Dehai Zhao; Daniel Sun 006; Chenhua Liu (ICLR, 2025)