Elamur Research⌕
☰
home / authors / Szymon Antoniak / cited by / page 2

Who cites Szymon Antoniak

1,682 citations of their works from 1,680 papers of our library (of the 149,439 whose bibliographies we read) · 377 with a page here, the most cited first · page 2 of 4 · 101–200 · ← Szymon Antoniak

1 2 3 4

  1. HelpSteer2: Open-source dataset for training top-performing reward modelsarXiv:2406.08673Zhilin Wang, Yi Dong, Olivier Delalleau, et al.2024 · 82 citations
  2. Common 7B Language Models Already Possess Strong Math CapabilitiesarXiv:2403.04706Chen Li, Weiqi Wang, Jingcheng Hu, et al.2024 · 79 citations
  3. Model Merging in LLMs, MLLMs, and Beyond: Methods, Theories, Applications and OpportunitiesarXiv:2408.07666Enneng Yang, Li Shen, Guibing Guo, et al.2024 · 79 citations
  4. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
  5. Humans or LLMs as the Judge? A Study on Judgement BiasesarXiv:2402.10669Guiming Hardy Chen, Shunian Chen, Ziche Liu, et al.2024 · 78 citations
  6. OR-Bench: An Over-Refusal Benchmark for Large Language ModelsarXiv:2405.20947Justin Cui, Wei-Lin Chiang, Ion Stoica, et al.2024 · 76 citations
  7. Multilingual Large Language Model: A Survey of Resources, Taxonomy and FrontiersarXiv:2404.04925Libo Qin, Qiguang Chen, Yuhang Zhou, et al.2024 · 75 citations
  8. CritiqueLLM: Towards an Informative Critique Generation Model for Evaluation of Large Language Model GenerationarXiv:2311.18702Pei Ke, Bosi Wen, Zhuoer Feng, et al.2023 · 69 citations
  9. Agent Q: Advanced Reasoning and Learning for Autonomous AI AgentsarXiv:2408.07199Pranav Putta, Edmund Mills, Naman Garg, et al.2024 · 68 citations
  10. MaLA-500: Massive Language Adaptation of Large Language ModelsarXiv:2401.13303Peiqin Lin, Shaoxiong Ji, Jorg Tiedemann, et al.2024 · 58 citations
  11. Self-play with Execution Feedback: Improving Instruction-following Capabilities of Large Language ModelsarXiv:2406.13542Guanting Dong, Keming Lu, Chengpeng Li, et al.2024 · 54 citations
  12. Autonomous Evaluation and Refinement of Digital AgentsarXiv:2404.06474Jiayi Pan; Yichi Zhang; Nicholas Tomlin; Yifei Zhou; Sergey Levine;, Alane Suhr2024 · 53 citations
  13. MoE-Lightning: High-Throughput MoE Inference on Memory-constrained GPUsASPLOS 2025Shiyi Cao, Shu Liu, Tyler Griggs, et al.2024 · 51 citations
  14. DS-Agent: Automated Data Science by Empowering Large Language Models with Case-Based ReasoningarXiv:2402.17453Siyuan Guo, Cheng Deng, Ying Wen, et al.2024 · 50 citations
  15. LLM-SR: Scientific Equation Discovery via Programming with Large Language ModelsarXiv:2404.18400Parshin Shojaee, Kazem Meidani, Shashank Gupta, et al.2024 · 47 citations
  16. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
  17. ClimateGPT: Towards AI Synthesizing Interdisciplinary Research on Climate ChangearXiv:2401.09646David Thulke, Yingbo Gao, Petrus Pelser, et al.2024 · 45 citations
  18. Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem SolvingarXiv:2405.12205Aniket Didolkar, Anirudh Goyal, Nan Rosemary Ke, et al.2024 · 45 citations
  19. WavChat: A Survey of Spoken Dialogue ModelsarXiv:2411.13577Shengpeng Ji, Yifu Chen, Minghui Fang, et al.2024 · 45 citations
  20. STaR-GATE: Teaching Language Models to Ask Clarifying QuestionsarXiv:2403.19154Chinmaya Andukuri, Jan-Philipp Fränken, Tobias Gerstenberg, et al.2024 · 43 citations
  21. ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program EvolutionarXiv:2509.19349Robert Tjarko Lange, Yuki Imajuku, Edoardo Cetin2025 · 42 citations
  22. Observational Scaling Laws and the Predictability of Language Model PerformancearXiv:2405.10938Yangjun Ruan, Chris J. Maddison, Tatsunori Hashimoto2024 · 40 citations
  23. Evaluating Language Models for Mathematics through InteractionsarXiv:2306.01694Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.2023 · 40 citations
  24. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
  25. CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo RatingsarXiv:2501.01257Shanghaoran Quan, Jiaxi Yang, Bowen Yu, et al.2025 · 37 citations
  26. Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning GaparXiv:2402.19450Saurabh Srivastava, Annarose M B, Anto P, et al.2024 · 35 citations
  27. Towards Cross-Tokenizer Distillation: the Universal Logit Distillation Loss for LLMsarXiv:2402.12030 · Transactions on Machine Learning Research, January 2025Nicolas Boizard, Kevin El Haddad, Celine Hudelot, et al.2024 · 35 citations
  28. Echo Chamber: RL Post-training Amplifies Behaviors Learned in PretrainingarXiv:2504.07912Rosie Zhao, Alexandru Meterez, Sham Kakade, et al.2025 · 34 citations
  29. 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
  30. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
  31. Scaling of Search and Learning: A Roadmap to Reproduce o1 from Reinforcement Learning PerspectivearXiv:2412.14135Zhiyuan Zeng, Qinyuan Cheng, Zhangyue Yin, et al.2024 · 33 citations
  32. NExT: Teaching Large Language Models to Reason about Code ExecutionarXiv:2404.14662Ansong Ni, Miltiadis Allamanis, Arman Cohan, et al.2024 · 30 citations
  33. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
  34. Efficient and Effective Vocabulary Expansion Towards Multilingual Large Language ModelsarXiv:2402.14714Seungduk Kim, Seungtaek Choi, Myeongho Jeong2024 · 29 citations
  35. Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem ProvingarXiv:2305.16366Xueliang Zhao, Wenda Li, Lingpeng Kong2023 · 29 citations
  36. JetMoE: Reaching Llama2 Performance with 0.1M DollarsarXiv:2404.07413Yikang Shen, Zhen Guo, Tianle Cai, et al.2024 · 28 citations
  37. Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal SamplingarXiv:2408.16737Hritik Bansal, Arian Hosseini, Rishabh Agarwal, et al.2024 · 27 citations
  38. Hunyuan-Large: An Open-Source MoE Model with 52 Billion Activated Parameters by TencentarXiv:2411.02265Xingwu Sun, Yanfeng Chen, Yiqing Huang, et al.2024 · 25 citations
  39. Lyra: Orchestrating Dual Correction in Automated Theorem ProvingarXiv:2309.15806Chuanyang Zheng, Haiming Wang, Enze Xie, et al.2023 · 24 citations
  40. BOND: Aligning LLMs with Best-of-N DistillationarXiv:2407.14622Pier Giuseppe Sessa, Robert Dadashi, Leonard Hussenot, et al.2024 · 23 citations
  41. Language Model Alignment in Multilingual Trolley ProblemsarXiv:2407.02273Zhijing Jin, Max Kleiman-Weiner, Giorgio Piatti, et al.2024 · 23 citations
  42. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
  43. Exploring Retrieval Augmented Generation in ArabicProcedia Computer ScienceSamhaa R. El-Beltagy, Mohamed A. Abdallah2024 · 22 citations
  44. Trust or Escalate: LLM Judges with Provable Guarantees for Human AgreementarXiv:2407.18370Jaehun Jung, Faeze Brahman, Yejin Choi2024 · 22 citations
  45. CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionarXiv:2502.07316Junlong Li, Daya Guo, Dejian Yang, et al.2025 · 21 citations
  46. MoRAL: MoE Augmented LoRA for LLMs' Lifelong LearningarXiv:2402.11260Shu Yang; Muhammad Asif Ali; Cheng-Long Wang; Lijie Hu;, Di Wang2024 · 21 citations

1 2 3 4

↑ back to top

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