FormulaOne: A dataset of algorithmic problems based on MSO formulas.
☆25Mar 1, 2026Updated 3 weeks 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:
- A simple systemd service to better control Framework Laptop's fan *Ryzen 7040*☆15Dec 15, 2023Updated 2 years ago
- The codelab covers everything from the initial setup of Genkit to Code Execution and Function Calling.☆14Nov 26, 2025Updated 4 months ago
- API for toxic text classification, utilized pre-trained Distilbert and trained on Kaggle datasets. It helps identify and handle toxic con…☆14Apr 30, 2024Updated last year
- A Python script that utilizes OpenAI's GPT-3.5-turbo model to process and summarize long-form text files.☆11Mar 19, 2023Updated 3 years ago
- ☆11Nov 10, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- .NET wrapper for libVLC, written by Roman Ginzburg. http://www.codeproject.com/Articles/109639/nVLC☆19May 8, 2014Updated 11 years ago
- Asynchronous Validation for WPF MVVM.☆11Aug 26, 2017Updated 8 years ago
- This is a training method to produce a split brain model☆14Mar 7, 2025Updated last year
- High-Resolution Visual Reasoning via Multi-Turn Grounding-Based Reinforcement Learning☆53Jul 23, 2025Updated 8 months ago
- ☆21Sep 7, 2025Updated 6 months ago
- ☆15Sep 20, 2025Updated 6 months ago
- ☆33May 15, 2024Updated last year
- Prompt-learning methods used BERT4Keras (PET, EFL and NSP-BERT), both for Chinese and English.☆30Oct 12, 2022Updated 3 years ago
- ☆10Feb 12, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 3 months ago
- Automation Chatbot☆21Jan 1, 2025Updated last year
- ☆19Jul 3, 2025Updated 8 months ago
- paper on dexpilot☆15Oct 14, 2019Updated 6 years ago
- The official baseline implementations for Chronocept☆10Dec 21, 2025Updated 3 months ago
- Official code for PEEKABOO2: Adapting Peekaboo with Segment Anything Model for Unsupervised Object Localization in Images and Videos.☆30Dec 27, 2025Updated 3 months ago
- ☆11Nov 18, 2023Updated 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 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆33Aug 11, 2025Updated 7 months ago
- Handy Python Automation Script for PDF's to read out loud like audio books.☆15Oct 19, 2020Updated 5 years ago
- Code implementation for paper AbsenceBench: Language Models Can't Tell What's Missing☆18Oct 23, 2025Updated 5 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
- A codebase for data crawling and preprocessing for TTS and ASR systems training.☆22Feb 26, 2026Updated last month
- The system enables sophisticated coordination of multiple drones through natural language commands, visual inputs, and real-time environm…☆16Dec 15, 2025Updated 3 months ago
- An OpenAI API Compatible Honeypot Gateway☆17Mar 17, 2025Updated last year
- This is the official codebase for paper: Scaling Verification Can Be More Effective than Scaling Policy Learning for Vision-Language-Acti…☆41Feb 24, 2026Updated last month
- A CSV File containing the *complete* (as of October 2017) list of UK Postcodes and corresponding Latitude / Longitude Coordinates for ge…☆15Dec 5, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆16Feb 2, 2026Updated last month
- CMPhysBench: A Benchmark for Evaluating Large Language Models in Condensed Matter Physics☆28Nov 1, 2025Updated 4 months ago
- Code implementation of the paper "World-in-World: World Models in a Closed-Loop World" (ICLR'26 Oral)☆144Feb 15, 2026Updated last month
- AI-Driven Research Systems (ADRS)☆128Dec 17, 2025Updated 3 months ago
- ☆30Dec 3, 2025Updated 3 months ago
- ☆24Dec 20, 2025Updated 3 months ago
- ☆33Nov 5, 2025Updated 4 months ago