activity
20162023
most citedFlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

28 citations · 38 across the 18 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.LG2023

Accelerating Exact Combinatorial Optimization via RL-based Initialization -- A Case Study in Scheduling

Jiaqi Yin, Cunxi Yu

Scheduling on dataflow graphs (also known as computation graphs) is an NP-hard problem. The traditional exact methods are limited by runtime complexity, while reinforcement learnin…

cs.AR2023★ 3 cited

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks

Nan Wu, Yingjie Li, Cong Hao +3

Reasoning high-level abstractions from bit-blasted Boolean networks (BNs) such as gate-level netlists can significantly benefit functional verification, logic minimization, datapat…