TIGER-AI-Lab / TheoremExplainAgentLinks
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
☆1,327Updated 2 weeks ago
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.☆1,006Updated this week
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆632Updated 4 months ago
- OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…☆617Updated last month
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆492Updated last month
- Model Activity Visualiser☆509Updated 3 months ago
- Python library for Agentic Document Extraction from LandingAI☆722Updated this week
- ☆419Updated 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,501Updated 5 months ago
- Transform PDFs into AI podcasts for engaging on-the-go audio content.☆678Updated last month
- 💼 Your own AI-powered voice interviewer for hiring.☆880Updated 2 weeks ago
- AI design agent, local alternative for Lovart. AI agent with ability to design, edit and generate images, posters, storyboards, etc.☆1,170Updated this week
- ☆1,034Updated this week
- A mini, open-weights, version of our Proxy assistant.☆938Updated 4 months ago
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆520Updated last month
- Official MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video ge…☆779Updated this week
- Force DeepSeek r1 models to think for as long as you wish☆369Updated 4 months ago
- ☆1,287Updated 2 months ago
- A Training-free Iterative Framework for Long Story Visualization☆901Updated 5 months ago
- ☆456Updated 2 weeks ago
- Company Researcher tool helps you instantly understand any company inside out.☆1,222Updated 2 weeks ago
- A Model Context Protocol server for searching and analyzing arXiv papers☆1,397Updated last month
- Interesting physics-sims generated via LLM prompting.☆263Updated last month
- OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking☆454Updated 2 months ago
- II-Agent: a new open-source framework to build and deploy intelligent agents☆2,610Updated last week
- A powerful coding assistant application that integrates with the DeepSeek API to process user conversations and generate structured JSON …☆2,203Updated last month
- Profile-Based Long-Term Memory for AI Applications. Memobase handles user profiles, memory events, and evolving context — perfect for ch…☆1,545Updated this week
- Table of awesome Browser Use prompts☆645Updated 3 months ago
- A Claude MCP tool to interact with the ChatGPT desktop app on macOS☆701Updated last month
- An agentic company research tool powered by LangGraph and Tavily that conducts deep diligence on companies using a multi-agent framework.…☆1,305Updated 3 weeks ago
- MemOS (Preview) | Intelligence Begins with Memory☆638Updated this week