• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Generalizable synthesis through unification.

Ruyi JiJingtao XiaYingfei XiongZhenjiang Hu
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • program synthesis
  • higher order
  • theorem prover
  • information systems
  • multimedia
  • equational theories
  • data sets
  • social networks
  • decision making
  • image processing
  • data structure
  • expert systems
  • facial expressions