Pinned Repositories
CBaaS
Center for Brains Minds and Machines as a Service
cochleagram
Cochlear sound spectrum
eccentricity
implementation of eccentricity-dependent model for object recognition
learn2learn
A PyTorch Library for Meta-learning Research
NLP_seq2seq_models
stream-norm
tagging
Psychophysics web experiment platform
tensorflow-template
A skeleton project for working with tensorflow in Python
ultimate-anatome
Ἀνατομή is a PyTorch library to analyze representation of neural networks
wiki
Wiki repository for CBMM; documentation for how to use our technologies and on-board as a new student
CBMM's Repositories
CBMM/cochleagram
Cochlear sound spectrum
CBMM/wiki
Wiki repository for CBMM; documentation for how to use our technologies and on-board as a new student
CBMM/learn2learn
A PyTorch Library for Meta-learning Research
CBMM/tensorflow-template
A skeleton project for working with tensorflow in Python
CBMM/annotation-widget
CBMM/CBMM.github.io
CBMM Software Core Page
CBMM/Does-MAML-Only-Work-via-Feature-Re-use-A-Data-Set-Centric-Perspective
Does MAML Only Work via Feature Re-use? A Data Set Centric Perspective
CBMM/FormalML
Formalization of Machine Learning Theory with Applications to Program Synthesis
CBMM/gamepad
A Learning Environment for Theorem Proving
CBMM/ultimate-anatome
Ἀνατομή is a PyTorch library to analyze representation of neural networks
CBMM/ARC
The Abstraction and Reasoning Corpus
CBMM/aws-cv-task2vec
Official code for the paper "Task2Vec: Task Embedding for Meta-Learning" (https://arxiv.org/abs/1902.03545, ICCV 2019)
CBMM/cdfsl-benchmark
(ECCV 2020) Cross-Domain Few-Shot Learning Benchmarking System
CBMM/coq_serapy
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
CBMM/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
CBMM/EfficientZero
Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.
CBMM/egg
egg is a flexible, high-performance e-graph library
CBMM/evals-for-autoformalization
CBMM/Generalization-Puzzles-in-Deep-Networks-1
CBMM/mathematics_dataset
CBMM/nlab
Source code for the nLab
CBMM/plugin-tutorial
Yet another plugin tutorial, this time as an exercise for 598
CBMM/proverbot9001
CBMM/pycoq
python API to coq-serapi
CBMM/Reducing-Training-Time-with-More-Data-a-Review-18.409-project
CBMM/sentencepiece
Unsupervised text tokenizer for Neural Network-based text generation.
CBMM/snap-cluster-setup
CBMM/tacheles
a lightweight, open-source blueprint for building powerful and scalable LLM chat applications
CBMM/thoughts-on-ai-for-theorem-proving
CBMM/ultimate-utils
Brando's utils