Popular repositories Loading

1. autoformalization autoformalization Public

   Generating lean 3 proof assistant code from arxiv.org identifiers

   Jupyter Notebook 5

2. neural-matrix-completion neural-matrix-completion Public

   Comparison of Neural Compression Models with Matrix Completion Numerical Methods

   Jupyter Notebook 3

3. iac_bedrock iac_bedrock Public

   Forked from cybergolemai/iac_bedrock

   JavaScript

4. OpenCBP OpenCBP Public

   Solar Battery Demand Response (DR) Capacity Bidding Program (CPB) Bid Management Watchdog

   TeX 1

5. inferencejs-nextjs-example inferencejs-nextjs-example Public

   Forked from roboflow/inferencejs-nextjs-example

   TypeScript

6. notebooks notebooks Public

   Forked from roboflow/notebooks

   This repository offers a comprehensive collection of tutorials on state-of-the-art computer vision models and techniques. Explore everything from foundational architectures like ResNet to cutting-e…

   Jupyter Notebook