Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Closing the Indexing-Decoding Gap in Multimodal Generative Retrieval via Prefix Retention Optimization2026 arXiv (Cornell University) preprint Computer Science Advanced Image and Video Retrieval Techniques Open access
Yufei Chen, Zihan Wang, Yubao Tang, Yukun Zhao, Maarten de Rijke, Zhaochun Ren
0citations -
Landscape-Aware Automated Algorithm Configuration using Multi-output Mixed Regression and Classification2024 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access
Fu Xing Long, Moritz A. Frenzel, Markus Gitterle, Thomas Bäck, Bas van Stein
0citations -
Believable Minecraft Settlements by Means of Decentralised Iterative Planning2023 arXiv (Cornell University) preprint Computer Science Artificial Intelligence in Games Open access
Arthur van der Staaij, Jelmer Prins, Vincent L. Prins, Julian Poelsma, Thera Smit, Matthias Müller-Brockhausen, +1 more
0citations