Not finding it? Sign in to also search OpenAlex live.
-
Constrained Auto-Regressive Decoding Constrains Generative Retrieval2025 International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) conference-paper Computer Science Information Retrieval and Search Behavior Open access
Shiguang Wu, Zhaochun Ren, Xin Xin, Jiyuan Yang, Mengqi Zhang, Zhumin Chen, +2 more
3citations -
Application of convex hull analysis for the evaluation of data heterogeneity between patient populations of different origin and implications of hospital bias in downstream machine-learning-based data processing: A comparison of 4 critical-care patient datasets
Konstantin Sharafutdinov, Jayesh Sudhir Bhat, Sebastian Johannes Fritsch, Kateryna Nikulina, Moein E. Samadi, Richard Polzin, +4 more
12citations -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations