Search Results for "math training" - Page 2

RekenTrainer (lit. arithmetic trainer) is a small test program generates simple math problems. It was written to help student training for the WisCat-pabo test in the Netherlands. The code is in english, but the problems are in Dutch.

Mathematux is a free math trainer for students and schools that runs on all major platforms. It's focused on training your mental arithmetic skills.

A tool for training your basic maths skills. Can be customised to allow you to build up your skills in any range of numbers, including multiplication from 1 to 3924 if you are so inclined.

iScholar™ is a content-neutral e-learning and corporate training authoring and publishing system that can be used to write on-line exams and course pages on virtually any topic and has support for interactive math. Requires: a JDK, Tomcat & MySQL

FlashE is an VERY simple electronic flash card system written in python. FlashE is very general and is intended to be as well suited to vocabulary training as math or Biology. The quiz files can be edited or shared.

...It introduces a hybrid reasoning mode with explicit <think> segments, enabling the model to deliberate deeply when needed and switch to faster responses when desired. Post-training improvements include a vastly expanded corpus with ~60B tokens, boosting performance across math, code, STEM, logic, creativity, and structured outputs. The model is designed for schema adherence, producing valid JSON and repairing malformed outputs, making it highly suitable for tool use and function calling. Hermes 4 is engineered for superior steerability with reduced refusal rates, aligning responses to user values while preserving assistant quality. ...

...It combines an 8.4B-parameter language model with a 0.4B vision encoder, enabling it to process both text and images for advanced reasoning tasks. This version is specifically post-trained for reasoning, making it well-suited for math, coding, and STEM applications requiring multi-step logic and problem-solving. Despite its reasoning-focused training, the model remains edge-optimized and can run locally on a single 24GB GPU in BF16, or under 12GB when quantized. It supports dozens of languages, adheres reliably to system prompts, and provides native function calling and structured JSON output—key capabilities for agentic and automation workflows. ...

VaultGemma is a sub-1B parameter variant of Google’s Gemma family that is pre-trained from scratch with Differential Privacy (DP), providing mathematically backed guarantees that its outputs do not reveal information about any single training example. Using DP-SGD with a privacy budget across a large English-language corpus (web documents, code, mathematics), it prioritizes privacy over raw utility. The model follows a Gemma-2–style architecture, outputs text from up to 1,024 input tokens,...