Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.Sign up
302 contributions in the last year
Created a pull request in castorini/anserini that received 1 comment
Created an issue in castorini/anserini that received 2 comments
When I index
core17 with 1 thread
IndexReader.leaves() produces two leaves.
robust04, it correctly produces one leaf.
Here the index…