Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment人工智能/ChatGPT/AIGC/生成式AIRAND Corporation2026-06-1953 页
Constant and Sustained Innovation as the Imperative for Hong Kong's Low Earth Orbit EconomyPOD Research Institute / 民思政策研究所2026-06-2776 页