Mini-ARC implementation and experiments
☆11Nov 13, 2024Updated last year
Alternatives and similar repositories for mini-arc
Users that are interested in mini-arc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Feb 22, 2025Updated last year
- ☆37May 24, 2026Updated 5 months ago
- A menu plugin et al for FelixKratz/SketchyBar☆11Sep 21, 2025Updated last year
- A Swedish Natural Language Understanding Benchmark☆11Sep 14, 2026Updated last month
- ARC Prize 2025☆15May 26, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Multiple datasets for ARC (Abstraction and Reasoning Corpus)☆94Mar 28, 2025Updated last year
- ☆230Jan 5, 2026Updated 9 months ago
- Public releases of the FLEE agent-based modelling code.☆19Aug 1, 2023Updated 3 years ago
- Solve the Vehicle Routing Problem (and its variants) using a hybrid solver and Qbsolv.☆20Dec 4, 2024Updated last year
- ☆12Mar 5, 2026Updated 7 months ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆363Feb 24, 2025Updated last year
- ☆32Mar 3, 2025Updated last year
- Transformer neural net learns to run Conway's Game of Life just from examples, https://sidsite.com/posts/life-transformer/☆13Oct 2, 2025Updated last year
- Create an AI capable of solving reasoning tasks it has never seen before☆99Jun 8, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆116Nov 25, 2025Updated 11 months ago
- Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably …☆15Apr 23, 2026Updated 6 months ago
- OpenAI Gym environment for Chess, using the game engine of the python-chess module☆10Jul 27, 2022Updated 4 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆11Jan 28, 2026Updated 9 months ago
- Military Grid Reference System Android Library☆11Apr 4, 2024Updated 2 years ago
- LocEmb: Location Embedding (Currently covering districts, roads, and businesses in Korea)☆11Aug 15, 2022Updated 4 years ago
- This is the implementation of the 4th place solution (yu4u's part) for RSNA 2024 Lumbar Spine Degenerative Classification at Kaggle.☆11Oct 11, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 3 years ago
- A data administration component library built on the Spectre.css framework enabled with CanJS☆23Apr 23, 2020Updated 6 years ago
- Our solution for the arc challenge 2024☆191Jun 17, 2025Updated last year
- The official implementation of AMPED (Adaptive Multi-Objective Projection for balancing Exploration and skill Diversification)☆14Jan 27, 2026Updated 9 months ago
- ☆12Dec 12, 2021Updated 4 years ago
- Implementation for the PHM paper at ICLR'21☆12Mar 1, 2023Updated 3 years ago
- Official implementation (compression part) for paper: Numerically Accurate Hyperbolic Embeddings Using Tiling-Based Models☆12Dec 1, 2019Updated 6 years ago
- RSNA 2024 Lumbar Spine Degenerative Classification 4th place solution☆10Oct 10, 2024Updated 2 years ago
- This Keras code is for the paper A. Jamali, Ali and Roy, Swalpa Kumar and Hong, Danfeng and Atkinson, Peter M and Ghamisi, Pedram, "[Spat…☆11Jan 22, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is the repo associated with the class 02805 "Social Graphs and Interactions" at the Technical University of Denmark☆10Nov 1, 2017Updated 8 years ago
- Etherman is a CLI tool for managing and testing Solidity contract deployments, written in pure Go.☆10Jul 21, 2025Updated last year
- Pytorch Implementation of Lightweight and robust representation of economic scales from satellite imagery.☆14Nov 21, 2019Updated 6 years ago
- ☆11Jul 17, 2023Updated 3 years ago
- 一款基于FastGPT的微信机器人插件，提供智能知识库问答功能！💬☆10May 10, 2025Updated last year
- A website that implements 4 crowd counting algorithms and helps you to predict number of people in images, videos, and in your camera.☆15Jul 15, 2023Updated 3 years ago
- Domain Specific Language for the Abstraction and Reasoning Corpus☆346Oct 11, 2024Updated 2 years ago