Search Results for "imo"

AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic...

...Apps Chatter currently supports: WhatsApp Discord Microsoft Teams Telegram Android Messages Jitsi Meet Snapchat WeChat Google Chat Skype imo Building Instructions The main framework that Chatter uses is Tauri, a Node.js package. To build it, download Node.js and NPM, clone or download the repo and run 'npm run tauri build' This will build the app for your OS (Windows, macOS, Linux).

...You'll need to start Magpie as admin if you want to upscale a game that's also running with admin privileges. Uses the CAS filter from FSR. Higher overall contrast and sharpness. I used this one instead of the standard CAS cause IMO it makes the details stand out a lot more. ACNet works very well for anime type art, looks very clean with think lines at the cost of some detail loss.

...This documentation is transformed into HTML format and MSHC format from the original in Markdown. The HTML files are compiled into a standard Microsoft® .chm format, with editing only to show a suitable display output in the .chm format, and some, IMO, notation consistency improvements. The MSHC is placed in a standard Microsoft® .cab format.

This is a simple calculator performing all the simple mathematical functions. I've made this from 3 days of learning Visual C#. Not Bad with that much limited knowledge imo. ;) Please try it out.

Little framework for php and xajax.

An event calendar using Codeigniter and jquery

This program should compute ZHR from data contained in IMO VMDB (http://www.imo.net/data/visual), or other sources with same structure. ZHR should be calculated on arbitrary interval. It should produce analytical and graphical output.

...The model uses a scaled reinforcement learning framework that allows it to surpass GPT-5 in several evaluations and reach reasoning performance comparable to Gemini-3.0-Pro. DeepSeek-V3.2-Speciale contributed to gold-medal solutions in the 2025 IMO, IOI, ICPC World Finals, and CMO, demonstrating its ability to handle elite-level problem solving. It is released under the MIT license and includes curated benchmark solutions for community verification and analysis.

...Built with a scalable reinforcement learning framework, it reaches near-GPT-5 levels of reasoning and outperforms comparable models like DeepSeek-V3.1 and Gemini-3.0-Pro in advanced benchmarks. The model was notably used in competitive AI challenges such as the 2025 International Mathematical Olympiad (IMO) and IOI, achieving top-tier results. DeepSeek-V3.2 also features a large-scale agentic task synthesis pipeline, which generates training data to enhance tool-use intelligence and multi-step reasoning. It introduces a new “thinking with tools” chat template, allowing it to reason and decide when to invoke specific tools during problem solving.