OpenAI 2025 ICPC Submissions
☆65Sep 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:
- Code for paper "Why Do Transformers Fail to Forecast Time Series In-Context?"☆14Oct 15, 2025Updated last year
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Open-sourced evaluation suite from the Monitoring Monitorability paper☆108Aug 17, 2026Updated 2 months ago
- Blog on formalizing key transformer invariants.☆26Sep 15, 2026Updated last month
- ☆18Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Experiments for paper☆18May 15, 2026Updated 5 months ago
- Gemini 2025 ICPC World Finals Code Submissions☆175Sep 17, 2025Updated last year
- ☆18Oct 31, 2026Updated last week
- ☆11Dec 15, 2018Updated 7 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆12Nov 27, 2023Updated 2 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆42Sep 7, 2025Updated last year
- Physical AI Assistant that illuminates your life☆200Mar 27, 2026Updated 7 months ago
- A reverse proxy that provides authentication with Google, Github or other provider☆57Apr 2, 2023Updated 3 years ago
- TeXpert - the dataset designed to evaluate LLMs' capability to generate syntactically and logically correct LaTeX code from natural langu…☆14Sep 14, 2025Updated last year
- 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.
- Evaluation harness and tooling for measuring model compliance with the OpenAI Model Spec.☆22Mar 24, 2026Updated 7 months ago
- Websockify is a WebSocket to TCP proxy/bridge. This allows a browser to connect to any application/server/service. Implementations in Py…☆29Nov 7, 2016Updated 10 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- ☆18Sep 24, 2026Updated last month
- ☆62Jan 14, 2026Updated 9 months 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 last year
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- ☆481Jul 18, 2025Updated last year
- ☆13Apr 5, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Code implementing the paper "Measuring intrinsic dimension of objective landscapes" to perform some research☆10Jan 26, 2023Updated 3 years 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 2 years ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 9 years ago
- Code for blog post `J++ Lens: Jacobian Filtering Enables More Faithful Workspace Lenses`☆19Oct 17, 2026Updated 3 weeks ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- Service for quickly aliasing and redirecting to long URLs☆26Apr 26, 2023Updated 3 years ago
- Sample app to get started using the Video API with Sora☆84Dec 16, 2025Updated 10 months ago
- Deno build of the official Typescript library for the OpenAI API.☆145Oct 30, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆20Feb 22, 2017Updated 9 years ago
- Slides from my talks☆13Sep 27, 2026Updated last month
- codes and plots for "Active-Dormant Attention Heads: Mechanistically Demystifying Extreme-Token Phenomena in LLMs"☆11Dec 30, 2024Updated last year
- ☆11Oct 13, 2025Updated last year
- The official implementation of the paper "Understanding Behavioral Metric Learning: A Large-Scale Study on Distracting Reinforcement Lear…☆12Aug 20, 2025Updated last year
- Codebase for the paper "A Percolation Model of Emergence: Analyzing Transformers Trained on a Formal Language"☆11Oct 11, 2024Updated 2 years ago
- Experiments for "D. Davis, D. Drusvyatskiy, and L. Jiang. Gradient descent with adaptive stepsize converges (nearly) linearly under fourt…☆10May 2, 2025Updated last year