Formalizing and benchmarking open problems in single-cell genomics - View it on GitHub