Login / Signup
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis.
Alexander Brauckmann
Elizabeth Polgreen
Tobias Grosser
Michael F. P. O'Boyle
Published in:
PACT (2023)
Keyphrases
</>
program synthesis
recursive programs
information retrieval
inductive logic programming
semi automatic
automatic indexing
information retrieval systems
query expansion
feature selection
high level
fully automatic
retrieval model
evaluation measures