TIGER-AI-Lab / TheoremExplainAgentLinks
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
☆1,458Updated 6 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,627Updated last week
- [ICLR 2026] A Training-free Iterative Framework for Long Story Visualization☆947Updated last week
- ☆1,361Updated 9 months ago
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆650Updated 11 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,572Updated last year
- 💼 Your own AI-powered voice interviewer for hiring.☆1,054Updated last week
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆513Updated 8 months ago
- Transform PDFs into AI podcasts for engaging on-the-go audio content.☆790Updated last week
- ☆300Updated last year
- [EMNLP 2025] OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking☆489Updated 5 months ago
- ☆2,751Updated 9 months ago
- Model Activity Visualiser☆521Updated 9 months ago
- Video generation via code☆1,543Updated 2 months ago
- An AI personal tutor built with Llama 3.1☆1,957Updated last month
- A mini, open-weights, version of our Proxy assistant.☆985Updated 11 months ago
- Convert any PDF into a podcast episode!☆2,561Updated last year
- An Open-Source AI Writing Project.☆829Updated 2 months ago
- podcastfy.ai gradio demo app☆333Updated last year
- ⚡ Insanely fast AI voice assistant with <500ms response times☆585Updated last year
- Generate a comprehensive review from an arXiv paper, then turn it into a blog post. This project powers the website below for the Hugging…☆824Updated 11 months ago
- Force DeepSeek r1 models to think for as long as you wish☆372Updated 11 months ago
- A Python package that makes it easy for developers to create AI apps powered by various AI providers.☆1,646Updated 9 months ago
- Interesting physics-sims generated via LLM prompting.☆268Updated 8 months ago
- Open source alternative to Gemini Deep Research. Generate reports with AI based on search results.☆2,124Updated last month
- OpenSource Production ready Customer service with built in Evals and monitoring☆1,433Updated 3 weeks ago
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆738Updated 8 months ago
- Voice-Enabled Math Tutor Powered by Groq that Calculates and Renders Live Problems and Instruction with LaTeX in Seconds!☆239Updated last month
- Company Researcher tool helps you instantly understand any company inside out.☆1,395Updated last month
- Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)☆5,072Updated last month
- An opensource implementation of NotebookLM using Deepseek-V3 and PlayHT TTS.☆300Updated last year