TIGER-AI-Lab / TheoremExplainAgent

Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"

TIGER-AI-Lab
TIGER-AI-Lab
Date Created 2025-02-16 (about a month ago)
Commits 30 (last one 19 hours ago)
Stargazers 1,164 (26 this week)
Watchers 33 (0 this week)
Forks 140
License mit
Ranking

RepositoryStats indexes 634,026 repositories, of these TIGER-AI-Lab/TheoremExplainAgent is ranked #46,519 (93rd percentile) for total stargazers, and #65,352 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #7,420/129,650.

TIGER-AI-Lab/TheoremExplainAgent is also tagged with popular topics, for these it's ranked: rag (#123/695)

Other Information

TIGER-AI-Lab/TheoremExplainAgent has 1 open pull request on Github, 0 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 17 open issues and 11 closed issues.

Homepage URL: https://tiger-ai-lab.github.io/TheoremExplainAgent/

Star History

Github stargazers over time

1.2k1.2k1k1k80080060060040040020020000Mar '25Mar '2508 Mar08 Mar16 Mar16 Mar24 Mar24 MarApr '25Apr '25

Watcher History

Github watchers over time, collection started in '23

35353030252520201515101008 Mar08 Mar16 Mar16 Mar24 Mar24 MarApr '25Apr '25

Recent Commit History

28 commits on the default branch (main) since jan '22

30302525202015151010550016 Feb16 Feb24 Feb24 FebMar '25Mar '2508 Mar08 Mar16 Mar16 Mar24 Mar24 MarApr '25Apr '25

Yearly Commits

Commits to the default branch (main) per year

2222111111000020242024

Issue History

Total Issues
Open Issues
Closed Issues
303025252020151510105500Feb '25Feb '2508 Mar08 Mar16 Mar16 Mar24 Mar24 MarApr '25Apr '25

Languages

The only known language in this repository is Python

PythonPython

updated: 2025-04-01 @ 06:43pm, id: 933894892 / R_kgDON6oa7A