GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

TIGER-AI-Lab/TheoremExplainAgent - GitHub Explorer | GitHub Explorer | Trending | Compare

TheoremExplainAgent

TIGER-AI-Lab•PUBLIC

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

llm-agentsmanimmanim-animationsmanim-videorag

MIT License

Created on Feb 16, 2025

Updated on Apr 3, 2026

Stars

1.5k

Forks

196

Watchers

1.5k

Open Issues

10

Repository Health Score

🧡

68/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Community

1,477 stars, 196 forks

3/30

10%

Documentation

Has description, license

15/20

75%

Maintenance

0.7% issue ratio

20/20

100%

Health score is calculated based on activity, community engagement, documentation quality, and maintenance practices

Languages

Python

100.0%

Issues Analytics

34

Total Issues

All time

9

Open

26% of total

25

Closed

74% of total

1mo

Avg Close Time

Avg response

Issues Activity: Last 6 months

Top Labels

Hottest Issues

1

#10 How can I ensure that I have successfully run the program?

10

open

2

#1 Is there a plan to open the source code?

good first issue

6

1

closed

3

#23 demonstration

5

open

4

#22 How to solve this

2

3

open

5

#14 combine the video and audio cost almost 30 mins.

4

closed

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

vinesmsuic

User

38

commits

2

thomas-chong

User

2

commits

3

KrishKrosh

User

1

commits

Recent Commits

Update README.md

Krish Shah•8 months ago

e9ece5dView on GitHub

Update README.md

Max Ku•8 months ago

51e0b07View on GitHub

Update README.md

Max Ku•8 months ago

12fe872View on GitHub

Update README.md

Max Ku•9 months ago

eccfe22View on GitHub

Update README.md

Max Ku•10 months ago

8d41069View on GitHub

Update README.md

Max Ku•10 months ago

72fb42cView on GitHub

Update README.md

Max Ku•10 months ago

c5b0f48View on GitHub

Update README.md

Max Ku•10 months ago

91add32View on GitHub

Update README.md

Max Ku•10 months ago

11a3e24View on GitHub

Update README.md

Max Ku•10 months ago

861076cView on GitHub

Update README.md

Max Ku•1 year ago

f0bc04cView on GitHub

Update README.md

Max Ku•1 year ago

099fa33View on GitHub

Update README.md

Max Ku•1 year ago

2963ab1View on GitHub

Adding guide on modifying system prompt

Max Ku•1 year ago

26ecd96View on GitHub

Update README.md

Max Ku•1 year ago

54c27c6View on GitHub

View all commits