Star AlbumentationsX on GitHub — it powers this leaderboard
topjohnwu/CAD-Contest-NP3
NP3: Non-exact Projective NPNP Boolean Matching