FormulaOne: A dataset of algorithmic problems based on MSO formulas.
☆25Mar 1, 2026Updated this week
Alternatives and similar repositories for formulaone-dataset-release
Users that are interested in formulaone-dataset-release are comparing it to the libraries listed below
Sorting:
- A simple systemd service to better control Framework Laptop's fan *Ryzen 7040*☆15Dec 15, 2023Updated 2 years ago
- High-Resolution Visual Reasoning via Multi-Turn Grounding-Based Reinforcement Learning☆53Jul 23, 2025Updated 7 months ago
- CMPhysBench: A Benchmark for Evaluating Large Language Models in Condensed Matter Physics☆27Nov 1, 2025Updated 4 months 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 10 months ago
- ☆20Aug 22, 2025Updated 6 months ago
- The codelab covers everything from the initial setup of Genkit to Code Execution and Function Calling.☆14Nov 26, 2025Updated 3 months ago
- This project is an inventory management system implemented in C++. It allows users to add, remove, find, and update products, as well as …☆13Apr 23, 2023Updated 2 years ago
- A codebase for data crawling and preprocessing for TTS and ASR systems training.☆22Feb 26, 2026Updated last week
- ☆29Dec 3, 2025Updated 3 months ago
- MV-RAG combines retrieval with multi-view generation to create accurate 3D-consistent visuals. By retrieving reference images and text, i…☆24Nov 29, 2025Updated 3 months ago
- Making agents bet on polymarket☆23Oct 15, 2025Updated 4 months ago
- ☆21Sep 7, 2025Updated 5 months ago
- ☆24Oct 9, 2025Updated 4 months ago
- ☆10Feb 12, 2018Updated 8 years ago
- ☆11Oct 25, 2021Updated 4 years ago
- Hands-on hub to learn techniques to optimize and serve AI models to production the most optimal way.☆14Aug 20, 2025Updated 6 months ago
- ASHIGARU is a terminal-based interface & system powered by React & Ink that combines the power of modern web technologies with the effici…☆24Jan 2, 2026Updated 2 months ago
- World-Gymnast: Training Robots with Reinforcement Learning in a World Model☆27Feb 11, 2026Updated 3 weeks ago
- ☆11Oct 21, 2021Updated 4 years ago
- ☆11Dec 13, 2013Updated 12 years ago
- Just random useful things for LeRobot, LeKiwi, and SO-ARM100/101☆20Sep 18, 2025Updated 5 months ago
- The system enables sophisticated coordination of multiple drones through natural language commands, visual inputs, and real-time environm…☆16Dec 15, 2025Updated 2 months ago
- Code implementation for paper AbsenceBench: Language Models Can't Tell What's Missing☆17Oct 23, 2025Updated 4 months ago
- FFedit is a bash script that is meant to streamline editing videos with the FFmpeg program through simple command line arguments.☆12Jun 9, 2023Updated 2 years ago
- AI-Driven Research Systems (ADRS)☆128Dec 17, 2025Updated 2 months ago
- A real-time voice AI system that integrates OpenAI's Realtime API, Llama3 with Twilio Voice to create intelligent voice conversations.☆22Sep 6, 2025Updated 6 months ago
- The official baseline implementations for Chronocept☆10Dec 21, 2025Updated 2 months ago
- paper on dexpilot☆15Oct 14, 2019Updated 6 years ago
- Lumetric Corrector is a comprehensive Lua script that adds professional color correction and grading capabilities to OBS Studio. Perfect …☆16Jun 26, 2025Updated 8 months ago
- Code for Scalable Offline Model-Based RL with Action chunking☆19Feb 20, 2026Updated 2 weeks ago
- trending repositories and news related to AI☆10Mar 22, 2019Updated 6 years ago
- MainOS is a web-based Operating System☆12Jan 15, 2026Updated last month
- ☆10Jul 8, 2025Updated 7 months ago
- ☆12Nov 18, 2023Updated 2 years ago
- Code implementation of the paper "World-in-World: World Models in a Closed-Loop World" (ICLR'26 Oral)☆135Feb 15, 2026Updated 2 weeks ago
- ☆33Nov 5, 2025Updated 4 months ago
- Think of it as an open-source alternative to expensive solutions like the MouthPad, eye-trackers, or even complex systems like Neuralink.…☆37Feb 22, 2026Updated last week
- Online services for Minecraft mods, including waypoint & location sharing, support for groups & parties, and encrypted messaging.☆12Jan 17, 2024Updated 2 years ago
- This repo covers the different guardrail options available in the market☆25Oct 2, 2025Updated 5 months ago