4 ms·AI Linting of papers isn't such a bad idea. There's a lot of crappy papers out there.by mhh__ 3y agoAI Linting of papers isn't such a bad idea. There's a lot of crappy papers out there.