Answers ( 1 )

    0
    2025-04-01T06:10:27+00:00
    Reply

    TheoremExplainBench (TEB) is a benchmark dataset developed alongside TheoremExplainAgent to evaluate LLM performance in theorem explanation. It contains:
    - 240 theorems (80 easy, 80 medium, 80 hard)
    - Coverage of 68 subfields
    - Data sourced from OpenStax and LibreTexts
    It assesses five dimensions: accuracy, depth, logical flow, visual relevance, and element layout.

Leave an answer