Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Bridging the Sim-to-Real Gap in Semiconductor Visual Program Synthesis via Input Binarization
Yusuke Ohtsubo, Kota Dohi, Koichiro Yawata +2
Precise parametric control over circuit geometry is essential for semiconductor inspection, yet obtaining sufficient real training data remains costly. Although generative models s…
cs.AI2026
Hypergraph Neural Networks Accelerate MUS Enumeration
Hiroya Ijima, Koichiro Yawata
Enumerating Minimal Unsatisfiable Subsets (MUSes) is a fundamental task in constraint satisfaction problems (CSPs). Its major challenge is the exponential growth of the search spac…