Are there companies that ask a lot of leetcode bards in their interviews? That seems like overkill even for FAANGs though I can see why some groups might do so purely to filter by Math ability/interest.