Home› Progetti› TheoremExplainAgent
TheoremExplainAgent

TheoremExplainAgent

di TIGER-AI-Lab · GitHub

Repo ufficiale per "TheoremExplainAgent: Verso spiegazioni multimodali basate su video per la comprensione dei teoremi LLM" [ACL 2025 orale]

# llm-agents# manim# manim-animations# manim-video# rag
Visualizza su GitHub
In parole semplici

Crea video che spiegano visivamente teoremi matematici, rivelando intuizioni che il solo testo potrebbe non cogliere.

⭐ Stelle
1.5k
🍴 Fork
199
📜 Licenza
MIT
Uso commerciale consentito
📅 Creato
2025
🔄 Ultimo commit
1 yr ago
🏷️ Categoria
llm-agents
💻 Lingua
Python
Mantieni questo progetto?

Rivendica la sua pagina: indicizzata qualunque sia il rango, tradotta in sei lingue e arricchita con le tue parole.

Rivendica questa pagina →
TheoremExplainAgent — GitHub preview card
📈 Storia delle stelle
1 5011 500
2026-07-202026-07-29
📈 Segui TheoremExplainAgent

Ricevi un avviso via email alla prossima release o quando decolla — non perderti nulla.

Gratis · senza carta · disdici quando vuoi
Ricevi avvisi via email →
📄 Informazioni

Repo ufficiale per "TheoremExplainAgent: Verso spiegazioni multimodali basate su video per la comprensione dei teoremi LLM" [ACL 2025 orale]

TheoremExplainAgent ha 1.5k stelle su GitHub. È stato forkato 199 volte. TheoremExplainAgent è scritto principalmente in Python. È in sviluppo attivo dal 2025. TheoremExplainAgent è disponibile con licenza MIT. I suoi temi principali sono: llm-agents, manim, manim-animations, manim-video.

❓ Frequently asked questions

Che cos'è TheoremExplainAgent?

Repo ufficiale per "TheoremExplainAgent: Verso spiegazioni multimodali basate su video per la comprensione dei teoremi LLM" [ACL 2025 orale]

TheoremExplainAgent è open source?

TheoremExplainAgent è un progetto open source. È rilasciato con licenza MIT.

TheoremExplainAgent è gratuito?

Sì. TheoremExplainAgent è gratuito e open source: puoi usarlo, modificarlo e ospitarlo autonomamente.

Con quale licenza è TheoremExplainAgent?

TheoremExplainAgent è disponibile con licenza MIT.

In quale linguaggio è scritto TheoremExplainAgent?

TheoremExplainAgent è scritto principalmente in Python.

🏅 Manutentore di questo progetto?
OpenSourceAI badge — TheoremExplainAgent

Aggiungi questo badge live al tuo README — le tue stelle GitHub e il ranking della directory, aggiornati quotidianamente.

[![OpenSourceAI](https://opensourceai.tech/badge.php?tool=tiger-ai-lab-theoremexplainagent)](https://opensourceai.tech/project/tiger-ai-lab-theoremexplainagent.html)
Altre opzioni di badge →
🧬 Condivide il DNA con🧬 Vedi la mappa del DNA →
ManimCat
EN: ManimCat: animazioni matematiche generate da AI a partire dal linguaggio naturale. Renderin…
★ 412 · 3blue1brown
condividemanim-videomanim
nanobot
Framework ultra-leggero, open-source, auto-ospitato per agenti AI personali in Python con WebUI…
★ 46.3k · agent-framework
agenticSeek
Manus AI completamente locale. Nessuna API, nessuna bolletta mensile di $200. Goditi un agente…
★ 26.7k · agentic-ai
planning-with-files
Pianificazione persistente basata su file per agenti di codifica AI e compiti a lungo termine.…
★ 25.8k · agent-skills
PocketFlow-Tutorial-Codebase-Knowledge
Pocket Flow: Codice base a Tutorial
★ 12.6k · coding
oasis
🏝️ OASIS: Simulazioni di Interazione Sociale per Agenti Aperti con Un Milione di Agenti.
★ 5k · agent-based-framework
eko
Eko (Eko Keeps Operating) - Costruisci Flussi di Lavoro Agenti Pronti per la Produzione con Lin…
★ 4.9k · agent
awesome-agentic-ai-zh
Una roadmap di apprendimento trilingue (繁中 / English / 简中) per AI agentica: dai fondamenti LLM…
★ 4.9k · agentic-ai
mcp-context-forge
Un gateway AI, registro e proxy che si trova davanti a qualsiasi MCP, A2A o API REST/gRPC, espo…
★ 4.2k · agents
mirage
Il Primo Filesystem Virtuale Unificato al Mondo per Agenti AI
★ 3.4k · agent-sandbox

Misurato dai topic GitHub comuni a entrambi i progetti, ponderati per la loro rarita.