Krish Shah

2 months ago | tiger-ai-lab.github.io | Thomas H. Chong |Jonathan Leung |Krish Shah |Alvin Yu

Your browser does not support the video tag. Trailer video for TheoremExplainAgent **Please turn on the audio for the best experience.** Abstract Understanding domain-specific theorems often requires more than just text-based reasoning; effective communication through structured visual explanations is crucial for deeper comprehension.