{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"snap-cluster-setup","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":22,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T22:08:26.700Z"}},{"type":"Public","name":"evals-for-autoformalization","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":22,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-17T23:51:47.439Z"}},{"type":"Public","name":"sentencepiece","owner":"CBMM","isFork":true,"description":"Unsupervised text tokenizer for Neural Network-based text generation.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1124,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-20T04:13:00.312Z"}},{"type":"Public","name":"proverbot9001","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":17,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T17:50:15.864Z"}},{"type":"Public","name":"coq_serapy","owner":"CBMM","isFork":true,"description":"Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T17:50:03.505Z"}},{"type":"Public","name":"egg","owner":"CBMM","isFork":true,"description":"egg is a flexible, high-performance e-graph library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":121,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-22T17:12:13.624Z"}},{"type":"Public","name":"plugin-tutorial","owner":"CBMM","isFork":true,"description":"Yet another plugin tutorial, this time as an exercise for 598","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-02T15:57:52.277Z"}},{"type":"Public","name":"Does-MAML-Only-Work-via-Feature-Re-use-A-Data-Set-Centric-Perspective","owner":"CBMM","isFork":true,"description":"Does MAML Only Work via Feature Re-use? A Data Set Centric Perspective","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-08T03:59:23.512Z"}},{"type":"Public","name":"Reducing-Training-Time-with-More-Data-a-Review-18.409-project","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-24T19:40:53.357Z"}},{"type":"Public","name":"learn2learn","owner":"CBMM","isFork":true,"description":"A PyTorch Library for Meta-learning Research","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":344,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-07T07:07:42.445Z"}},{"type":"Public","name":"EfficientZero","owner":"CBMM","isFork":true,"description":"Open-source codebase for EfficientZero, from \"Mastering Atari Games with Limited Data\" at NeurIPS 2021.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":131,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-02T05:01:33.496Z"}},{"type":"Public","name":"thoughts-on-ai-for-theorem-proving","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-01T13:40:16.951Z"}},{"type":"Public","name":"ultimate-anatome","owner":"CBMM","isFork":true,"description":"Ἀνατομή is a PyTorch library to analyze representation of neural networks","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-26T16:03:47.653Z"}},{"type":"Public","name":"nlab","owner":"CBMM","isFork":true,"description":"Source code for the nLab","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-03T13:51:00.179Z"}},{"type":"Public","name":"ultimate-utils","owner":"CBMM","isFork":true,"description":"Brando's utils","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-02T18:13:31.391Z"}},{"type":"Public","name":"pycoq","owner":"CBMM","isFork":true,"description":"python API to coq-serapi","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-20T20:54:21.767Z"}},{"type":"Public","name":"ARC","owner":"CBMM","isFork":true,"description":"The Abstraction and Reasoning Corpus","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":404,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-16T16:22:07.102Z"}},{"type":"Public","name":"FormalML","owner":"CBMM","isFork":true,"description":"Formalization of Machine Learning Theory with Applications to Program Synthesis","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":17,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-24T14:56:07.047Z"}},{"type":"Public","name":"CBMM.github.io","owner":"CBMM","isFork":false,"description":"CBMM Software Core Page","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-11T16:53:05.769Z"}},{"type":"Public","name":"annotation-widget","owner":"CBMM","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-11T16:46:29.922Z"}},{"type":"Public","name":"CoqGym","owner":"CBMM","isFork":true,"description":"A Learning Environment for Theorem Proving with the Coq proof assistant","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":50,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-27T17:57:55.733Z"}},{"type":"Public","name":"Generalization-Puzzles-in-Deep-Networks-1","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-05T00:33:33.204Z"}},{"type":"Public","name":"cdfsl-benchmark","owner":"CBMM","isFork":true,"description":"(ECCV 2020) Cross-Domain Few-Shot Learning Benchmarking System","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":47,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-06T19:27:35.897Z"}},{"type":"Public","name":"aws-cv-task2vec","owner":"CBMM","isFork":true,"description":"Official code for the paper \"Task2Vec: Task Embedding for Meta-Learning\" (<a href=\"https://arxiv.org/abs/1902.03545\" rel=\"nofollow\">https://arxiv.org/abs/1902.03545</a>, ICCV 2019)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":24,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T20:34:46.257Z"}},{"type":"Public","name":"cochleagram","owner":"CBMM","isFork":false,"description":"Cochlear sound spectrum","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":36,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-29T20:05:30.255Z"}},{"type":"Public","name":"mathematics_dataset","owner":"CBMM","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":238,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-04T16:27:34.301Z"}},{"type":"Public","name":"gamepad","owner":"CBMM","isFork":true,"description":"A Learning Environment for Theorem Proving","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-05T02:50:15.302Z"}},{"type":"Public","name":"wiki","owner":"CBMM","isFork":false,"description":"Wiki repository for CBMM; documentation for how to use our technologies and on-board as a new student","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-26T01:00:33.182Z"}},{"type":"Public","name":"tensorflow-template","owner":"CBMM","isFork":false,"description":"A skeleton project for working with tensorflow in Python","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-04T23:18:08.280Z"}},{"type":"Public","name":"lean-python-bindings","owner":"CBMM","isFork":true,"description":" Python Bindings to the Lean Theorem Prover <a href=\"http://leanprover.github.io/\" rel=\"nofollow\">http://leanprover.github.io/</a>","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-12T22:35:09.115Z"}}],"repositoryCount":48,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}