Sign in

Implementation and Synthesis of Math Library Functions.

Ian BriggsYash LadPavel 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