CERN / QuantumacyLinks
☆14Updated last year
Alternatives and similar repositories for Quantumacy
Users that are interested in Quantumacy are comparing it to the libraries listed below
Sorting:
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Updated 7 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.☆15Updated last year
- ☆30Updated 6 months ago
- The Open-Source Implementation of Cognition AI's Automated Software Engineer, Devin.☆14Updated last year
- Work in progress! I don't recommend looking at the code right now.☆24Updated 4 months ago
- 🏥 Health monitor for a Petals swarm☆39Updated last year
- Experiments with interactive theorem provers, LLMs and formal systems☆22Updated 2 years ago
- OLMost every training recipe you need to perform data interventions with the OLMo family of models.☆50Updated last week
- A framework for few-shot evaluation of autoregressive language models.☆12Updated 3 months ago
- GoldFinch and other hybrid transformer components☆12Updated 3 weeks ago
- An open source replication of the stawberry method that leverages Monte Carlo Search with PPO and or DPO☆29Updated this week
- Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…☆25Updated 11 months ago
- This repository gives sample code for using AI21 Generative AI solutions for industry applications☆17Updated 9 months ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆79Updated last year
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆40Updated 6 months ago
- Quantum computing without the linear algebra☆76Updated 4 months ago
- ☆45Updated last year
- MLX implementation of GCN, with benchmark on MPS, CUDA and CPU (M1 Pro, M2 Ultra, M3 Max).☆24Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆37Updated 4 months ago
- EXO Gym is an open-source Python toolkit that facilitates distributed AI research.☆78Updated last month
- The SAIL blog☆11Updated 3 weeks ago
- A Python Library for Learning Non-Euclidean Representations☆65Updated 2 months ago
- never forget anything again! combine AI and intelligent tooling for a local knowledge base to track catalogue, annotate, and plan for you…☆37Updated last year
- ☆13Updated last year
- Deploy your autonomous agents to production grade environments with 99% Uptime Guarantee, Infinite Scalability, and self-healing.☆46Updated last week
- An EXA-Scale repository of Multi-Modality AI resources from papers and models, to foundational libraries!☆39Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 9 months ago
- ☆49Updated 2 months ago
- ☆24Updated last week