conftrace_

logic synthesis

6 papers

Explore in graph

Also known as

LS

Co-occurring keywords · papers mentioning both

graph neural network (2) approximate solving (1) circuit quality estimation (1) hierarchical logic (1) cause-effect logic (1) white-box program (1) and-inverter graph (1) masked gate modeling (1) verilog-aig alignment (1) boolean circuit minimization (1)

Papers

Circuit Representation Learning with Masked Gate Modeling and Verilog-AIG Alignment ICLR 2025 The Graph’s Apprentice: Teaching an LLM Low-Level Knowledge for Circuit Quality Estimation IJCAI 2025 Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization ICLR 2024 Towards Next-Generation Logic Synthesis: A Scalable Neural Circuit Generation Framework NeurIPS 2024 GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis NeurIPS 2022 Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017