9 citations · 10 across the 4 of their papers we have counts for
4 papers
Sound Interval-Based Synthesis for Probabilistic Programs
Guilherme Espada, Alcides Fonseca
Probabilistic programming has become a standard practice to model stochastic events and learn about the behavior of nature in different scientific contexts, ranging from Genetics a…
Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition
F. O. de Franca, M. Virgolin, M. Kommenda +21
Symbolic regression searches for analytic expressions that accurately describe studied phenomena. The main attraction of this approach is that it returns an interpretable model tha…
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
Guilherme Espada, Leon Ingelse, Paulo Canelas +2
Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Softw…
Type Systems in Resource-Aware Programming: Opportunities and Challenges
Alcides Fonseca, Guilherme Espada
Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to pre…