publication venue for SciKGTeX - A LATEX Package to Semantically Annotate Contributions in Scientific Publications 2023 Zero-Shot Entailment of Leaderboards for Empirical AI Research 2023