Joshua Ong Jun Leang
- Are We Done with MMLU?
2024/06/06 by Aryo Pradipta Gema, Joshua Ong Jun Leang, Gema, Aryo Pradipta +29 · 5 voices · 54 citations
Computer Science · #Topic Modeling #Text Readability and Simplification #Natural Language Processing Techniques
- CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
2024/10/14 by Joshua Ong Jun Leang, Leang, Joshua Ong Jun, Aryo Pradipta Gema +3 · 7 citations
Computer Science · Mathematics · Social Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Machine Learning (cs.LG) #Mathematics Education and Pedagogy #Mathematics Education and Teaching Techniques #Symbolic Computation (cs.SC)
- Theorem Prover as a Judge for Synthetic Data Generation
2025/02/18 by Joshua Ong Jun Leang, Leang, Joshua Ong Jun, Giwon Hong +5 · 6 citations
Computer Science · #Semantic Web and Ontologies #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
2026/07/17 by Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang +4
#cs.SE #cs.AI #cs.LG #cs.PL