2025-11-032025-11-03https://hdl.handle.net/11420/5844040th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025Conference