1 citations · 1 across the 3 of their papers we have counts for
3 papers
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry +4
Mathematicians and computer scientists are increasingly leveraging proof assistants to formalize and check complex proofs, a task that demands substantial expertise. Can we lower t…
Controlled time series generation for automotive software-in-the-loop testing using GANs
Dhasarathy Parthasarathy, Karl Bäckström, Jens Henriksson +1
Testing automotive mechatronic systems partly uses the software-in-the-loop approach, where systematically covering inputs of the system-under-test remains a major challenge. In cu…
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
At the workshop on Trends in Functional Programming in Education (TFPIE) in 2015 Ionescu and Jansson presented the approach underlying the "Domain Specific Languages of Mathematics…