TIGER-AI-Lab / TheoremExplainAgentLinks
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
☆1,402Updated 2 months 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 & Study Notes From Text and Images.☆1,070Updated 2 weeks ago
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆639Updated 7 months ago
- Model Activity Visualiser☆519Updated 6 months ago
- ☆490Updated 5 months ago
- An Open-Source AI Writing Project.☆390Updated last month
- Video generation via code☆718Updated this week
- Transform PDFs into AI podcasts for engaging on-the-go audio content.☆753Updated 4 months ago
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆500Updated 4 months ago
- 💼 Your own AI-powered voice interviewer for hiring.☆979Updated last month
- ⚡ Insanely fast AI voice assistant with <500ms response times☆575Updated 10 months ago
- Official MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video ge…☆973Updated 3 months ago
- OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…☆634Updated 4 months ago
- ☆1,339Updated 6 months ago
- Interesting physics-sims generated via LLM prompting.☆268Updated 5 months ago
- A Training-free Iterative Framework for Long Story Visualization☆920Updated 9 months ago
- AI reads books: Page-by-Page PDF Knowledge Extractor & Summarizer. script performs an intelligent page-by-page analysis of PDF books, met…☆1,551Updated 8 months ago
- 🧙♂️ Writing by manipulating visual representations of stories☆876Updated 3 months ago
- ☆570Updated 3 months ago
- [EMNLP 2025] OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking☆460Updated last month
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆563Updated 4 months ago
- Force DeepSeek r1 models to think for as long as you wish☆370Updated 8 months ago
- ☆285Updated last year
- A mini, open-weights, version of our Proxy assistant.☆965Updated 7 months ago
- Company Researcher tool helps you instantly understand any company inside out.☆1,304Updated last month
- An open-sourced end-to-end VLM-based GUI Agent☆1,066Updated 6 months ago
- podcastfy.ai gradio demo app☆335Updated 10 months ago
- 🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents.☆2,003Updated this week
- A roadmap for "generative AI" learning resources☆285Updated last year
- Profile-Based Long-Term Memory for AI Applications. Memobase handles user profiles, memory events, and evolving context — perfect for ch…☆2,225Updated last week
- A Python package that makes it easy for developers to create AI apps powered by various AI providers.☆1,651Updated 6 months ago