In the high-faithfulness range (90%, 95%), the robust model requires significantly fewer circuit edges.