OpenAI 2025 ICPC Submissions
☆63Sep 17, 2025Updated last year
Alternatives and similar repositories for openai-icpc-2025
Users that are interested in openai-icpc-2025 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Official Repository of Paper "Watch the Weights: Unsupervised monitoring and control of fine-tuned LLMs"☆15Sep 25, 2025Updated last year
- Gemini 2025 ICPC World Finals Code Submissions☆175Sep 17, 2025Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆41Sep 7, 2025Updated last year
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fluentd output plugin that sends events to Amazon Kinesis Streams and Amazon Kinesis Firehose.☆11Apr 2, 2023Updated 3 years ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- Developer project for getting basic API integrations working in under 5 minutes☆11May 22, 2026Updated 4 months ago
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆10Oct 11, 2024Updated last year
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- ☆98Oct 4, 2025Updated 11 months ago
- Code accompanying Ego-Exo: Transferring Visual Representations from Third-person to First-person Videos (CVPR 2021)☆40Jun 8, 2021Updated 5 years ago
- custom implementation of Karpathy's nanochat. Configured to deploy on Modal apps with a live webview. Will be a personal sandbox for twea…☆17Oct 26, 2025Updated 11 months ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 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.
- Typing speed test in the terminal☆28May 4, 2026Updated 4 months ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 9 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- FL Studio 25.2.4.5242 for Windows is a powerful DAW for music production, offering advanced features like multi-track recording, mixing, …☆33Feb 28, 2026Updated 7 months ago
- This repository provides an improved LLamaGen Model, fine-tuned on 500,000 high-quality images, each accompanied by over 300 token prompt…☆30Oct 21, 2024Updated last year
- codes and plots for "Active-Dormant Attention Heads: Mechanistically Demystifying Extreme-Token Phenomena in LLMs"☆11Dec 30, 2024Updated last year
- Hexo Theme Unicorn， a functional but neat hexo theme. based on hexo-theme-butterfly☆15Sep 15, 2026Updated last week
- MR. Video: MapReduce is the Principle for Long Video Understanding☆32Jun 18, 2026Updated 3 months ago
- Pytorch routines for (Ker)nel (Mac)hines☆11Oct 10, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆24Mar 18, 2025Updated last year
- ☆15Sep 29, 2022Updated 3 years ago
- Zsh plugin that displays your airpods battery level in prompt☆11May 15, 2025Updated last year
- ☆37Sep 11, 2026Updated 2 weeks ago
- Exploring the minimal architecture required for coherent English language generation.☆28Jun 11, 2026Updated 3 months ago
- [NeurIPS 2025 Oral] Official Code for Exploring Diffusion Transformer Designs via Grafting☆75Jan 9, 2026Updated 8 months ago
- A Massive Multi-Discipline Lecture Understanding Benchmark☆34Apr 20, 2026Updated 5 months ago
- A project designed to build and render a full Minecraft crafting tree.☆10Aug 10, 2021Updated 5 years ago
- A darned-vulnerable Java web application - For educating on and practicing secure Java coding techniques☆23Apr 21, 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.
- ☆20Feb 22, 2017Updated 9 years ago
- ☆15Jun 7, 2024Updated 2 years ago
- Advanced Programming - HW6☆21Jun 5, 2022Updated 4 years ago
- Official Kementerian Digital website☆18Mar 20, 2026Updated 6 months ago
- Exploring the Intersection of Large Language Models and Agent-Based Modeling via Prompt Engineering☆18Aug 5, 2023Updated 3 years ago
- An experiment with movie scenes and contrastive learning☆11Feb 1, 2025Updated last year
- GitHub Action that installs Datadog Test Visibility☆18Updated this week