I have worked on some hardened steel with diamond files, solid carbide drills (run slow) and stones both round, flat and trianglular. The stones were used to perform some file work to the back of the blade. A belt sander with aluminum oxide belts will remove metal from you knife blade or hardened steel. Knife blades are usually close to being finished prior to hardening as they become more difficult to work with after. The final edge and polishing is done after heat treating. This is what has worked for me in the past. I'm sure others have their methods as well. Good luck.