TIGER-AI-Lab/TheoremExplainAgent: Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"

Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"

saved by

• Chloe Nguyen

related reading

• LLM Visualizationbbycroft.net
• Parsed | Custom, interpretable AI systems that continuously learnparsed.com
• GitHub - Egonex-AI/Understand-Anything: Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI,github.com
• GitHub - brexhq/prompt-engineering: Tips and tricks for working with Large Language Models like OpenAI's GPT-4. · GitHubgithub.com
• Use Cases | Claudeclaude.com
• GitHub - PaulPauls/llama3_interpretability_sae: A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and fully reproducible. · GitHubgithub.com
• GitHub - affaan-m/ECC: The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond. · GitHubgithub.com
• OpenAI | Research & Deploymentopenai.com
• GitHub - ByteByteGoHq/system-design-101: Explain complex systems using visuals and simple terms. Help you prepare for system design interviews. · GitHubgithub.com
• GitHub - x1xhlol/system-prompts-and-models-of-ai-tools: FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Tragithub.com
• llm-wiki · GitHubgist.github.com
• Reasoning models | OpenAI APIplatform.openai.com