ArcMathMath teaching platform
For schools and tutoring organizations

ArcMath Teaching OS

A teaching assistance platform for serious math classes.

Arcmath brings class management, PDF materials, assignments, student submissions, verified grading, and teacher-facing insight into one workflow for international schools and tutorial organizations.

Org controlPDF slicingFormal gradingClass reports
Why this matters

Math teaching needs more than a problem bank.

Schools need a single place to organize classes, assign the right material, collect work before the deadline, and see how students are actually reasoning through problems.

Arcmath is designed around that daily workflow: administrators manage the organization, teachers prepare and grade assignments, and students receive structured feedback without the system simply handing them the answer.

What Arcmath is

Three product layers that work together.

01

Organization control

Each organization has an admin account that manages classes, assigns teachers and students, and reviews activity across accounts inside that organization.

02

Material-based assignments

Teachers can upload PDF materials, select pages or problem ranges, combine them with Arcmath resources, set due times, and collect student submissions in one place.

03

Verified grading and insight

Student answers can be reviewed with formal-verification-aware grading, teacher overrides, class gradebooks, and reports that make weak points visible without losing the original work.

Core functions

The product should show what teachers and students actually do.

These live motion panels demonstrate the work loop: capture math, check reasoning, give teacher-safe hints, and turn submissions into class-level insight.

01 / Student input

Snap written math, convert to LaTeX, then submit.

Step photo
a2 + b2 ≥ 2ab
Tap the camera in MathLive
MathLive field
(empty - waiting for OCR)
02 / Verified grading

See exactly which engine signed the step.

STEP 1a² + b² ≥ 2ab
SymPy
symbolic: (a-b)^2 >= 0
Lean kernel
proof checked via sq_nonneg
LLM judges (2/2)
independent: confidence 0.96 / 0.96

Backends voting...

03 / Teacher-safe help

Concise nudges and prep support, not answer dumping.

Click I'm stuck and reveal one hint at a time - direction first, computation last.

1
Hint · Direction

What single algebraic identity transforms (a-b)^2 into a sum of three terms?

2
Hint · Setup

Expand (a-b)^2 = a^2 - 2ab + b^2. The inequality is the same as showing this expansion is >= 0.

3
Hint · Almost there

Any real number squared is >= 0. Apply that to (a-b)^2 and rearrange to land at a^2 + b^2 >= 2ab.

04 / Class insight

Progress data teachers can act on.

Overall accuracy
0%

18 problems graded · 2 escalated to teacher review.

Algebra
92%
Number theory
78%
Combinatorics
64%
Inequality
48%
Milestone coverage
Spotted (a-b)^2 >= 0 in step 1
Expanded correctly in step 2
Reached the SOS conclusion
Skipped justifying step 3 - review
School workflow

From class setup to graded submission.

  1. 01

    Set up the organization.

    The org admin creates classes, invites or creates teacher accounts, and places student accounts into the correct classes.

  2. 02

    Prepare an assignment.

    The teacher uploads a PDF or uses existing resources, selects the exact pages and problem range, transforms the selected problems into assignment items, and sets the due time.

  3. 03

    Students submit work.

    Students open the assigned material, write or upload their answers, and submit before the deadline. Late and missing submissions remain visible to the teacher.

  4. 04

    Teachers grade and review.

    Teachers grade submissions with the help of verified grading signals, then inspect class-level results and individual student history.

Next step

Discuss school setup

Use the contact details below if your school or tutoring organization wants to evaluate the platform workflow, data model, or deployment path.