Sign in

Synthesizing Precise Static Analyzers for Automatic Differentiation.

Jacob LaurelSiyuan Brant QianGagandeep SinghSasa Misailovic
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • information technology
  • data driven
  • database systems
  • fully automatic
  • data sets
  • artificial intelligence
  • information systems
  • pattern recognition
  • relational databases
  • highly accurate