Showing 21–40 of 54 results
/ Date/ Name
Jan 9, 2019Spectral Approach to Verifying Non-linear Arithmetic CircuitsJul 25, 2024MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library TuningJul 15, 2025Mapping Fusion: Improving FPGA Technology Mapping with ASIC MapperNov 17, 2020Contrastive Weight Regularization for Large Minibatch SGDDec 1, 2020Artificial Intelligence Accelerators based on Graphene Optoelectronic DevicesAug 19, 2023Accelerating Exact Combinatorial Optimization via RL-based Initialization -- A Case Study in SchedulingMar 2, 2024Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on CircuitsAug 2, 2024Digitized Phase Change Material Heterostack for Diffractive Optical Neural NetworkDec 24, 2025ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized MultipliersMar 30, 2026Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial SchedulingFeb 7, 2026All-Optical Segmentation via Diffractive Neural Networks for Autonomous DrivingFeb 7, 2026HoloGraph: All-Optical Graph Learning via Light DiffractionSep 20, 2021Physics-Guided and Physics-Explainable Recurrent Neural Network for Time Dynamics in Optical ResonancesMar 14, 2023Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean NetworksApr 15, 2025E-morphic: Scalable Equality Saturation for Structural Exploration in Logic SynthesisApr 8, 2025BoolE: Exact Symbolic Reasoning via Boolean Equality SaturationSep 23, 2025A Scalable Lift-and-Project Differentiable Approach For the Maximum Cut ProblemApr 15, 2026TOPCELL: Topology Optimization of Standard Cell via LLMsOct 11, 2023DAG-aware Synthesis OrchestrationAug 4, 2025Revisit Choice Network for Synthesis and Technology Mapping