Elias, Proudfoot, and Wakefield conjectured that the Kazhdan-Lusztig polynomial of any matroid is log-concave. Inspired by a computer proof of Moll's log-concavity conjecture given by Kauers and Paule, we use a computer algebra system to prove the conjecture for uniform matroids and thagomizer matroids.