Tags

Logic Rewriting

Neuro-Symbolic

Preference Optimization

Verification

Xor-Majority-Inverter Graphs

generative models

logic synthesis

reinforcement learning

Logic synthesis; logic rewriting; majority-inverter graph; e-graph

3D Floorplanning