Skip to content

@CBMM The Center for Brains, Minds and Machines

Change the repository type filter

All

    Repositories list

    49 repositories

    • tacheles

      Public template
      a lightweight, open-source blueprint for building powerful and scalable LLM chat applications
      JavaScript
      •
      Apache License 2.0
      •2•0•0•0•Updated Jun 7, 2024Jun 7, 2024

    • snap-cluster-setup

      Public
      Python
      •
      Apache License 2.0
      •25•0•0•0•Updated Apr 16, 2024Apr 16, 2024

    • evals-for-autoformalization

      Public
      Python
      •
      Apache License 2.0
      •25•0•0•0•Updated Oct 17, 2023Oct 17, 2023

    • sentencepiece

      Public
      Unsupervised text tokenizer for Neural Network-based text generation.
      C++
      •
      Apache License 2.0
      •1.2k•0•0•0•Updated Jun 20, 2022Jun 20, 2022

    • proverbot9001

      Public
      Coq
      •
      GNU General Public License v3.0
      •18•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • coq_serapy

      Public
      Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
      Python
      •5•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • egg

      Public
      egg is a flexible, high-performance e-graph library
      Rust
      •
      MIT License
      •139•0•0•0•Updated Mar 22, 2022Mar 22, 2022

    • plugin-tutorial

      Public
      Yet another plugin tutorial, this time as an exercise for 598
      OCaml
      •
      The Unlicense
      •5•0•0•0•Updated Mar 2, 2022Mar 2, 2022

    • Does-MAML-Only-Work-via-Feature-Re-use-A-Data-Set-Centric-Perspective

      Public
      Does MAML Only Work via Feature Re-use? A Data Set Centric Perspective
      MIT License
      •1•1•0•0•Updated Dec 8, 2021Dec 8, 2021

    • Reducing-Training-Time-with-More-Data-a-Review-18.409-project

      Public
      TeX
      •1•0•0•0•Updated Nov 24, 2021Nov 24, 2021

    • learn2learn

      Public
      A PyTorch Library for Meta-learning Research
      Python
      •
      MIT License
      •355•2•0•0•Updated Nov 7, 2021Nov 7, 2021

    • EfficientZero

      Public
      Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.
      137•0•0•0•Updated Nov 2, 2021Nov 2, 2021

    • thoughts-on-ai-for-theorem-proving

      Public
      2•0•0•0•Updated Nov 1, 2021Nov 1, 2021

    • ultimate-anatome

      Public
      Ἀνατομή is a PyTorch library to analyze representation of neural networks
      Jupyter Notebook
      •
      MIT License
      •6•1•0•0•Updated Oct 26, 2021Oct 26, 2021

    • nlab

      Public
      Source code for the nLab
      Ruby
      •16•0•0•0•Updated Oct 3, 2021Oct 3, 2021

    • ultimate-utils

      Public
      Brando's utils
      Python
      •
      MIT License
      •11•0•0•0•Updated Sep 2, 2021Sep 2, 2021

    • pycoq

      Public
      python API to coq-serapi
      Jupyter Notebook
      •
      MIT License
      •8•0•0•0•Updated Aug 20, 2021Aug 20, 2021

    • ARC

      Public
      The Abstraction and Reasoning Corpus
      JavaScript
      •
      Apache License 2.0
      •619•0•0•0•Updated Aug 16, 2021Aug 16, 2021

    • FormalML

      Public
      Formalization of Machine Learning Theory with Applications to Program Synthesis
      Coq
      •
      Apache License 2.0
      •17•1•0•0•Updated May 24, 2021May 24, 2021

    • CBMM.github.io

      Public
      CBMM Software Core Page
      JavaScript
      •5•1•0•0•Updated May 11, 2021May 11, 2021

    • annotation-widget

      Public
      JavaScript
      •0•1•0•0•Updated May 11, 2021May 11, 2021

    • CoqGym

      Public
      A Learning Environment for Theorem Proving with the Coq proof assistant
      Coq
      •
      GNU Lesser General Public License v2.1
      •50•0•0•0•Updated Apr 27, 2021Apr 27, 2021

    • Generalization-Puzzles-in-Deep-Networks-1

      Public
      Python
      •2•0•0•0•Updated Mar 5, 2021Mar 5, 2021

    • cdfsl-benchmark

      Public
      (ECCV 2020) Cross-Domain Few-Shot Learning Benchmarking System
      Python
      •
      Apache License 2.0
      •48•0•0•0•Updated Nov 6, 2020Nov 6, 2020

    • aws-cv-task2vec

      Public
      Official code for the paper "Task2Vec: Task Embedding for Meta-Learning" (https://arxiv.org/abs/1902.03545, ICCV 2019)
      Python
      •
      Apache License 2.0
      •26•0•0•0•Updated Jul 7, 2020Jul 7, 2020

    • cochleagram

      Public
      Cochlear sound spectrum
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•36•1•0•Updated Feb 29, 2020Feb 29, 2020

    • mathematics_dataset

      Public
      Python
      •
      Apache License 2.0
      •250•0•0•0•Updated Apr 4, 2019Apr 4, 2019

    • gamepad

      Public
      A Learning Environment for Theorem Proving
      Coq
      •
      Apache License 2.0
      •15•1•0•0•Updated Jun 5, 2018Jun 5, 2018

    • wiki

      Public
      Wiki repository for CBMM; documentation for how to use our technologies and on-board as a new student
      2•3•1•0•Updated Feb 26, 2018Feb 26, 2018

    • tensorflow-template

      Public
      A skeleton project for working with tensorflow in Python
      Python
      •0•2•0•0•Updated Dec 4, 2017Dec 4, 2017