Gemini 2025 ICPC World Finals Code Submissions
☆169Sep 17, 2025Updated 5 months ago
Alternatives and similar repositories for gemini_icpc2025
Users that are interested in gemini_icpc2025 are comparing it to the libraries listed below
Sorting:
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Lean formalizations of IMO problem statements☆31Oct 23, 2025Updated 4 months ago
- A toolkit for optimizing machine learning models for practical applications☆31Mar 6, 2025Updated last year
- ☆20Dec 19, 2025Updated 2 months ago
- Applied symbolic regression with deep reinforcement learning to improve model interpretability and refine correlations in gas-solid flow …☆13Nov 19, 2024Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated 2 weeks ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated 2 weeks ago
- ☆202Jan 22, 2026Updated last month
- ☆26Apr 2, 2025Updated 11 months ago
- ☆22Jan 15, 2024Updated 2 years ago
- Jet reconstruction (reclustering) with Julia☆26Mar 2, 2026Updated last week
- Exponent pair database☆70Feb 2, 2026Updated last month
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 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 …☆30Apr 3, 2024Updated last year
- ChatGPT Participates in a Computer Science Exam (2023)☆31Mar 21, 2023Updated 2 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- Flood Mapping Intercomparison☆16Nov 5, 2025Updated 4 months ago
- CLI for selecting and back-testing CloudWatch alarm configuration☆10Aug 8, 2023Updated 2 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆91Mar 1, 2026Updated last week
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 6 months ago
- Qt/QML 女生自用教学课程 | Self-taught Qt/QML Tutorial☆35Sep 20, 2021Updated 4 years ago
- A fake SSH tarpit that logs passwords and commands from attackers☆38Dec 16, 2025Updated 2 months ago
- ☆12Feb 18, 2024Updated 2 years ago
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- Here, I provided the solution for exercises of IBM Quantum Challenge 2020☆10Oct 27, 2020Updated 5 years ago
- Official Implementation for [ICLR26] DefensiveKV: Taming the Fragility of KV Cache Eviction in LLM Inference☆22Feb 9, 2026Updated last month
- Our solutions to Putnam 2025.☆77Jan 9, 2026Updated 2 months ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Class Slides for Introduction to Quantum Computing☆103Jan 5, 2023Updated 3 years ago
- Combinatorial game library in Lean 4☆56Updated this week
- Interactive summary of Gartner's Magic Quadrant for Web Content Management with d3.js☆17Oct 15, 2012Updated 13 years ago
- AI assisted Shell, aka "Ash". Wraps around your existing shell and brings AI-LLM to the CLI for analyzing EDA files.☆28Updated this week
- ☆10Oct 11, 2022Updated 3 years ago
- Elastic-net VARMA: hyperparameter optimisation, estimation and forecasting☆11Jan 30, 2023Updated 3 years ago
- Official implementation of the paper "Pretraining Language Models to Ponder in Continuous Space"☆25Jul 21, 2025Updated 7 months ago