FormulaOne: A dataset of algorithmic problems based on MSO formulas.
☆27Mar 1, 2026Updated 7 months ago
Alternatives and similar repositories for formulaone-dataset-release
Users that are interested in formulaone-dataset-release are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- UQ: Assessing Language Models on Unsolved Questions☆30Aug 26, 2025Updated last year
- From PyTorch model to end-to-end TensorRT inference experience in two commands—AI-native, cross-platform, and built for the best possible…☆276Updated this week
- Extremely Simple Microbenchmarks☆46May 23, 2018Updated 8 years ago
- A simple systemd service to better control Framework Laptop's fan *Ryzen 7040*☆16Dec 15, 2023Updated 2 years ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated last year
- 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.
- API for toxic text classification, utilized pre-trained Distilbert and trained on Kaggle datasets. It helps identify and handle toxic con…☆14Apr 30, 2024Updated 2 years ago
- Final Project for Parallel Computing at CMU (15-618/15-418)☆10May 13, 2016Updated 10 years ago
- ☆25May 7, 2026Updated 5 months ago
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- HCC Sample Applications☆13Jan 3, 2017Updated 9 years ago
- ☆55Sep 26, 2026Updated 3 weeks ago
- Official code for PAMI: Part Anchored Motion for Text to Human-Object Interaction Generation☆83Oct 1, 2026Updated 2 weeks ago
- demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"☆11May 26, 2019Updated 7 years ago
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆47Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [CoRL 2026] Code for "FACT: Failure-Aware Causal Training for World‑Action Models"☆105Sep 15, 2026Updated last month
- ☆36Apr 15, 2026Updated 6 months ago
- my solution for Abstaction and reasoning challenge on kaggle☆10Jun 23, 2024Updated 2 years ago
- Project Caribou documentation, designs, and project artifacts.☆136Updated this week
- Open source implementation of DataRater (https://arxiv.org/abs/2505.17895)☆27Sep 20, 2025Updated last year
- ☆13Sep 16, 2024Updated 2 years ago
- Source code for the software implementation of SeGraM proposed in our ISCA 2022 paper: Senol Cali et. al., "SeGraM: A Universal Hardware …☆13Nov 3, 2022Updated 3 years ago
- A Faster Hash Table at any Physical Load Factor up to and Including One☆32Oct 6, 2026Updated last week
- Instella MoE is a fully open state-of-the-art Mixture-of-Experts language model, trained end-to-end on AMD Instinct™ GPUs.☆80Sep 2, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- paper on dexpilot☆15Oct 14, 2019Updated 7 years ago
- A CLI tool that fetches GitHub PR diffs, analyzes them with OpenAI, and generates a Markdown code review to streamline the review process…☆11Apr 29, 2025Updated last year
- Cache Replacement Championship - 2☆13Apr 29, 2017Updated 9 years ago
- 🐼 Steer your LLMs and agents at the token level: A web tool for token visualization & control, model inspection, and LLM & agent traject…☆61Updated this week
- An agentic system that auto-optimizes LLM workloads on AMD GPUs.☆241Updated this week
- Spatial transcriptomics foundation model based on Graph Transformer and JEPA☆74Aug 10, 2026Updated 2 months ago
- ☆11Dec 8, 2024Updated last year
- PorTAL generates portable task specific LoRA adapters that can efficiently transfer across language models.☆126Jul 27, 2026Updated 2 months ago
- Blog for the Open Institute for Advanced Study☆10Oct 30, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Caching simulations LRU vs ARC.☆15Apr 27, 2015Updated 11 years ago
- Pseudo-LRU implementation using 1-bit per entry and achieving Full-LRU performance.☆22Dec 17, 2022Updated 3 years ago
- 📹 A camera toolkit for the web, inspired by Unity Cinemachine.☆49Updated this week
- ☆92Aug 13, 2026Updated 2 months ago
- A repository for do-on-container☆47Updated this week
- Official Implementation of "DiffusionART: Efficient, Stable and Scalable Reinforcement of Diffusion Models"☆141Updated this week
- Recognize Dog Deep Learning Training Set☆12Mar 12, 2016Updated 10 years ago