Alternatives and similar repositories for TheoremExplainAgent

Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below

• HarleyCoops / Math-To-Manim
  Create Epic Math and Physics Animations & Study Notes From Text and Images.
  ☆1,472Updated 3 weeks ago
• cxcscmu / Craw4LLM
  Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"
  ☆650Updated 10 months ago
• NVIDIA-AI-Blueprints / pdf-to-podcast
  Transform PDFs into AI podcasts for engaging on-the-go audio content.
  ☆785Updated last week
• echohive42 / AI-reads-books-page-by-page
  AI reads books: Page-by-Page PDF Knowledge Extractor & Summarizer. script performs an intelligent page-by-page analysis of PDF books, met…
  ☆1,567Updated 11 months ago
• ZongqianLi / ReasonGraph
  [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
  ☆506Updated 7 months ago
• FoloUp / FoloUp
  💼 Your own AI-powered voice interviewer for hiring.
  ☆1,037Updated last month
• UCSC-VLAA / story-adapter
  A Training-free Iterative Framework for Long Story Visualization
  ☆942Updated 11 months ago
• lamm-mit / PDF2Audio
  ☆1,356Updated 8 months ago
• showlab / Code2Video
  Video generation via code
  ☆1,473Updated last month
• X-PLUG / MM_StoryAgent
  ☆294Updated last year
• bklieger-groq / mathtutor-on-groq
  Voice-Enabled Math Tutor Powered by Groq that Calculates and Renders Live Problems and Instruction with LaTeX in Seconds!
  ☆238Updated last week
• gemsjohn / physics-sims
  Interesting physics-sims generated via LLM prompting.
  ☆269Updated 7 months ago
• GitHamza0206 / simba
  OpenSource Production ready Customer service with built in Evals and monitoring
  ☆1,388Updated this week
• showlab / computer_use_ootb
  Out-of-the-box (OOTB) GUI Agent for Windows and macOS
  ☆1,854Updated 7 months ago
• zjunlp / OmniThink
  [EMNLP 2025] OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking
  ☆485Updated 4 months ago
• CaraJ7 / MMSearch
  [ICLR 2025] The First Multimodal Seach Engine Pipeline and Benchmark for LMMs
  ☆482Updated 11 months ago
• qunash / r1-overthinker
  Force DeepSeek r1 models to think for as long as you wish
  ☆372Updated 10 months ago
• attentionmech / mav
  Model Activity Visualiser
  ☆520Updated 9 months ago
• convergence-ai / proxy-lite
  A mini, open-weights, version of our Proxy assistant.
  ☆980Updated 10 months ago
• abhiemj / manim-mcp-server
  ☆531Updated 7 months ago
• video-db / Director
  AI video agents framework for next-gen video interactions and workflows.
  ☆1,169Updated 5 months ago
• exa-labs / company-researcher
  Company Researcher tool helps you instantly understand any company inside out.
  ☆1,352Updated 3 weeks ago
• souzatharsis / podcastfy-demo
  podcastfy.ai gradio demo app
  ☆334Updated last year
• m-damien / VisualStoryWriting
  🧙‍♂️ Writing by manipulating visual representations of stories
  ☆937Updated 5 months ago
• HarshJ23 / Deeper-Seeker
  Deeper Seeker is an simpler OSS version of OpenAI's latest Deep Research feature in ChatGPT.It is an agentic research tool to reason , cr…
  ☆413Updated 7 months ago
• dsa / fast-voice-assistant
  ⚡ Insanely fast AI voice assistant with <500ms response times
  ☆581Updated last year
• mshumer / OpenDeepResearcher
  ☆2,749Updated 8 months ago
• zai-org / CogAgent
  An open-sourced end-to-end VLM-based GUI Agent
  ☆1,113Updated 9 months ago
• harishsg993010 / LLM-Reasoner
  Make any LLM to think like OpenAI o1 and deepseek R1
  ☆493Updated 11 months ago
• wisupai / e2m
  E2M converts various file types (doc, docx, epub, html, htm, url, pdf, ppt, pptx, mp3, m4a) into Markdown. It’s easy to install, with ded…
  ☆1,246Updated last year