Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
☆1,501Jul 27, 2025Updated last year
Alternatives and similar repositories for TheoremExplainAgent
Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [CVPR 2025] Official repo for ART:Anonymous Region Transformer for Variable Multi-Layer Transparent Image Generation☆375Apr 8, 2026Updated 4 months ago
- Create Epic Math and Physics Animations & Study Notes From Text and Images.☆2,450Updated this week
- SynCD: Generating Multi-Image Synthetic Data for Text-to-Image Customization (ICCV 2025)☆156May 24, 2026Updated 2 months ago
- The first open-source agent skills builder. Define skills by vibe workflow, run on Claude Code, Cursor, Codex & more. Build Clawdbot 🦞· …☆7,479Jul 29, 2026Updated 2 weeks ago
- Mobius: Text to Seamless Looping Video Generation via Latent Shift☆179May 8, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [CVPR 2025] This is an official inference code of the paper "BizGen: Advancing Article-level Visual Text Rendering for Infographics Gener…☆305Apr 5, 2025Updated last year
- A NextJS based app that takes a user prompt, or a YouTube url, or a Website URL, and generates a beautiful Mindmap.☆125Mar 5, 2025Updated last year
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆514Mar 9, 2026Updated 5 months ago
- 🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation☆20,080Updated this week
- Netflix-level subtitle cutting, translation, alignment, and even dubbing - one-click fully automated AI video subtitle team | Netflix级字幕切…☆18,110Jul 2, 2026Updated last month
- [ICML 2026] Video generation via code☆1,884May 31, 2026Updated 2 months ago
- Open-source framework for conversational voice AI agents☆11,037Updated this week
- In-context subject-driven image generation while preserving foreground fidelity☆351Jun 11, 2025Updated last year
- Query and Summarize your chat messages.☆1,030Dec 4, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [ICLR 2026] A Training-free Iterative Framework for Long Story Visualization☆957Apr 2, 2026Updated 4 months ago
- No fortress, purely open ground. OpenManus is Coming.☆57,911Feb 11, 2026Updated 6 months ago
- TrendPublish: 全自动 AI 内容生成与发布系统 | 微信公众号自动化 | 多源数据抓取 (Twitter/X、网站) | DeepseekAI、千问、讯飞模型 | 智能内容分析排序 | 定时发布 | 多模板支持 | Node.js | TypeScript |…☆3,126Aug 4, 2026Updated last week
- An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.☆30,902Sep 30, 2025Updated 10 months ago
- [NeurIPS 2025 Spotlight] A Generalist Diffusion Model for Vision Perception☆321Sep 21, 2025Updated 10 months ago
- Company Researcher tool helps you instantly understand any company inside out.☆1,477Updated 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…☆13,548Nov 24, 2025Updated 8 months ago
- Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet and cites it too. …☆11,833Mar 20, 2026Updated 4 months ago
- RAG Web UI is an intelligent dialogue system based on RAG (Retrieval-Augmented Generation) technology.☆3,257Apr 6, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The open-source AI Management System☆20,092Updated this week
- ☆36Mar 16, 2026Updated 4 months ago
- Build, run, and manage agent platforms.☆41,661Updated this week
- 🎨 GPT for video generation ⚡️☆905Jul 26, 2026Updated 2 weeks ago
- A simple screen parsing tool towards pure vision based GUI agent☆25,244Jul 20, 2026Updated 3 weeks ago
- 👨🏫 ChatTutor: Visual and Interactive AI Tutor☆1,305Jan 9, 2026Updated 7 months ago
- ☆306Aug 23, 2024Updated last year
- Toolkit for linearizing PDFs for LLM datasets/training☆19,292Mar 25, 2026Updated 4 months ago
- [CVPR 2025] Learning Flow Fields in Attention for Controllable Person Image Generation☆1,670Sep 12, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fogsight is an AI agent and animation engine powered by Large Language Models.☆2,545Mar 21, 2026Updated 4 months ago
- ☆2,783May 2, 2025Updated last year
- Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)☆5,215May 1, 2026Updated 3 months ago
- ☆1,645Updated this week
- Generate a comprehensive review from an arXiv paper, then turn it into a blog post. This project powers the website below for the Hugging…☆847Feb 20, 2025Updated last year
- Spark-TTS Inference Code☆11,004Apr 9, 2025Updated last year
- Clapper.app, a video synthesizer and sequencer designed for the age of AI cinema☆2,331Aug 1, 2025Updated last year