Back to Prompt Library
planning

Initialize LlamaIndex for Mathematical Knowledge Base

Inspect the original prompt language first, then copy or adapt it once you know how it fits your workflow.

Linked challenge: Mathematical Proof Assistant

Format
Text-first
Lines
1
Sections
1
Linked challenge
Mathematical Proof Assistant

Prompt source

Original prompt text with formatting preserved for inspection.

1 lines
1 sections
No variables
0 checklist items
Using LlamaIndex, set up a `VectorStoreIndex` with ChromaDB to store mathematical theorems and definitions. Write Python code to load a set of example LaTeX math documents (provided in `data/math_theorems/`) and ingest them into the index. Ensure the text splitting and embedding are optimized for mathematical expressions, potentially using a custom text splitter from LlamaIndex. Provide the necessary `llama_index` imports and ChromaDB client initialization.

Adaptation plan

Keep the source stable, then change the prompt in a predictable order so the next run is easier to evaluate.

Keep stable

Preserve the role framing, objective, and reporting structure so comparison runs stay coherent.

Tune next

Swap in your own domain constraints, anomaly thresholds, and examples before you branch variants.

Verify after

Check whether the prompt asks for the right evidence, confidence signal, and escalation path.