All decks Close
All decks 14

  • Prompt Engineering for ChatGPT

    Sep 03, 2023 5 0

  • TV-for-Halide

    Dec 21, 2022 5 1

  • Superoptimization

    Aug 18, 2022 19 1

  • Stochastic Superoptimization

    Jul 10, 2022 2 0

  • Data-Driven Equivalence Checking

    Jul 10, 2022 14 2

  • ExAIS: Executable AI Semantics

    Mar 16, 2022 1 0

  • egg: Fast and Extensible Equality Saturation

    Jan 17, 2022 1 0

  • 期末报告

    Dec 28, 2021 2 0

  • deck

    Dec 27, 2021 0 0

  • Reading Report: Translation Validation

    Dec 21, 2021 2 0

  • A translation validator for optimizing

    Dec 14, 2021 4 0

  • Three Faces of Natual Deduction

    Jun 08, 2021 2 0

  • deck

    Dec 16, 2019 0 0

  • MMI

    A presentationi to introduce MMI

    Sep 17, 2019 12 0