From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Jamnik, Mateja
add a person with the name Jamnik, Mateja
 

Другие публикации лиц с тем же именем

Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat., , и . CoRR, (2019)Bayesian Optimisation with Gaussian Processes for Premise Selection., , , , и . CoRR, (2019)Investigating Diagrammatic Reasoning with Deep Neural Networks., , и . Diagrams, том 10871 из Lecture Notes in Computer Science, стр. 390-398. Springer, (2018)Reasoning with Concept Diagrams about Antipatterns., , , и . LPAR (Short Presentations), том 1 из Kalpa Publications in Computing, стр. 27-42. EasyChair, (2017)MEME: Generating RNN Model Explanations via Model Extraction., , , и . CoRR, (2020)Evaluating Language Models for Mathematics through Interactions., , , , , , , , , и 4 other автор(ы). CoRR, (2023)Learning to Receive Help: Intervention-Aware Concept Embedding Models., , , , , и . CoRR, (2023)Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs., , , , , , , , и . CoRR, (2022)How Network-based and set-based visualizations aid consistency checking in ontologies., , , , и . VINCI, стр. 137-141. ACM, (2017)Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs., , , , , , , , и . ICLR, OpenReview.net, (2023)