<human>: I've been working in the same building as this coworker for nearly 6 months now, and although we don't work in the same teams we have semi-regular meetings that we both attend and also similar social circles (we're both part of my works graduate programme).

My coworker constantly belittles my job, job title and day to day tasks because he thinks he's in a superior team. He masks all his insults under the front of "a joke" but I know it's not. Nearly all the time he'll call me my managers "slave" or "bitch" despite knowing NOTHING about what I actually do, for no reason. 

Whenever I retaliate he'll say something like "I hope I meet you outside of work so I can break your legs or something". An obvious lie just cause he thinks he's funny, but I don't find it funny. Especially in a work environment. 

After most insults he'll usually state "You just can't take it can you?" as in I can't actually take a joke, even though I've told him multiples times he's not cool or funny by belittling me.

So I've had enough, but I don't want to go to HR. I feel as if he lost his job because of this, the other graduates in my work area will almost certainly hate me (they also sometimes parrot his jokes, but are bearable) My plan is to tell my manager of his misconduct and get him in trouble (he's still on probation, so this could seriously affect his future in the company, which I would be more than happy with.)

If that's not a suitable option what should I do? I'm not sitting through another lunch or social gathering with him acting like this.

Give me the gist of the text in a nutshell
<bot>: Coworker belittles me and I'm tired of it. Wondering if there's a better alternative than escalating to my manager/HR, seeing as it may affect how I'm treated by my peers.