vix.ing · top · new · best · stats · spec

Yu, Cunxi

  1. Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks
    2023/03/14 by Wu, Nan, Li, Yingjie, Hao, Cong +3 · 12 citations
    #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
  2. Developing Synthesis Flows Without Human Knowledge
    2018/04/16 by Cunxi Yu, Houping Xiao, Yu, Cunxi +3 · 4 citations
    Computer Science · Engineering · #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Manufacturing Process and Optimization #Parallel #VLSI and Analog Circuit Testing #VLSI and FPGA Design Techniques #and Cluster Computing (cs.DC)
  3. E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
    2024/03/21 by Chen Chen, Chen, Chen, Guangyu Hu +9 · 6 citations
    Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Formal Methods in Verification
  4. Physics-aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks
    2022/09/28 by Yingjie Li, Ruiyang Chen, Li, Yingjie +5 · 2 citations
    Computer Science · Engineering · #Neural Networks and Reservoir Computing #Photonic and Optical Devices #Optical Network Technologies
  5. Differentiable Combinatorial Scheduling at Scale
    2024/06/06 by Yingjie Li, Liu, Mingju, Li, Yingjie +6 · 5 citations
    Computer Science · Decision Sciences · Engineering · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Scheduling and Optimization Algorithms #Scheduling and Timetabling Solutions
  6. BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation
    2024/01/19 by Yingjie Li, Anthony Agnesina, Li, Yingjie +7 · 3 citations
    Materials Science · Computer Science · Engineering · #Machine Learning in Materials Science #Computational Drug Discovery Methods #Fuel Cells and Related Materials
  7. Autonomous Code Evolution Meets NP-Completeness
    2025/09/09 by C. Yu, Yu, Cunxi, Rongjian Liang +5 · 5 citations
    Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Machine Learning in Materials Science #Software Engineering Research
  8. Verilog-to-PyG -- A Framework for Graph Learning and Augmentation on RTL Designs
    2023/11/09 by Yingjie Li, Li, Yingjie, Liu, Mingju +4 · 3 citations
    Business, Management and Accounting · Engineering · Materials Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Manufacturing Process and Optimization #Product Development and Customization
  9. RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs
    2023/04/10 by Jiaqi Yin, Yingjie Li, Yin, Jiaqi +5 · 3 citations
    Computer Science · Engineering · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Machine Learning and Data Classification
  10. Advanced Datapath Synthesis using Graph Isomorphism
    2017/08/31 by Yu, Cunxi, Choudhury, Mihir, Sullivan, Andrew +1 · 1 citation
    #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
  11. Optical Neural Engine for Solving Scientific Partial Differential Equations
    2024/09/10 by Yingheng Tang, Tang, Yingheng, Ruiyang Chen +12 · 2 citations
    Computer Science · #FOS: Physical sciences #Neural Networks and Applications #Optics (physics.optics)
  12. Differentiable Quadratic Optimization For The Maximum Independent Set Problem
    2024/06/27 by Ismail Alkhouri, Cedric Le Denmat, Alkhouri, Ismail +11 · 3 citations
    Computer Science · Neuroscience · #Brain Tumor Detection and Classification #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and ELM #Neural Networks and Applications
  13. HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
    2025/06/02 by Jiaqi Yin, Yin, Jiaqi, Song Zhan +7 · 4 citations
    Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
  14. Physics-aware Roughness Optimization for Diffractive Optical Neural Networks
    2023/04/04 by Zhou, Shanglin, Li, Yingjie, Lou, Minhan +4 · 1 citation
    #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #I.2 #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE)
  15. Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture
    2023/04/25 by Yingjie Li, Weilu Gao, Li, Yingjie +3 · 1 citation
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Neural Networks and Reservoir Computing #Optical Network Technologies #Optics (physics.optics) #Photonic and Optical Devices
  16. MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning
    2024/07/25 by Liu, Mingju, Daniel P. Robinson, Yingjie Li +4 · 3 citations
    Engineering · #Advancements in Semiconductor Devices and Circuit Design #Artificial Intelligence (cs.AI) #CCD and CMOS Imaging Sensors #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Image Processing Techniques and Applications
  17. LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks
    2023/06/20 by Yingjie Li, Ruiyang Chen, Li, Yingjie +9 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Physical sciences #Hardware Architecture (cs.AR) #Neural Networks and Reservoir Computing #Optical Network Technologies #Optics (physics.optics) #Photonic and Optical Devices
  18. Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets
    2019/04/15 by Cunxi Yu, Yu, Cunxi, Zhiru Zhang +1 · 1 citation
    Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #VLSI and Analog Circuit Testing #VLSI and FPGA Design Techniques
  19. e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
    2025/08/18 by Jiaqi Yin, Zhan Song, Yin, Jiaqi +9 · 3 citations
    Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Semantic Web and Ontologies
  20. E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis
    2025/04/15 by Chen Chen, Chen, Chen, Guoxiong Hu +7 · 4 citations
    Engineering · Computer Science · #VLSI and FPGA Design Techniques #Embedded Systems Design Techniques #Low-power high-performance VLSI design
  21. Accelerating Exact Combinatorial Optimization via RL-based Initialization -- A Case Study in Scheduling
    2023/08/19 by Yin, Jiaqi, Yu, Cunxi · 2 citations
    #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)