Implementation and Synthesis of Math Library Functions.

Ian Briggs Yash Lad Pavel Panchekha

Published in: CoRR (2023)

Keyphrases

functional programs
databases
knowledge base
efficient implementation
database
artificial intelligence
bayesian networks
program synthesis
functional language