gt635 should be better but it really depends on the implementation! there are various versions with different specs
NVIDIA GeForce GT 635M
144 cores 709MHz, 128Bit GDDR5, e.g. MSI GX780
144 cores 590MHz, 192Bit DDR3, e.g. Dell XPS 17, Alienware M14x
144 cores 590MHz, 128Bit DDR3, e.g. Schenker XMG A501 / A701 (Clevo W150HRM / W170HN)
96 cores 753MHz, 128Bit GDDR5, e.g. Lenovo Y570p / Y560p
the marked one will have
a lot worse performance and maybe hd 4000 be close to that. games results may differ from benchmarks though! run a
gpu z to verify which one exactly do you have