Implementation and Synthesis of Math Library Functions.

Ian Briggs Yash Lad Pavel Panchekha

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

data structure
implementation details
decision making
general purpose
neural network
image segmentation
multi agent
lower bound
relational databases
functional decomposition