Papers by Jonathan Leung
TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding (2025.acl-long)
Copied to clipboard
| Challenge: | Understanding domain-specific theorems requires more than text-based reasoning . current evaluations of theoretical models are based on textual cues . |
| Approach: | They propose an agentic approach for generating long-form theorem explanation videos using Manim animations. |
| Outcome: | The proposed agent generates long-form theorem explanation videos using Manim animations . the agent achieves a success rate of 93.8% and an overall score of 0.77 . |
Entity Contrastive Learning in a Large-Scale Virtual Assistant System (2023.acl-industry)
Copied to clipboard
| Challenge: | Named Entity Recognition (NER) tasks are a well-studied and fundamental task within Natural Language Understanding (NLU). |
| Approach: | They propose to incorporate entity contrastive learning into a virtual assistant system to improve NER models by clustering similar inputs closer together in a learned representation space. |
| Outcome: | The proposed model improves against a production baseline system that does not use contrastive learning. |