Welcome Remarks from AISoLA 2023/Track C2 Chairs
摘要
We are happy to present the proceedings of AISoLA’s Track C2: Verification meets Learning and Statistics.