Where can users access TheoremExplainAgent's resources?

Question

Answers ( 1 )

    0
    2025-04-01T06:10:44+00:00

    Key resources are available at:
    - [Project Website](https://tiger-ai-lab.github.io/TheoremExplainAgent/)
    - [GitHub Repository](https://github.com/TIGER-AI-Lab/TheoremExplainAgent) (MIT licensed, partially open-sourced)
    - [arXiv Paper](https://arxiv.org/abs/2502.19400) (Published Feb 26, 2025)
    - [TheoremExplainBench Dataset](https://huggingface.co/datasets/TIGER-Lab/TheoremExplainBench) on Hugging Face

Leave an answer