Sorry I think my advice is shitty but just trying to think through what I'd do in your situation.
How would it go down if next time they 'complimented' you, you asked "Do you mean that sincerely?" they may need to double down and actually explain how they were praising your work, shifting it into a commendation on your work from then on. That's a a tick in your favour w HR as you can then say "I was consistently praised for my work". Or they'll have to come clean and admit it's sarcastic, in which case they're admitting harassment.
Idk basically asking them to out themselves in a less confrontational way. However I don't think it'll change their attitude so it's maybe a lost cause in the long run, they'll probably find other ways to get back at you.
Edit: I mean like it sounds as though this is the approach you're already using re. your 'house trained' comment. Ig I'm too housebroken too