A Coq library of undecidable problems Y Forster, D Larchey-Wendling, A Dudenhefner, E Heiter, D Kirst, F Kunze, ... CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, 2020 | 48 | 2020 |
Verification of PCP-related computational reductions in Coq Y Forster, E Heiter, G Smolka Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 37 | 2018 |
Revised Conditional t-SNE: Looking Beyond the Nearest Neighbors E Heiter, B Kang, R Seurinck, J Lijffijt International Symposium on Intelligent Data Analysis, 169-181, 2023 | 5 | 2023 |
Evaluating Representation Learning and Graph Layout Methods for Visualization E Heiter, B Kang, T De Bie, J Lijffijt IEEE Computer Graphics and Applications 42 (3), 19-28, 2022 | 2 | 2022 |
ExClus: Explainable Clustering on Low-dimensional Data Representations X Vankwikelberge, B Kang, E Heiter, J Lijffijt arXiv preprint arXiv:2111.03168, 2021 | 2 | 2021 |
Pattern or Artifact? Interactively Exploring Embedding Quality with TRACE E Heiter, L Martens, R Seurinck, M Guilliams, T De Bie, Y Saeys, J Lijffijt Joint European Conference on Machine Learning and Knowledge Discovery in …, 2024 | 1 | 2024 |
Topologically Regularized Data Embeddings E Heiter, R Vandaele, T De Bie, Y Saeys, J Lijffijt arXiv preprint arXiv:2301.03338, 2023 | 1 | 2023 |
Factoring out prior knowledge from low-dimensional embeddings E Heiter, J Fischer, J Vreeken arXiv preprint arXiv:2103.01828, 2021 | 1 | 2021 |
Large Language Models Reflect the Ideology of their Creators M Buyl, A Rogiers, S Noels, I Dominguez-Catena, E Heiter, R Romero, ... arXiv preprint arXiv:2410.18417, 2024 | | 2024 |
Incorporating Topological Priors into Low-Dimensional Visualizations through Topological Regularization E Heiter, R Vandaele, T De Bie, Y Saeys, J Lijffijt IEEE Access, 2024 | | 2024 |