FrontierCS: Evolving Challenges for Evolving Intelligence. - Qiuyang Mang; Wenhao Chai; Zhifei Li; Huanzhi Mao; Shang Zhou; Alexander Du; Hanchen Li; Shu Liu; Edwin Chen; Yichuan Wang; Xieting Chu; Zerui Cheng; et al. (CoRR, 2025)

An Extensible and Verifiable Language for Query Rewrite Rules. - Sicheng Pan; Shuxian Wang; Wesley Zheng; Zirong Zeng; Vijay Sharma; Alvin Cheung (CoRR, 2026)