Independent project. Not a U.S. government website.

Support our project (opens Buy Me a Coffee)
USASI

Jump to

Start hereFour ways into the catalogCompanies & LabsU.S. AI organizationsOpen Models & ToolsOpen models, software, datasets, and evaluation toolsLearnExplainers and learning pathsFor kidsAI and Super Intelligence, explained for readers 8 to 12Latest newsSourced news itemsPolicy trackerFederal AI laws, orders, and standards

Generated teal constellation network artwork for TIGER-AI-Lab/TheoremExplainAgent, labeled USASI · AI on GitHub, with Organization · Python · MIT.
Rank #4,566 1,513 starsPython

TheoremExplainAgent

by TIGER-AI-Lab (organization)

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral] (description from the project’s GitHub page)

View on GitHub (external site: github.com)Homepage (external site: tiger-ai-lab.github.io)

Repository facts

Stars
1,513
Forks
201
Open issues and pull requests
11
Primary language
Python
License
MIT License (MIT)
Owner
TIGER-AI-Lab · Organization
Created
Feb 16, 2025
Last push
Jul 27, 2025

Topics

Rank #4,566 of 9,507 in AI on GitHub, by stars. Data from the GitHub API, fetched Oct 18, 2026; star counts change daily. Stars measure popularity, not quality or safety, and a listing is not an endorsement. How this list is made

Add this badge to your README

Ranked #4,566 in AI on GitHubShows this repository’s rank in AI on GitHub and links back to this page. Ranks are by stars and change when the list is refreshed. The badge is not an endorsement or a rating. About the badges

Markdown (for a README)

[![Ranked #4,566 in AI on GitHub](https://unitedstatesofamericasuperintelligence.com/badges/github/tiger-ai-lab--theoremexplainagent.svg)](https://unitedstatesofamericasuperintelligence.com/github/tiger-ai-lab--theoremexplainagent/)

HTML

<a href="https://unitedstatesofamericasuperintelligence.com/github/tiger-ai-lab--theoremexplainagent/"><img src="https://unitedstatesofamericasuperintelligence.com/badges/github/tiger-ai-lab--theoremexplainagent.svg" alt="Ranked #4,566 in AI on GitHub" height="20"></a>

Related projects

Projects that share this one’s GitHub topics.

  • Rank 1,619: FellouAI/eko

    Eko (Eko Keeps Operating) - Build Production-ready Agentic Workflow with Natural Language - eko.fellou.ai

    4,966 starsTypeScriptMITLast push Mar 3, 2026

  • Rank 5,705: NirDiamant/Agent_Memory_Techniques

    Agent memory for LLMs: 30 runnable Jupyter notebooks covering conversation buffers, vector stores, knowledge graphs, episodic and semantic memory, MemGPT, Mem0, Letta, Zep, Graphi…

    1,108 starsJupyter NotebookApache-2.0Last push Oct 17, 2026

  • Rank 2,226: helblazer811/ManimML

    ManimML is a project focused on providing animations and visualizations of common machine learning concepts with the Manim Community Library.

    3,519 starsPythonMITLast push Jun 22, 2024

  • Rank 122: HKUDS/nanobot

    Ultra-lightweight, open-source, self-hosted personal AI agent framework in Python with WebUI, tools, memory, MCP, multi-agent workflows, automation, and chat apps

    49,145 starsPythonMITLast push Oct 18, 2026

  • Rank 302: Fosowl/agenticSeek

    Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity.

    27,506 starsPythonGPL-3.0Last push Oct 15, 2026

Support Us

Help keep USASI useful.

Leave a tip on Buy Me a Coffee (external site)

Optional. No USASI account required. Payment takes place on the linked provider’s website (Buy Me a Coffee).

About supporting this project