Gemini 2025 ICPC World Finals Code Submissions
☆175Sep 17, 2025Updated 9 months ago
Alternatives and similar repositories for gemini_icpc2025
Users that are interested in gemini_icpc2025 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆61Mar 13, 2026Updated 3 months ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Apr 22, 2026Updated 2 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Updated this week
- Lean formalizations of IMO problem statements☆37Apr 23, 2026Updated 2 months ago
- ☆229Jun 25, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆175Aug 27, 2025Updated 10 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆100Updated this week
- Formalizing "Proofs from THE BOOK"☆85May 1, 2026Updated 2 months ago
- Combinatorial game library in Lean 4☆61Jun 10, 2026Updated 3 weeks ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 4 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆54Feb 23, 2026Updated 4 months ago
- ☆20Feb 22, 2017Updated 9 years ago
- Exponent pair database☆75Jun 24, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆33Apr 3, 2024Updated 2 years ago
- deep learning for math☆30May 4, 2019Updated 7 years ago
- ☆20Dec 30, 2025Updated 6 months ago
- Recursive Self-Aggregation evals on ARC-AGI☆36Jan 26, 2026Updated 5 months ago
- Lean4 benchmark on 1 category.☆26Jun 19, 2026Updated last week
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆36Aug 11, 2025Updated 10 months ago
- ☆11May 2, 2022Updated 4 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆41Jun 18, 2026Updated 2 weeks ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- repository for Causal&NLP reading group☆11Jan 30, 2026Updated 5 months ago
- ☆19Jan 3, 2025Updated last year
- Ktorm's document site.☆11Jun 20, 2026Updated last week
- Construction of a Brownian Motion in Lean☆53Updated this week
- Web published translation of Grothendieck's essay on kimchi☆18Jun 7, 2026Updated 3 weeks ago
- Source code & exercises in Arend's documentation☆21May 8, 2026Updated last month
- KITE (Knowledge-Intensive Task Evaluation) is an end-to-end benchmark for RAG pipelines☆23Aug 14, 2024Updated 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.
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆99Dec 24, 2025Updated 6 months ago
- ☆485Jul 18, 2025Updated 11 months ago
- Expand -> Retrieve -> Rerank - simple method with strong results on BRIGHT benchmark☆22Aug 22, 2025Updated 10 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆96Jun 23, 2026Updated last week
- diffusers with search engine☆12Jan 13, 2026Updated 5 months ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- 本项目主要对开源的MOSS SFT数据进行整理 ，转换成mnbvc多轮对话格式。MOSS-003涵盖用性、忠实性、无害性三个层面，共353w样本，MOSS-003 包含更细粒度的有用性类别标记、更广泛的无害性数据和更长对话轮数，共630w样本，☆13Dec 3, 2023Updated 2 years ago