Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Guided Tensor Lifting
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann +2
Domain-specific languages (DSLs) for machine learning are revolutionizing the speed and efficiency of machine learning workloads as they enable users easy access to high-performanc…
cs.SE2023
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis
Yixuan Li, Federico Mora, Elizabeth Polgreen +1
Syntax-guided synthesis is a paradigm in program synthesis in which the search space of candidate solutions is constrained by a syntactic template in the form of a grammar. These s…