Seguir
Sólrún Halla Einarsdóttir
Título
Citado por
Citado por
Año
Controlled time series generation for automotive software-in-the-loop testing using GANs
D Parthasarathy, K Bäckstrom, J Henriksson, S Einarsdóttir
2020 IEEE International Conference On Artificial Intelligence Testing …, 2020
252020
Template-based theory exploration: discovering properties of functional programs by testing
SH Einarsdóttir, N Smallbone, M Johansson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
112020
Into the Infinite-Theory Exploration for Coinduction
SH Einarsdóttir, M Johansson, J Åman Pohjola
8*
Examples and results from a BSc-level course on domain specific languages of mathematics
P Jansson, SH Einarsdóttir, C Ionescu
Electronic Proceedings in Theoretical Computer Science 295, 79-90, 2019
42019
LOL: A library of lemma templates for data-driven conjecturing
SH Einarsdóttir, M Johansson, N Smallbone
Work-in-progress papers presented at the 15th Conference on Intelligent …, 2022
32022
Saint: An API-generic type-safe interpreter
M Algehed, P Jansson, SH Einarsdóttir, A Gerdes
International Symposium on Trends in Functional Programming, 94-113, 2018
22018
Lemma Discovery and Strategies for Automated Induction
SH Einarsdóttir, M Hajdu, M Johansson, N Smallbone, M Suda
International Joint Conference on Automated Reasoning, 214-232, 2024
12024
Theory Exploration for Programs and Proofs
SH Einarsdóttir
PQDT-Global, 2022
2022
Theory Exploration on Infinite Structures
SH Einarsdóttir
2017
On Lemma Conjecturing using Neural, Symbolic and Neuro-symbolic approaches
SH Einarsdóttir, Y Alhessi, E First, M Johansson
Towards neuro-symbolic conjecturing
SH Einarsdóttir, M Johansson, N Smallbone
Towards Big Theory Exploration
SH Einarsdóttir, M Johansson
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12