FormulaOne: A dataset of algorithmic problems based on MSO formulas.
☆25Mar 1, 2026Updated 5 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 11 months ago
- [ICML 2026] NITP: Next Implicit Token Prediction for LLM Pre-training☆35May 26, 2026Updated 2 months ago
- A simple systemd service to better control Framework Laptop's fan *Ryzen 7040*☆16Dec 15, 2023Updated 2 years ago
- Research Blog☆24Aug 15, 2017Updated 9 years ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated 10 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.
- Code of paper: Probing the Difficulty Perception Mechanism of Large Language Models☆19Mar 17, 2026Updated 5 months ago
- my solution for Abstaction and reasoning challenge on kaggle☆10Jun 23, 2024Updated 2 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
- Open source implementation of DataRater (https://arxiv.org/abs/2505.17895)☆26Sep 20, 2025Updated 10 months ago
- This is a implementation of DRGCN☆14Aug 18, 2022Updated 4 years ago
- [ICLR 2026]InnovatorBench: Evaluating Agents' Ability to Conduct Innovative LLM Research☆17Feb 3, 2026Updated 6 months ago
- Resources for few-shot reasoning tutorial☆16Apr 2, 2026Updated 4 months ago
- PianoCoRe: Combined and Refined Piano MIDI Dataset (TISMIR)☆22May 8, 2026Updated 3 months ago
- A note-aligned performance-to-score-to-annotations dataset of 12 complete Mozart piano sonatas for expressive performance analysis☆23Feb 2, 2026Updated 6 months 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.
- Simple Recipe Works: Vision-Language-Action Models are Natural Continual Learners with Reinforcement Learning☆67Mar 16, 2026Updated 5 months ago
- LLM graph-RAG SQL generator for large databases with poor documentation☆19Sep 12, 2024Updated last year
- MainOS is a web-based Operating System☆14Jun 9, 2026Updated 2 months ago
- Downloader for 1fichier.com using Tor☆12May 17, 2024Updated 2 years ago
- The official baseline implementations for Chronocept. Published at EACL 2026.☆10Aug 4, 2026Updated 2 weeks ago
- [FSE'2026] SWE-Factory: Your Automated Factory for Issue Resolution Training Data and Evaluation Benchmarks☆187May 12, 2026Updated 3 months ago
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- FlowBotHD: History-Aware Diffuser Handling Ambiguities in Articulated Objects Manipulation☆13Dec 13, 2024Updated last year
- ☆16May 23, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Official repository for the paper "COAST: Enhancing the Code Debugging Ability of LLMs through Communicative Agent Based Data Synthesis".☆18Feb 19, 2025Updated last year
- Single Command Docker container to test imagenet classifier☆13Jan 31, 2020Updated 6 years ago
- A react-based starter app for using the Multimodal Live API over websockets with Gemini☆17Dec 22, 2024Updated last year
- Intepretability method to find what navigation agents learn☆19Jun 16, 2022Updated 4 years ago
- Official implementation of paper "BBOPlace-Bench: Benchmarking Black-Box Optimization for Chip Placement".☆33Apr 18, 2026Updated 4 months ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Jul 27, 2026Updated 3 weeks ago
- ☆10Aug 16, 2019Updated 7 years ago
- ☆11Oct 25, 2021Updated 4 years 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.
- ☆11Mar 30, 2025Updated last year
- A tool for uploading/downloading files anonymously with client-side encryption☆16May 21, 2026Updated 2 months ago
- ☆16Updated this week
- Code for the paper "STRAP: A Spatio-Temporal Framework for Real Estate Apprisal" (CIKM 2023)☆15Aug 22, 2023Updated 2 years ago
- Official Repository for "Training Versatile Coding Agents in Synthetic Environments"☆22Jan 11, 2026Updated 7 months ago
- Github page for the preprint paper "InfoCatVAE: Representation Learning with Categorical Variational Autoencoders"☆14Oct 23, 2020Updated 5 years ago
- Hands-on hub to learn techniques to optimize and serve AI models to production the most optimal way.☆14Aug 20, 2025Updated 11 months ago