Search Results for "aime"

aime is a programming language intended for application extension purposes. It is simple, with a C like syntax and automatic resource management. The interpreter interface has many options for connecting the interpreted programs to the embedding application state. It allows application supervision with regard to such concerns as execution length, memory allocation, error reporting.

...According to the authors, they aligned the training setup of V3.2-Exp with V3.1-Terminus so that benchmark results remain largely comparable, even though the internal attention mechanism changes. In public evaluations across a variety of reasoning, code, and question-answering benchmarks (e.g. MMLU, LiveCodeBench, AIME, Codeforces, etc.), V3.2-Exp shows performance very close to or in some cases matching that of V3.1-Terminus. The repository includes tools and kernels to support the new sparse architecture—for instance, CUDA kernels, logit indexers, and open-source modules like FlashMLA and DeepGEMM are invoked for performance.

Kimi-k1.5 is an advanced open-source multimodal large-language model project that explores scaling reinforcement learning with long-context chains of thought, achieving performance that rivals or surpasses state-of-the-art models on benchmarks like LiveCodeBench, AIME, and MATH-500. The project emphasizes a simplistic yet powerful framework where the context window scales up to 128k tokens, enabling reasoning that resembles planning, reflection, and correction over a much longer sequence of data than typical models. By using techniques like partial rollouts to improve training efficiency and applying sophisticated policy optimization methods, the developers demonstrate that strong ability can emerge without relying on complex solutions like Monte Carlo tree search or value functions. ...

TTRL is an open-source framework for test-time reinforcement learning in large language models, with a particular focus on reasoning tasks where ground-truth labels are not available during inference. The project addresses the problem of how to generate useful reward signals from unlabeled test-time data, and its central insight is that common test-time scaling practices such as majority voting can be repurposed into reward estimates for online reinforcement learning. This makes the...

Qwen2.5-Math is a series of mathematics-specialized large language models in the Qwen2 family, released by Alibaba’s QwenLM. It includes base models (1.5B / 7B / 72B parameters), instruction-tuned versions, and a reward model (RM) to improve alignment. Unlike its predecessor Qwen2-Math, Qwen2.5-Math supports both Chain-of-Thought (CoT) reasoning and Tool-Integrated Reasoning (TIR) for solving math problems, and works in both Chinese and English. It is optimized for solving mathematical...

Aimedb is a database library for aime built on top nonblonde key/data store.

Uniclient is an universal TCP client. It connects to a TCP server and executes an Aime program against the server.

Uniserver is an aime application server. It establishes a TCP/IP or TCP/UNIX server and then executes the given aime program on each incoming connection.

...It can establish a TCP server on which commands may be sent. Mylene has a rich interface featuring more than one hundred commands, complex song filtering, output and progress format specifiers and the ability to run aime programs.

Online box office ticket reservations for theaters, festivals, sports, museums, or just your party. This is a continuation of the original phpMyTicket project, but without the original developers, who have moved on to other projects. This revival is aime

AimeDsp, by Leon Zadorin - a Digital Signal Processing library relevant to software projects which require audio DSP features. AimeDsp was insipired by and originally created for AiME, Another Interactive Music Engine, project by Dr Brown and Mr Sorensen

AIME (Another Interactive Music Engine) is a library designed to provide an extensible environment for creating interactive music applications.

A rewrite of the open-source AIME MUD Engine. AIME2 includes more-efficient code, a better structured scripting language, and a robust and flexible world development environment AIME has been known for. Includes better windows support.

Far From Home intends to create a comprehensive Emlen-like MUD engine written in C++. (uncommon for Emlen MUDs) FFH will combine the best of other open source MUD engines (like AIME, http://aime.sf.net) to create a complete and high-level product.

Written in C++ with an OO design, designed to provide utmost flexibility for the designer to create complex worlds. Fully functional builder port, online interpreted specials code, flexible levels/quest/profession track system.

The project focuses on the design of a CPU architecture emulator aimed to assembly languages course.