Elamur Research⌕
☰
home / authors / Trieu H. Trinh / cited by / page 2

Who cites Trieu H. Trinh

548 citations of their works from 521 papers of our library (of the 149,439 whose bibliographies we read) · 177 with a page here, the most cited first · page 2 of 2 · 101–177 · ← Trieu H. Trinh

1 2

  1. MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific HypothesesarXiv:2410.07076Zonglin Yang, Wanhao Liu, Ben Gao, et al.2024 · 36 citations
  2. MambaByte: Token-free Selective State Space ModelarXiv:2401.13660Junxiong Wang, Tushaar Gangavarapu, Jing Nathan Yan, et al.2024 · 35 citations
  3. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
  4. LLM and Simulation as Bilevel Optimizers: A New Paradigm to Advance Physical Scientific DiscoveryarXiv:2405.09783Pingchuan Ma, Tsun-Hsuan Wang, Minghao Guo, et al.2024 · 33 citations
  5. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
  6. Evaluating Document Coherence ModelingTransactions of the Association for Computational Linguistics (TACL)Aili Shen, Meladel Mistica, Bahar Salehi, et al.2021 · 30 citations
  7. Qwen3.5-Omni Technical ReportarXiv:2604.15804Qwen Team2026 · 29 citations
  8. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
  9. Baichuan-Omni-1.5 Technical ReportarXiv:2501.15368Yadong Li, Jun Liu, Tao Zhang, et al.2025 · 28 citations
  10. Pushing the Limits of ChatGPT on NLP TasksarXiv:2306.09719Xiaofei Sun, Linfeng Dong, Xiaoya Li, et al.2023 · 28 citations
  11. ERNIE-Doc: A Retrospective Long-Document Modeling TransformerarXiv:2012.15688Siyu Ding, Junyuan Shang, Shuohuan Wang, et al.2020 · 27 citations
  12. Paper2Code: Automating Code Generation from Scientific Papers in Machine LearningarXiv:2504.17192Minju Seo, Jinheon Baek, Seongyun Lee, et al.2025 · 24 citations
  13. ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error DetectionFindings of the Association for Computational LinguisticsYibo Yan, Shen Wang, Jiahao Huo, et al.2026 · 23 citations
  14. AI-Assisted Generation of Difficult Math QuestionsarXiv:2407.21009Vedant Shah, Dingli Yu, Kaifeng Lyu, et al.2024 · 23 citations
  15. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
  16. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
  17. ERNIE-Gram: Pre-Training with Explicitly N-Gram Masked Language Modeling for Natural Language UnderstandingarXiv:2010.12148Dongling Xiao, Yu-Kun Li, Han Zhang, et al.2020 · 22 citations
  18. Leanabell-Prover: Posttraining Scaling in Formal ReasoningarXiv:2504.06122Jingyuan Zhang, Qi Wang, Xingguang Ji, et al.2025 · 21 citations
  19. From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement LearningConference on Empirical Methods in Natural Language Processing (EMNLP)David Dinucu-Jianu, Jakub Macina, Nico Daheim, et al.2025 · 19 citations
  20. Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformersConference on Neural Information Processing Systems (NeurIPS)Alberto Alfarano, François Charton, Amaury Hayat2024 · 19 citations
  21. NLP North at WNUT-2020 Task 2: Pre-training versus Ensembling for Detection of Informative COVID-19 English TweetsWorkshop on Noisy User-generated TextAnders Giovanni Møller, Rob van der Goot, Barbara Plank2020 · 18 citations
  22. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
  23. DARG: Dynamic Evaluation of Large Language Models via Adaptive Reasoning GraphConference on Neural Information Processing Systems (NeurIPS)Zhehao Zhang, Jiaao Chen, Diyi Yang2024 · 17 citations
  24. Nemotron-Cascade 2: Post-Training LLMs with Cascade RL and Multi-Domain On-Policy DistillationarXiv:2603.19220Zhuolin Yang, Zihan Liu, Yang Chen, et al.2026 · 16 citations
  25. Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations
  26. JABER and SABER: Junior and Senior Arabic BERtarXiv:2112.04329Abbas Ghaddar, Yimeng Wu, Ahmad Rashid, et al.2021 · 16 citations
  27. Data-driven Discovery with Large Generative ModelsarXiv:2402.13610Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, et al.2024 · 15 citations
  28. HeRo: RoBERTa and Longformer Hebrew Language ModelsVitaly Shalumov, Harel Haskey2023 · 15 citations
  29. Evaluating LLMs' Divergent Thinking Capabilities for Scientific Idea Generation with Minimal ContextarXiv:2412.17596Kai Ruan, Xuan Wang, Jixiang Hong, et al.2024 · 13 citations
  30. Proving Olympiad Algebraic Inequalities without Human DemonstrationsConference on Neural Information Processing Systems (NeurIPS)Chenrui Wei, Mengzhou Sun, Wei Wang2024 · 12 citations
  31. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
  32. MIND: Math Informed syNthetic Dialogues for Pretraining LLMsarXiv:2410.12881Syeda Nahida Akter, Shrimai Prabhumoye, John Kamalu, et al.2024 · 11 citations
  33. Speciesist Language and Nonhuman Animal Bias in English Masked Language ModelsInformation Processing & ManagementMasashi Takeshita, Rafal Rzepka, Kenji Araki2022 · 11 citations
  34. Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant EvaluationarXiv:2501.14275Sadegh Mahdavi, Muchen Li, Kaiwen Liu, et al.2025 · 10 citations
  35. Beyond Autoregression: Fast LLMs via Self-Distillation Through TimearXiv:2410.21035Justin Deschenaux, Caglar Gulcehre2024 · 10 citations
  36. QuantAgent: Seeking Holy Grail in Trading by Self-Improving Large Language ModelarXiv:2402.03755Saizhuo Wang, Hang Yuan, Lionel M. Ni, et al.2024 · 10 citations
  37. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
  38. AlphaGo Moment for Model Architecture DiscoveryarXiv:2507.18074Yixiu Liu, Yang Nan, Weixian Xu, et al.2025 · 8 citations
  39. Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad MathematicsarXiv:2504.01995Hamed Mahdavi, Alireza Hashemi, Majid Daliri, et al.2025 · 8 citations
  40. Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical ProblemsProceedings of the AAAI Conference on Artificial IntelligenceJunyi Ye, Jingyi Gu, Xinyun Zhao, et al.2024 · 8 citations
  41. Just read twice: closing the recall gap for recurrent language modelsarXiv:2407.05483Simran Arora; Aman Timalsina; Aaryan Singhal; Benjamin Spector; Sabri Eyuboglu; Xinyi Zhao; Ashish Rao; Atri Rudra;, Christopher Re2024 · 8 citations
  42. Proposing and solving olympiad geometry with guided tree searcharXiv:2412.10673Chi Zhang, Jiajun Song, Siyu Li, et al.2024 · 8 citations
  43. Take the Bull by the Horns: Hard Sample-Reweighted Continual Training Improves LLM GeneralizationarXiv:2402.14270Xuxi Chen, Zhendong Wang, Daouda Sow, et al.2024 · 8 citations
  44. A Survey on Feedback-based Multi-step Reasoning for Large Language Models on MathematicsarXiv:2502.14333Ting-Ruen Wei, Haowei Liu, Xuyang Wu, et al.2025 · 7 citations
  45. A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard ProblemsarXiv:2411.18872Roozbeh Yousefzadeh, Xuenan Cao, Azim Ospanov2024 · 7 citations
  46. Intelligent Go-Explore: Standing on the Shoulders of Giant Foundation ModelsarXiv:2405.15143Cong Lu, Shengran Hu, Jeff Clune2024 · 7 citations
  47. Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO GeometryarXiv:2404.06405Shiven Sinha, Ameya Prabhu, Ponnurangam Kumaraguru, et al.2024 · 7 citations
  48. Metastable Dynamics of Chain-of-Thought Reasoning: Provable Benefits of Search, RL and DistillationarXiv:2502.01694Juno Kim, Denny Wu, Jason Lee, et al.2025 · 6 citations
  49. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
  50. PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingcheng Hu, Yinmin Zhang, Shijie Shang, et al.2026 · 5 citations
  51. VisAidMath: Benchmarking Visual-Aided Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingkun Ma, Runzhe Zhan, Yang Li, et al.2026 · 5 citations
  52. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
  53. FreeTxt-Vi: A Benchmarked Vietnamese-English Toolkit for Segmentation, Sentiment, and SummarisationLanguage Resources and Evaluation Conference (LREC)Hung Huy Nguyen, Mo El-Haj, Paul Rayson, et al.2026 · 3 citations
  54. Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion ScalearXiv:2603.25040Yicheng Zou, Dongsheng Zhu, Lin Zhu, et al.2026 · 3 citations
  55. MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Weikang Shi, Aldrich Yu, Rongyao Fang, et al.2026 · 3 citations
  56. Graders Should Cheat: Privileged Information Enables Expert-Level Automated EvaluationsConference on Empirical Methods in Natural Language Processing (EMNLP)Jin Peng Zhou, Séb Arnold, Nan Ding, et al.2025 · 3 citations
  57. Shakespearean Sparks: The Dance of Hallucination and Creativity in LLMs' Decoding LayersarXiv:2503.02851Zicong He; Boxuan Zhang;, Lu Cheng2025 · 3 citations
  58. Towards the Development of Balanced Synthetic Data for Correcting Grammatical Errors in Arabic: An Approach Based on Error Tagging Model and Synthetic Data Generating ModelarXiv:2502.05312Ahlam Alrehili, Areej Alhothali2025 · 3 citations
  59. Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier MathAnnual Meeting of the Association for Computational Linguistics (ACL)Shrey Pandit, Austin Xu, Xuan-Phi Nguyen, et al.2026 · 2 citations
  60. STEP3-VL-10B Technical ReportarXiv:2601.09668Ailin Huang, Chengyuan Yao, Chunrui Han, et al.2026 · 2 citations
  61. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
  62. AMATI at BEA 2026 Shared Task 2: Automatic Short Answer Grading with Inductive Logic Programming and a Large Language ModelWorkshop on Innovative Use of NLP for Building Educational Applications (BEA)Alistair Willis, Aisling Third2026 · 1 citation
  63. AraEval: An Arabic Multi-Task Evaluation Suite for Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Alhanoof Althnian, Norah A. Alzahrani, Shaykhah Z. Alsubaie, et al.2025 · 1 citation
  64. A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Tianyu Yang, Sihong Wu, Yilun Zhao, et al.2026
  65. Ascending the Infinite Ladder: Benchmarking Spatial Deformation Reasoning in Vision-Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Jiahuan Zhang, Shunwen Bai, Tianheng Wang, et al.2026
  66. Can Spectral-Clipping Enable Better Learning While Forgetting Less for Low-Rank Adaptation?Annual Meeting of the Association for Computational Linguistics (ACL)Hyowon Wi, Noseong Park2026
  67. EvoSci: A Bio-Inspired Multi-Agent Framework for the Evolution of Scientific DiscoveryAnnual Meeting of the Association for Computational Linguistics (ACL)Xiaoyu Xiong, Yuqi Ren, Deyi Xiong2026
  68. From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem ProvingBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas2026
  69. GeometryZero: Advancing Geometry Solving via Group Contrastive Policy OptimizationFindings of the Association for Computational LinguisticsYikun Wang, Yibin Wang, Dianyi Wang, et al.2026
  70. Geoparsing: Diagram Parsing for Plane and Solid Geometry with a Unified Formal LanguageFindings of the Association for Computational LinguisticsPeijie Wang, Ming-Liang Zhang, Jun Cao, et al.2026
  71. Output-Space Search: Targeting LLM Generations in a Frozen Encoder-Defined Output SpaceWorkshop on Structured Understanding, Retrieval, and Generation in the LLM EraTobias Materzok2026
  72. Pushing the Frontiers of Scientific Fact-Checking: The SCINLP DatasetFindings of the Association for Computational LinguisticsIffat Maab, Junichi Yamagishi2026
  73. Revisiting a Pain in the Neck: A Semantic Reasoning Benchmark for Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Yang Liu, Hongming Li, Melissa Xiaohui Qin, et al.2026
  74. R³: End-to-End Reasoning-based Planning for Multi-step Retrosynthesis via Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)YiFei Wang, Qizhi Pei, Jiangtao Feng, et al.2026
  75. The Past and Future of AI ScientistsarXiv:2608.14407Ross D. King2026
  76. The Validity of Coreference-based Evaluations of Natural Language UnderstandingarXiv:2602.16200Ian Porada2026
  77. Math Natural Language Inference: this should be easy!Joint Conference on Lexical and Computational Semantics (*SEM)Valeria de Paiva, Qiyue Gao, Hai Hu, et al.2025

1 2

344 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/trieu-h-trinh/cited-by/page/2/