oIi123's repositories
ColBERT
ColBERT: Contextualized Late Interaction over BERT (SIGIR'20)
Language:PythonMIT000
idea-php-annotation-plugin
Add PHP annotation support for PhpStorm and IntelliJ
Language:JavaMIT000
jhwutils
Various utilities for lecturing
Language:PythonMIT000
Language:Jupyter Notebook000
PyTorch-EMDLoss
PyTorch 1.0 implementation of the approximate Earth Mover's Distance
Language:Cuda000
TableauxProver
Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic