TIGER-AI-Lab / TheoremExplainAgentLinks
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025]
☆1,293Updated last week
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.☆974Updated last week
- ☆743Updated this week
- OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…☆609Updated this week
- ☆383Updated 2 weeks ago
- OpenAlpha_Evolve is an open-source Python framework inspired by the groundbreaking research on autonomous coding agents like DeepMind's A…☆763Updated last week
- 🎨 Turn your roughest sketches into stunning 3D worlds by vibe drawing☆1,859Updated 2 months ago
- Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)☆4,393Updated this week
- Official PyTorch implementation of One-Minute Video Generation with Test-Time Training☆1,587Updated this week
- Transform PDFs into AI podcasts for engaging on-the-go audio content.☆660Updated last month
- ☆2,579Updated last month
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆625Updated 3 months ago
- A Model Context Protocol server for searching and analyzing arXiv papers☆1,198Updated last month
- 💼 Your own AI-powered voice interviewer for hiring.☆838Updated last month
- An agentic company research tool powered by LangGraph and Tavily that conducts deep diligence on companies using a multi-agent framework.…☆1,175Updated this week
- ☆1,269Updated last month
- Official MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video ge…☆527Updated last month
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆486Updated 2 weeks ago
- ☆886Updated 2 months ago
- A Python package that makes it easy for developers to create AI apps powered by various AI providers.☆1,617Updated last month
- 🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents.☆1,487Updated this week
- AI reads books: Page-by-Page PDF Knowledge Extractor & Summarizer. script performs an intelligent page-by-page analysis of PDF books, met…☆1,487Updated 4 months ago
- Open source alternative to Gemini Deep Research. Generate reports with AI based on search results.☆1,924Updated 2 months ago
- ☆259Updated 2 months ago
- SkyReels-V2: Infinite-length Film Generative model☆2,707Updated last week
- Company Researcher tool helps you instantly understand any company inside out.☆1,200Updated this week
- OmniSVG is the first family of end-to-end multimodal SVG generators that leverage pre-trained Vision-Language Models (VLMs), capable of g…☆1,747Updated last week
- 🎨 Refly is an open-source AI-native creation engine. Its intuitive free-form canvas interface combines multi-threaded dialogues, artifac…☆4,008Updated this week
- A mini, open-weights, version of our Proxy assistant.☆922Updated 3 months ago
- A powerful coding assistant application that integrates with the DeepSeek API to process user conversations and generate structured JSON …☆1,887Updated last week
- Deep research agent to help you find the best GitHub repositories 🕵️!☆727Updated last month