Building for TestFlight

AI Math Tutor That Actually Teaches

Combining symbolic math engines with pedagogical AI for intelligent, Socratic tutoring. An iPad app that guides students through problems instead of giving answers.

The Problem

Why Existing AI Tutors Fall Short

Current AI tutoring tools prioritize answers over understanding. Research shows that effective learning requires guided discovery, not instant solutions.

Traditional AI Tutor

  • Gives direct answers immediately
  • No understanding of student's work process
  • Generic feedback like "Try again"
  • Can't verify mathematical correctness
  • Encourages dependency, not learning

Elara

  • Guides with Socratic questioning
  • Analyzes handwritten work in real-time
  • Context-aware, pedagogical feedback
  • Symbolic verification for accuracy
  • Builds understanding through discovery

"The best tutors don't give answers—they ask the right questions."

The Approach

Socratic Tutoring, Not Answer Machines

Elara guides students through problems with questions and hints, helping them discover solutions on their own.

Natural Input

Write math naturally with Apple Pencil on an infinite canvas, just like paper.

Smart Verification

Your work is mathematically verified in real-time, catching errors as you go.

Guided Discovery

Get hints and questions that lead you to understanding, not just answers.

See It In Action

The Elara Experience

From problem to solution, guided every step of the way

Elara home screen

Start a Session

Begin with a question or sketch directly on the canvas

Core Capabilities

How Elara Thinks

A hybrid approach combining the best of AI reasoning with mathematical precision.

Intelligent Reasoning

Understands student intent and mathematical context to provide relevant, targeted guidance.

Built With

Technology

Native iPad App

Built with Swift and SwiftUI for a fluid, responsive experience.

Python Backend

FastAPI powers the real-time tutoring pipeline.

AI + Symbolic Math

GPT-4o combined with SymPy for accurate mathematical reasoning.

PK

Built by

Pranav Kandikonda

Recent graduate and AI engineer building agentic systems for interactive learning, reasoning, and visual problem solving.

Read my story

Let's Connect

Interested in Elara or my work?

I'm always open to discussing AI, education technology, or potential opportunities. Reach out through any of the channels below.