TIGER-AI-Lab / TheoremExplainAgent
Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"
☆1,153Updated this week
Alternatives and similar repositories for TheoremExplainAgent:
Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below
- Create Epic Math and Physics Animations From Text.☆916Updated 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,440Updated 2 months ago
- 💼 Your own AI-powered voice interviewer for hiring.☆763Updated 3 weeks ago
- A powerful coding assistant application that integrates with the DeepSeek API to process user conversations and generate structured JSON …☆1,434Updated 2 months ago
- Manus AI alternative that run locally. Powered with Deepseek R1. No APIs, No $456 monthly bills. Enjoy an autonomous agent that thinks, b…☆694Updated this week
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆601Updated last month
- A Training-free Iterative Framework for Long Story Visualization☆858Updated 2 months ago
- 🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents. https://oasis.camel-ai.org☆1,088Updated this week
- OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…☆461Updated 2 weeks ago
- Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆437Updated this week
- Voice-Enabled Math Tutor Powered by Groq that Calculates and Renders Live Problems and Instruction with LaTeX in Seconds!☆219Updated 3 months ago
- SkyReels V1: The first and most advanced open-source human-centric video foundation model☆1,915Updated 2 weeks ago
- A Model Context Protocol server for converting almost anything to Markdown☆1,116Updated 2 months ago
- Company Researcher tool helps you instantly understand any company inside out.☆1,138Updated 2 months ago
- Transform PDFs into AI podcasts for engaging on-the-go audio content.☆599Updated this week
- Open-Source Chrome extension for AI-powered web automation. Run multi-agent workflows using your own LLM API key. Alternative to OpenAI O…☆4,336Updated this week
- 🎨 Refly is an open-source AI-native creation engine. Its intuitive free-form canvas interface combines multi-threaded dialogues, artifac…☆3,177Updated this week
- Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)☆3,725Updated this week
- A Python package that makes it easy for developers to create AI apps powered by various AI providers.☆1,570Updated this week
- Like Manus, Computer Use Agent(CUA) and Omniparser, we are computer-using agents.AI-driven local automation assistant that uses natural l…☆2,807Updated this week
- podcastfy.ai gradio demo app☆330Updated 4 months ago
- [ICLR 2025] Agent S: an open agentic framework that uses computers like a human☆1,356Updated this week
- ☆940Updated this week
- Perplexity style AI Search engine clone built with Gemini 2.0 Flash and Grounding☆1,957Updated 2 months ago
- AI video agents framework for next-gen video interactions and workflows.☆819Updated last week
- ☆2,454Updated last month
- A Claude MCP tool to interact with the ChatGPT desktop app on macOS☆437Updated last month
- Query and Summarize your chat messages.☆834Updated 3 months ago
- 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…☆384Updated 3 weeks ago
- Prompt optimization scratch☆678Updated 3 weeks ago