Not finding it? Sign in to also search OpenAlex live.
-
Auditing Syndrome-to-Decoder Mappings for Repetition, Surface, CSS, and Digitized-GKP Interfaces2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Dennis Delali Kwesi Wayo, Chinonso Onah, Rodrigo Alves Dias, Leonardo Goliatt, Sven Groppe
0citations -
Case-Grounded Evidence Verification: A Framework for Constructing Evidence-Sensitive Supervision2026 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access
Soroosh Tayebi Arasteh, Mehdi Joodaki, Mahshad Lotfinia, Sven Nebelung, Daniel Truhn
0citations -
Implementing a Secure CI/CD Pipeline for Verifiable Trust in a Federated Health Data Network2026 Studies in health technology and informatics book-chapter Computer Science Information and Cyber Security Open access
Alexander Kombeiz, Emily Wedek, Simon Hüning, Hauke Heidemeyer, Raphael W. Majeed, Rainer Röhrig, +1 more
0citations -
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
Is ChatGPT Good at Search? Investigating Large Language Models as Re-Ranking Agents2023 Conference on Empirical Methods in Natural Language Processing (EMNLP) conference-paper Computer Science Information Retrieval and Search Behavior Open access
Weiwei Sun, Lingyong Yan, Xinyu Ma, Shuaiqiang Wang, Pengjie Ren, Zhumin Chen, +2 more
235citations