Not finding it? Sign in to also search OpenAlex live.
-
How Does Chain of Thought Think? Mechanistic Interpretability of Chain-of-Thought Reasoning with Sparse Autoencoding0citations
-
CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism2023 IEEE International Conference on High Performance Computing, Data, and Analytics conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Henk Dreuning, Kees Verstoep, Henri E. Bal, Rob V. van Nieuwpoort
0citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Low-Resource Vision Challenges for Foundation Models11citations
-
New Tunable Test Problems for Benchmarking Niching Methods for Multimodal Optimization2024 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research
Ali Ahrari, Jonathan Edward Fieldsend, Mike Preuß, Xiaodong Li, Michael G. Epitropakis
4citations -
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