FormulaOne: A dataset of algorithmic problems based on MSO formulas.
☆26Mar 1, 2026Updated last month
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
- 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.
- .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☆54Jul 23, 2025Updated 8 months ago
- ☆21Sep 7, 2025Updated 7 months ago
- ☆14Sep 20, 2025Updated 6 months ago
- Open Source AI Database for Voice Agent Transcripts | Call Analysis & Insights | Extraction | Labelling & Classification☆23Nov 3, 2025Updated 5 months ago
- ☆33May 15, 2024Updated last year
- Prompt-learning methods used BERT4Keras (PET, EFL and NSP-BERT), both for Chinese and English.☆29Oct 12, 2022Updated 3 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.
- ☆10Feb 12, 2018Updated 8 years ago
- This project is an inventory management system implemented in C++. It allows users to add, remove, find, and update products, as well as …☆14Apr 23, 2023Updated 2 years ago
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 4 months ago
- Automation Chatbot☆21Jan 1, 2025Updated last year
- ☆18Jul 3, 2025Updated 9 months ago
- paper on dexpilot☆15Oct 14, 2019Updated 6 years 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
- The official baseline implementations for Chronocept☆10Mar 31, 2026Updated 2 weeks ago
- ☆11Nov 18, 2023Updated 2 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.
- 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 11 months ago
- ☆32Aug 11, 2025Updated 8 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☆19Oct 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 4 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 4 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…☆45Apr 9, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Scan your dev machine for AI agents, MCP servers, IDE extensions, and suspicious packages - in seconds.☆89Apr 8, 2026Updated last week
- 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
- ☆16Feb 2, 2026Updated 2 months ago
- ☆23Dec 20, 2025Updated 3 months ago
- ☆33Apr 6, 2026Updated last week
- AI-Driven Research Systems (ADRS)☆136Dec 17, 2025Updated 3 months ago
- Code implementation of the paper "World-in-World: World Models in a Closed-Loop World" (ICLR'26 Oral)☆155Apr 3, 2026Updated last week