Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
☆1,462Jul 27, 2025Updated 7 months ago
Alternatives and similar repositories for TheoremExplainAgent
Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below
Sorting:
- [CVPR 2025] Official repo for ART:Anonymous Region Transformer for Variable Multi-Layer Transparent Image Generation☆365Feb 5, 2026Updated 3 weeks ago
- Create Epic Math and Physics Animations & Study Notes From Text and Images.☆1,712Feb 1, 2026Updated 3 weeks ago
- The first open-source agent skills builder. Define skills by vibe workflow, run on Claude Code, Cursor, Codex & more. Build Clawdbot 🦞· …☆6,845Updated this week
- [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths☆513May 23, 2025Updated 9 months ago
- Netflix-level subtitle cutting, translation, alignment, and even dubbing - one-click fully automated AI video subtitle team | Netflix级字幕切…☆16,048May 18, 2025Updated 9 months ago
- [CVPR 2025] This is an official inference code of the paper "BizGen: Advancing Article-level Visual Text Rendering for Infographics Gener…☆301Apr 5, 2025Updated 10 months ago
- Open-source framework for conversational voice AI agents☆10,065Updated this week
- SynCD: Generating Multi-Image Synthetic Data for Text-to-Image Customization (ICCV 2025)☆153Oct 16, 2025Updated 4 months ago
- 🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation☆19,129Updated this week
- An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.☆27,918Sep 30, 2025Updated 5 months ago
- A NextJS based app that takes a user prompt, or a YouTube url, or a Website URL, and generates a beautiful Mindmap.☆124Mar 5, 2025Updated 11 months ago
- Open-Source Chrome extension for AI-powered web automation. Run multi-agent workflows using your own LLM API key. Alternative to OpenAI O…☆12,304Nov 24, 2025Updated 3 months ago
- Mobius: Text to Seamless Looping Video Generation via Latent Shift☆174May 8, 2025Updated 9 months ago
- [CVPR 2025] Learning Flow Fields in Attention for Controllable Person Image Generation☆1,649Sep 12, 2025Updated 5 months ago
- RAG Web UI is an intelligent dialogue system based on RAG (Retrieval-Augmented Generation) technology.☆2,796Dec 8, 2025Updated 2 months ago
- Query and Summarize your chat messages.☆1,032Dec 4, 2024Updated last year
- [ICLR 2026] A Training-free Iterative Framework for Long Story Visualization☆947Feb 18, 2026Updated last week
- ☆4,613Feb 13, 2026Updated 2 weeks ago
- The programming language for agentic software. Build, run, and manage multi-agent systems at scale.☆38,104Updated this week
- ☆2,755May 2, 2025Updated 9 months ago
- TrendPublish: 全自动 AI 内容生成与发布系统 | 微信公众号自动化 | 多源数据抓取 (Twitter/X、网站) | DeepseekAI、千问、讯飞模型 | 智能内容分析排序 | 定时发布 | 多模板支持 | Node.js | TypeScript |…☆2,796Jan 8, 2026Updated last month
- Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet and cites it too. …☆11,472Feb 10, 2026Updated 2 weeks ago
- Kortix – build, manage and train AI Agents.☆19,418Updated this week
- Toolkit for linearizing PDFs for LLM datasets/training☆16,947Feb 19, 2026Updated last week
- No fortress, purely open ground. OpenManus is Coming.☆54,814Feb 11, 2026Updated 2 weeks ago
- A simple screen parsing tool towards pure vision based GUI agent☆24,406Sep 12, 2025Updated 5 months ago
- In-context subject-driven image generation while preserving foreground fidelity☆351Jun 11, 2025Updated 8 months ago
- Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)☆5,099Dec 13, 2025Updated 2 months ago
- Company Researcher tool helps you instantly understand any company inside out.☆1,409Feb 11, 2026Updated 2 weeks ago
- 🌐 Make websites accessible for AI agents. Automate tasks online with ease.☆79,028Updated 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,574Jan 20, 2025Updated last year
- ☆1,641Apr 22, 2025Updated 10 months ago
- [NeurIPS 2025 Spotlight] A Generalist Diffusion Model for Vision Perception☆295Sep 21, 2025Updated 5 months ago
- 一个用于抓取和分析 X (Twitter) 用户数据和推文的工具。☆893Updated this week
- Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet. Powered by Vercel…☆124Nov 9, 2025Updated 3 months ago
- Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"☆649Feb 24, 2025Updated last year
- Multi-modal OCR pipeline optimized for ML training (text, figure, math, tables, diagrams)☆682May 20, 2025Updated 9 months ago
- Transforms complex documents like PDFs into LLM-ready markdown/JSON for your Agentic workflows.☆54,870Updated this week
- Universal memory layer for AI Agents☆47,994Updated this week