TIGER-AI-Lab / TheoremExplainAgent
Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"
☆1,234Updated last month
Alternatives and similar repositories for TheoremExplainAgent
Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below
Sorting:
- Create Epic Math and Physics Animations From Text.☆952Updated this week
- SkyReels-V2: Infinite-length Film Generative model☆2,183Updated last week
- Official MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video ge…☆455Updated last week
- A Training-free Iterative Framework for Long Story Visualization☆889Updated 4 months ago
- Transform PDFs into AI podcasts for engaging on-the-go audio content.☆645Updated last month
- OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…☆604Updated 2 weeks ago
- Model Activity Visualiser☆477Updated last month
- Official PyTorch implementation of One-Minute Video Generation with Test-Time Training☆1,519Updated last month
- A Claude MCP tool to interact with the ChatGPT desktop app on macOS☆654Updated 2 months ago
- SkyReels V1: The first and most advanced open-source human-centric video foundation model☆2,148Updated 2 months ago
- AI computer use powered by open source LLMs and E2B Desktop Sandbox☆1,147Updated 2 months ago
- ☆2,928Updated 2 months ago
- 💼 Your own AI-powered voice interviewer for hiring.☆822Updated last week
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆400Updated this week
- Voice-Enabled Math Tutor Powered by Groq that Calculates and Renders Live Problems and Instruction with LaTeX in Seconds!☆222Updated 4 months ago
- A mini, open-weights, version of our Proxy assistant.☆905Updated 2 months ago
- ☆875Updated last month
- ☆258Updated last month
- AI reads books: Page-by-Page PDF Knowledge Extractor & Summarizer. script performs an intelligent page-by-page analysis of PDF books, met…☆1,472Updated 3 months ago
- An agentic company research tool powered by LangGraph and Tavily that conducts deep diligence on companies using a multi-agent framework.…☆842Updated this week
- Perplexity style AI Search engine clone built with Gemini 2.0 Flash and Grounding☆1,986Updated 4 months ago
- MAGI-1: Autoregressive Video Generation at Scale☆3,001Updated this week
- The official ElevenLabs MCP server☆674Updated 2 weeks ago
- Make any LLM to think like OpenAI o1 and deepseek R1☆488Updated 3 months ago
- OmniSVG is the first family of end-to-end multimodal SVG generators that leverage pre-trained Vision-Language Models (VLMs), capable of g…☆1,669Updated last month
- Deeper Seeker is an simpler OSS version of OpenAI's latest Deep Research feature in ChatGPT.It is an agentic research tool to reason , cr…☆402Updated this week
- Parse your desktop like an HTML website. Playwright but for your desktop.☆310Updated this week
- Claude can perform Web Search | Exa with MCP (Model Context Protocol)☆1,587Updated this week
- An Open-Source AI Writing Project.☆297Updated this week
- TangoFlux: Super Fast and Faithful Text to Audio Generation with Flow Matching☆723Updated 2 months ago