Bibtools is a BibTeX verification tool that uses Semantic Scholar as ground truth to verify, fetch,...