Skip to content

@Yu-Maryland Yu-Maryland

Change the repository type filter

All

    Repositories list

    10 repositories

    • e-boost

      Public
      Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
      C++
      •0•1•1•0•Updated Aug 19, 2025Aug 19, 2025

    • BoolE

      Public
      Exact Symbolic Reasoning via Boolean Equality Saturation
      Rust
      •
      Other
      •1•13•0•0•Updated Jun 17, 2025Jun 17, 2025

    • MapTune

      Public
      MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu IEEE/ACM International Conference On Computer Aided Design (ICCAD'24)
      Python
      •2•21•1•0•Updated Apr 9, 2025Apr 9, 2025

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •646•0•0•0•Updated Jan 23, 2025Jan 23, 2025

    • Gamora

      Public
      Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
      C
      •
      Other
      •9•49•4•0•Updated Jan 8, 2025Jan 8, 2025

    • Differentiable_Scheduler_ICML24

      Public
      Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.
      Python
      •
      MIT License
      •1•21•0•0•Updated Oct 31, 2024Oct 31, 2024

    • ENEE759U

      Public
      C
      •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

    • Verilog-to-PyG

      Public
      C
      •3•24•3•1•Updated Apr 23, 2024Apr 23, 2024

    • RESPECT

      Public
      RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)
      Python
      •0•11•0•0•Updated Apr 13, 2023Apr 13, 2023

    • FlowTune

      Public
      C
      •27•185•1•0•Updated Nov 12, 2022Nov 12, 2022