Mateja Jamnik

Variational Autoencoders for Cancer Data Integration: Design Principles and Computational Practice

Nikola Simidjievski, Cristian Bodnar, Ifrah Tariq et al. · Frontiers in Genetics · 2019 · 129 citations · Full text

Engineering, Machine Learning, Autoencoders +21

You shouldn’t trust me: Learning models which conceal unfairness from multiple explanation methods.

Botty Dimanov, Umang Bhatt, Mateja Jamnik et al. · Apollo (University of Cambridge) · 2020 · 54 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +28

On Automating Diagrammatic Proofs of Arithmetic Arguments

Mateja Jamnik, Alan Bundy, Ian Green · Journal of Logic Language and Information · 1999 · 47 citations

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages

Gem Stapleton, Mateja Jamnik, Atsushi Shimojima · Journal of Logic Language and Information · 2017 · 45 citations · Full text

Cognitive Science, Information Model, Information Behavior +13

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li et al. · arXiv (Cornell University) · 2022 · 41 citations · Full text

Artificial Intelligence, Engineering, Verification +19