Operations & Workflow Orchestration

TheoremExplainAgent

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

Source-Listed Pricing

Confirm at source

Model Provider

Multi-Model

API & Webhooks

No Direct API

Deployment Mode

Self-Hosted / Local

Core Capabilities & Integrations

✓Source code available

✓MIT license

Public Source

Review current product capabilities, availability, and commercial terms at https://github.com/TIGER-AI-Lab/TheoremExplainAgent.

Buyer request

Ask about TheoremExplainAgent

Request current pricing, a demo, or implementation details. We’ll route it through a verified contact path.

Represent TheoremExplainAgent?Claim the profile, submit sourced updates, or test qualified demo referrals.

Claim or partner →

Compare nearby or similarly categorized listings before deciding.

Browse the full directory →

Source linked

Paper2Slides

"Paper2Slides: From Paper to Presentation in One Click"

Operations & Workflow Orchestration

Self-hosted

Source linked

500 AI Agents Projects

The 500 AI Agents Projects is a curated collection of AI agent use cases across various industries. It showcases practical applications and provides links to open-source projects for implementation, illustrating how AI agents are transforming sectors such as healthcare, finance, education, retail, and more.

Operations & Workflow Orchestration

Self-hosted

Source linked

agi

The first distributed AGI system. Thousands of autonomous AI agents collaboratively train models, share experiments via P2P gossip, and push breakthroughs here. Fully peer-to-peer. Join from your browser or CLI.

Operations & Workflow Orchestration

Self-hosted

Source linked