190 skills found · Page 1 of 7
lyang36 / IMO25An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
SuperKevinZhou / HpdgHigh-Performance Data Generator for competitive programming (Olympiad in Informatics) use.
koosaga / OlympiadOlympiad in Informatics solutions
ifsmirnov / JngenLibrary for generating tests for olympiad problems
noisg / Sg Noi ArchiveArchive of Singapore National Olympiad in Informatics (NOI)
OpenBMB / OlympiadBench[ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems.
IOAI-official / IOAI 2025Tasks and datasets used in the 2nd International Olympiad in Artificial Intelligence, Beijing, China, 2025
princeton-nlp / USACOCan Language Models Solve Olympiad Programming?
sxyzccr / CCR PlusA simple judging environment for Olympiad in Informatics
PatrikBak / GeoGenAutomated generation of planar geometry olympiad problems
PRIME-RL / P1P1: Mastering Physics Olympiads with Reinforcement Learning
vastxie / Elementary Mathematical Olympiad小学奥数课程
BYVoid / VakuumAn open-source online judge for ACM/ICPC & Olympiad in Informatics
lupantech / IneqmathSolving Inequality Proofs with Large Language Models.
mstfelg / Awesome Math Olympiad🥇 A curated list of competitive math resources.
roalgo-discord / Romanian Olympiad SolutionsAici puteti gasi descrierile solutiilor de la olimpiadele si concursurile romanesti de informatica
AnglyPascal / MO Problem JournalA journal of theorems, lemmas and problems for Mathematical Olympiads.
vEnhance / VonOlympiad problem database
kodek16 / BrestprogWebsite dedicated to programming olympiads in Belarus
dolphingarlic / CompetitiveProgrammingA collection of my solutions to various informatics olympiad problems
