-
Skolkovo Institute of Science and Technology
- Moscow, Russia
-
ColBERT Public
Forked from stanford-futuredata/ColBERTColBERT: state-of-the-art neural search (SIGIR'20, TACL'21, NeurIPS'21, NAACL'22, CIKM'22, ACL'23, EMNLP'23)
Python MIT License UpdatedMay 18, 2024 -
t5-experiments Public
Forked from booydar/recurrent-memory-transformerJupyter Notebook UpdatedOct 18, 2023 -
DPR Public
Forked from facebookresearch/DPRDense Passage Retriever - is a set of tools and models for open domain Q&A task.
Python Other UpdatedJun 1, 2023 -
-
DeforumStableDiffusionLocal Public
Forked from HelixNGC7293/DeforumStableDiffusionLocalLocal version of Deforum Stable Diffusion, supports txt settings file input and animation features!
Python MIT License UpdatedJan 20, 2023 -
lean_proof_recording Public
Forked from jasonrute/lean_proof_recordingProof recording for Lean 3
Jupyter Notebook Apache License 2.0 UpdatedJan 13, 2023 -
sexpdata Public
Forked from jd-boyd/sexpdataS-expression parser for Python
Python BSD 2-Clause "Simplified" License UpdatedSep 28, 2022 -
memorizing-transformers-pytorch Public
Forked from lucidrains/memorizing-transformers-pytorchImplementation of Memorizing Transformers (ICLR 2022), attention net augmented with indexing and retrieval of memories using approximate nearest neighbors, in Pytorch
Python MIT License UpdatedAug 19, 2022 -
coq_serapy Public
Forked from HazardousPeach/coq_serapyPython bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
Python UpdatedMay 30, 2022 -
-
-
-
-
-
-
adasegroup.github.io Public
Forked from adasegroup/adasegroup.github.ioOfficial website of the ADASE Group at Skoltech, Moscow
CSS MIT License UpdatedJul 11, 2020 -
BayesOpt_tutorial Public
Materials for the tutorial on Gaussian Processes and Bayesian Optimization
-
pandas-plink Public
Forked from limix/pandas-plinkPLINK reader for Python.
-
t3f Public
Forked from Bihaqo/t3fTensor Train decomposition on TensorFlow
Python MIT License UpdatedJul 17, 2018 -
-
tslearn Public
Forked from tslearn-team/tslearnA machine learning toolkit dedicated to time-series data
Python BSD 2-Clause "Simplified" License UpdatedJun 4, 2018 -
-
-
3DRetrieval Public
Forked from btgraham/SparseConvNet-archivedSpatially-sparse convolutional networks. Allows processing of sparse 2, 3 and 4 dimensional data.Build CNNs on the square/cubic/hypercubic or triangular/tetrahedral/hyper-tetrahedral lattices.
C++ UpdatedApr 11, 2016 -