{"list":"other","total":52,"rows":[{"id":"2106.09685","title":"LoRA: Low-Rank Adaptation of Large Language Models","created":"2021-06-17","cited_by_count":14380},{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"id":"2402.03300","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","created":"2024-02-05","cited_by_count":9379},{"id":"2306.05685","title":"Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena","created":"2023-06-09","cited_by_count":8626},{"id":"2305.20050","title":"Let's Verify Step by Step","created":"2023-05-31","cited_by_count":3789},{"id":"2303.17651","title":"Self-Refine: Iterative Refinement with Self-Feedback","created":"2023-03-30","cited_by_count":3442},{"id":"2303.16634","title":"G-Eval: NLG Evaluation using GPT-4 with Better Human Alignment","created":"2023-03-29","cited_by_count":2276},{"id":"2305.14325","title":"Improving Factuality and Reasoning in Language Models through Multiagent Debate","created":"2023-05-23","cited_by_count":1784},{"id":"2411.15594","title":"A Survey on LLM-as-a-Judge","created":"2024-11-23","cited_by_count":1423},{"id":"2508.10925","title":"gpt-oss-120b & gpt-oss-20b Model Card","created":"2025-08-08","cited_by_count":1386},{"id":"2310.01798","title":"Large Language Models Cannot Self-Correct Reasoning Yet","created":"2023-10-03","cited_by_count":1017},{"id":"2112.03570","title":"Membership Inference Attacks From First Principles","created":"2021-12-07","cited_by_count":878},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"id":"2305.11738","title":"CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing","created":"2023-05-19","cited_by_count":783},{"id":"2408.15240","title":"Generative Verifiers: Reward Modeling as Next-Token Prediction","created":"2024-08-27","cited_by_count":480},{"id":"2502.18864","title":"Accelerating scientific discovery with Co-Scientist","created":"2025-02-26","cited_by_count":401},{"id":"2206.05802","title":"Self-critiquing models for assisting human evaluators","created":"2022-06-12","cited_by_count":380},{"id":"2410.12784","title":"JudgeBench: A Benchmark for Evaluating LLM-based Judges","created":"2024-10-16","cited_by_count":318},{"id":"2402.06782","title":"Debating with More Persuasive LLMs Leads to More Truthful Answers","created":"2024-02-09","cited_by_count":266},{"id":"2606.15497","title":"Towards End-to-End Automation of AI Research","created":"2026-03-31","cited_by_count":159},{"id":"2304.05332","title":"Emergent autonomous scientific research capabilities of large language models","created":"2023-04-11","cited_by_count":132},{"id":"2306.03872","title":"Deductive Verification of Chain-of-Thought Reasoning","created":"2023-06-06","cited_by_count":124},{"id":"2601.16175","title":"Learning to Discover at Test Time","created":"2026-01-22","cited_by_count":115},{"id":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101},{"id":"2403.18771","title":"CheckEval: A reliable LLM-as-a-Judge framework for evaluating text generation using checklists","created":"2024-03-27","cited_by_count":94},{"id":"2505.10320","title":"J1: Incentivizing Thinking in LLM-as-a-Judge via Reinforcement Learning","created":"2025-05-15","cited_by_count":75},{"id":"2511.01846","title":"Towards Robust Mathematical Reasoning","created":"2025-11-03","cited_by_count":73},{"id":"2502.20379","title":"Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers","created":"2025-02-27","cited_by_count":62},{"id":"2510.01346","title":"Aristotle: IMO-level Automated Theorem Proving","created":"2025-10-01","cited_by_count":58},{"id":"2502.03492","title":"Teaching Language Models to Critique via Reinforcement Learning","created":"2025-02-05","cited_by_count":42},{"id":"2403.11903","title":"A Closer Look at Claim Decomposition","created":"2024-03-18","cited_by_count":41},{"id":"2406.14024","title":"LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback","created":"2024-06-20","cited_by_count":41},{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40},{"id":"2411.02400","title":"Decomposition Dilemmas: Does Claim Decomposition Boost or Burden Fact-Checking Performance?","created":"2024-10-17","cited_by_count":36},{"id":"2601.22401","title":"Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erd\\H{o}s Problems","created":"2026-01-29","cited_by_count":32},{"id":"2602.05192","title":"First Proof","created":"2026-02-05","cited_by_count":32},{"id":"2506.21621","title":"The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs","created":"2025-06-23","cited_by_count":30},{"id":"2607.05391","title":"LLM-as-a-Verifier: A General-Purpose Verification Framework","created":"2026-07-06","cited_by_count":30},{"id":"2602.03837","title":"Accelerating Scientific Research with Gemini: Case Studies and Common Techniques","created":"2026-02-03","cited_by_count":29},{"id":"2604.03789","title":"Automated Conjecture Resolution with Formal Verification","created":"2026-04-04","cited_by_count":28},{"id":"2505.11855","title":"When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research","created":"2025-05-17","cited_by_count":26},{"id":"1608.03109","title":"Neyman-Pearson (NP) classification algorithms and NP receiver operating characteristics (NP-ROC)","created":"2016-08-10","cited_by_count":23},{"id":"2510.13744","title":"Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math","created":"2025-10-15","cited_by_count":22},{"id":"2604.19341","title":"Structured Scaling of AI Discovery Across Diverse Scientific Domains","created":"2026-04-21","cited_by_count":21},{"id":"2504.19254","title":"Uncertainty Quantification for Language Models: A Suite of Black-Box, White-Box, LLM Judge, and Ensemble Scorers","created":"2025-04-27","cited_by_count":18},{"id":"2510.13888","title":"Reliable Fine-Grained Evaluation of Natural Language Math Proofs","created":"2025-10-14","cited_by_count":18},{"id":"2511.13027","title":"Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection","created":"2025-11-17","cited_by_count":9},{"id":"2411.02603","title":"FactTest: Factuality Testing in Large Language Models with Finite-Sample and Distribution-Free Guarantees","created":"2024-11-04","cited_by_count":7},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4},{"id":"2511.21522","title":"Pessimistic Verification for Open Ended Math Questions","created":"2025-11-26","cited_by_count":3},{"id":"2604.02450","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","created":"2026-04-02","cited_by_count":3},{"id":"2602.14307","title":"Benchmarking at the Edge of Comprehension","created":"2026-02-15","cited_by_count":1}],"next_cursor":null}