Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
☆1,513Jul 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:
- Create Epic Math and Physics Animations & Study Notes From Text and Images.☆2,814Updated this week
- [CVPR 2025] Official repo for ART:Anonymous Region Transformer for Variable Multi-Layer Transparent Image Generation☆380Apr 8, 2026Updated 6 months ago
- SynCD: Generating Multi-Image Synthetic Data for Text-to-Image Customization (ICCV 2025)☆156May 24, 2026Updated 5 months ago
- [ICML 2026] Video generation via code☆2,190Aug 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,545Oct 21, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Mobius: Text to Seamless Looping Video Generation via Latent Shift☆185May 8, 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.☆129Mar 5, 2025Updated last year
- [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
- 🎨 GPT for video generation ⚡️☆935Sep 17, 2026Updated last month
- 🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation☆20,164Updated this week
- 👨🏫 ChatTutor: Visual and Interactive AI Tutor☆1,317Jan 9, 2026Updated 9 months ago
- Netflix-level subtitle cutting, translation, alignment, and even dubbing - one-click fully automated AI video subtitle team | Netflix级字幕切…☆19,016Sep 30, 2026Updated last month
- Open-source framework for conversational voice AI agents☆11,213Updated this week
- Kortix CompanyOS – the open-source operating system for your company. Multiplayer AI agents, your company as code, sovereign on your infr…☆20,341Updated this week
- 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.
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆517Mar 9, 2026Updated 7 months ago
- Fogsight is an AI agent and animation engine powered by Large Language Models.☆2,569Oct 9, 2026Updated 3 weeks ago
- [ICLR 2026] A Training-free Iterative Framework for Long Story Visualization☆959Apr 2, 2026Updated 6 months ago
- ☆309Aug 23, 2024Updated 2 years ago
- Query and Summarize your chat messages.☆1,026Dec 4, 2024Updated last year
- No fortress, purely open ground. OpenManus is Coming.☆58,840Updated this week
- In-context subject-driven image generation while preserving foreground fidelity☆351Jun 11, 2025Updated last year
- Speech to Text but with all the bells and whistles and most importantly AI! AI will clean up your filler words, edit and will refine what…☆331Feb 9, 2025Updated last year
- An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.☆31,761Sep 30, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- RAG Web UI is an intelligent dialogue system based on RAG (Retrieval-Augmented Generation) technology.☆3,302Apr 6, 2026Updated 6 months ago
- Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)☆5,244May 1, 2026Updated 5 months ago
- TrendPublish: 全自动 AI 内容生成与发布系统 | 微信公众号自动化 | 多源数据抓取 (Twitter/X、网站) | DeepseekAI、千问、讯飞模型 | 智能内容分析排序 | 定时发布 | 多模板支持 | Node.js | TypeScript |…☆3,226Aug 4, 2026Updated 2 months ago
- ☆1,652Updated this week
- ☆2,792May 2, 2025Updated last year
- [NeurIPS 2025 Spotlight] A Generalist Diffusion Model for Vision Perception☆322Sep 21, 2025Updated last year
- The self-driving agent platform☆42,998Updated this week
- A simple screen parsing tool towards pure vision based GUI agent☆25,597Jul 20, 2026Updated 3 months ago
- Zonos-v0.1 is a leading open-weight text-to-speech model trained on more than 200k hours of varied multilingual speech, delivering expres…☆7,240Mar 5, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆47Mar 16, 2026Updated 7 months ago
- Open-source deep research agent. Ask a question and LLM agents search the web, read pages and PDFs, score source credibility, and write a…☆11Sep 20, 2026Updated last month
- Spark-TTS Inference Code☆10,993Apr 9, 2025Updated last year
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆666Feb 24, 2025Updated last year
- Open-source AI agent for web automation. Use your real, logged-in browser to automate daily tasks.☆14,209Oct 24, 2026Updated last week
- [CVPR2025 Highlight] Video Generation Foundation Models: https://saiyan-world.github.io/goku/☆2,915Feb 19, 2025Updated last year
- Using GPT to parse PDF☆3,555Apr 17, 2025Updated last year