Seguir
Edith Heiter
Título
Citado por
Citado por
Ano
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
482020
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
372018
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
52023
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
22022
ExClus: Explainable Clustering on Low-dimensional Data Representations
X Vankwikelberge, B Kang, E Heiter, J Lijffijt
arXiv preprint arXiv:2111.03168, 2021
22021
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
12024
Topologically Regularized Data Embeddings
E Heiter, R Vandaele, T De Bie, Y Saeys, J Lijffijt
arXiv preprint arXiv:2301.03338, 2023
12023
Factoring out prior knowledge from low-dimensional embeddings
E Heiter, J Fischer, J Vreeken
arXiv preprint arXiv:2103.01828, 2021
12021
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–10