{"list":"other","total":62,"rows":[{"id":"2201.11903","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","created":"2022-01-28","cited_by_count":12459},{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320},{"id":"2009.03300","title":"Measuring Massive Multitask Language Understanding","created":"2020-09-07","cited_by_count":7963},{"id":"2203.11171","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","created":"2022-03-21","cited_by_count":5708},{"id":"2303.11366","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","created":"2023-03-20","cited_by_count":4276},{"id":"2305.20050","title":"Let's Verify Step by Step","created":"2023-05-31","cited_by_count":3789},{"id":"2108.07732","title":"Program Synthesis with Large Language Models","created":"2021-08-16","cited_by_count":3637},{"id":"2303.17651","title":"Self-Refine: Iterative Refinement with Self-Feedback","created":"2023-03-30","cited_by_count":3442},{"id":"2305.10601","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models","created":"2023-05-17","cited_by_count":3211},{"id":"2408.03314","title":"Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters","created":"2024-08-06","cited_by_count":1986},{"id":"1606.06565","title":"Concrete Problems in AI Safety","created":"2016-06-21","cited_by_count":1642},{"id":"2406.12045","title":"$\\tau$-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains","created":"2024-06-17","cited_by_count":1402},{"id":"2305.01210","title":"Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation","created":"2023-05-02","cited_by_count":1391},{"id":"2210.10760","title":"Scaling Laws for Reward Model Overoptimization","created":"2022-10-19","cited_by_count":1095},{"id":"2407.21787","title":"Large Language Monkeys: Scaling Inference Compute with Repeated Sampling","created":"2024-07-31","cited_by_count":991},{"id":"2203.13474","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","created":"2022-03-25","cited_by_count":885},{"id":"2408.15240","title":"Generative Verifiers: Reward Modeling as Next-Token Prediction","created":"2024-08-27","cited_by_count":480},{"id":"2401.13919","title":"WebVoyager: Building an End-to-End Web Agent with Large Multimodal Models","created":"2024-01-25","cited_by_count":438},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427},{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388},{"id":"2207.10397","title":"CodeT: Code Generation with Generated Tests","created":"2022-07-21","cited_by_count":384},{"id":"2309.11495","title":"Chain-of-Verification Reduces Hallucination in Large Language Models","created":"2023-09-20","cited_by_count":324},{"id":"2306.17563","title":"Large Language Models are Effective Text Rankers with Pairwise Ranking Prompting","created":"2023-06-30","cited_by_count":307},{"id":"2410.08146","title":"Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning","created":"2024-10-10","cited_by_count":279},{"id":"2410.10934","title":"Agent-as-a-Judge: Evaluate Agents with Agents","created":"2024-10-14","cited_by_count":238},{"id":"2405.14333","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","created":"2024-05-23","cited_by_count":234},{"id":"2407.01502","title":"AI Agents That Matter","created":"2024-07-01","cited_by_count":219},{"id":"2402.06457","title":"V-STaR: Training Verifiers for Self-Taught Reasoners","created":"2024-02-09","cited_by_count":217},{"id":"2406.11896","title":"DigiRL: Training In-The-Wild Device-Control Agents with Autonomous Reinforcement Learning","created":"2024-06-14","cited_by_count":214},{"id":"2402.05120","title":"More Agents Is All You Need","created":"2024-02-03","cited_by_count":180},{"id":"2402.01817","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","created":"2024-02-02","cited_by_count":179},{"id":"2406.16838","title":"From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models","created":"2024-06-24","cited_by_count":137},{"id":"2402.16906","title":"Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step","created":"2024-02-25","cited_by_count":127},{"id":"2303.04910","title":"Baldur: Whole-Proof Generation and Repair with Large Language Models","created":"2023-03-08","cited_by_count":119},{"id":"2009.05617","title":"Unit Test Case Generation with Transformers and Focal Context","created":"2020-09-11","cited_by_count":118},{"id":"2407.10457","title":"The Good, The Bad, and The Greedy: Evaluation of LLMs Should Not Ignore Non-Determinism","created":"2024-07-15","cited_by_count":116},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109},{"id":"2403.04706","title":"Common 7B Language Models Already Possess Strong Math Capabilities","created":"2024-03-07","cited_by_count":109},{"id":"2305.04764","title":"ChatUniTest: A Framework for LLM-Based Test Generation","created":"2023-05-08","cited_by_count":96},{"id":"2407.13692","title":"Prover-Verifier Games improve legibility of LLM outputs","created":"2024-07-18","cited_by_count":85},{"id":"2409.03733","title":"Planning In Natural Language Improves LLM Search For Code Generation","created":"2024-09-05","cited_by_count":83},{"id":"2310.04353","title":"An In-Context Learning Agent for Formal Theorem-Proving","created":"2023-10-06","cited_by_count":82},{"id":"2312.09241","title":"TinyGSM: achieving >80% on GSM8k with small language models","created":"2023-12-14","cited_by_count":70},{"id":"2410.03608","title":"TICKing All the Boxes: Generated Checklists Improve LLM Evaluation and Generation","created":"2024-10-04","cited_by_count":68},{"id":"2409.15254","title":"Archon: An Architecture Search Framework for Inference-Time Techniques","created":"2024-09-23","cited_by_count":60},{"id":"2305.00418","title":"Using Large Language Models to Generate JUnit Tests: An Empirical Study","created":"2023-04-30","cited_by_count":53},{"id":"2202.05218","title":"Pynguin: Automated Unit Test Generation for Python","created":"2022-02-10","cited_by_count":50},{"id":"2310.10047","title":"Improving Large Language Model Fine-tuning for Solving Math Problems","created":"2023-10-16","cited_by_count":49},{"id":"2402.10890","title":"When is Tree Search Useful for LLM Planning? It Depends on the Discriminator","created":"2024-02-16","cited_by_count":47},{"id":"2410.10630","title":"Thinking LLMs: General Instruction Following with Thought Generation","created":"2024-10-14","cited_by_count":45},{"id":"2402.08957","title":"MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","created":"2024-02-14","cited_by_count":43},{"id":"2404.00725","title":"The Larger the Better? Improved LLM Code-Generation via Budget Reallocation","created":"2024-03-31","cited_by_count":43},{"id":"2410.05318","title":"Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification","created":"2024-10-05","cited_by_count":40},{"id":"2010.07877","title":"Avoiding Side Effects By Considering Future Tasks","created":"2020-10-15","cited_by_count":32},{"id":"2410.01748","title":"Not All LLM Reasoners Are Created Equal","created":"2024-10-02","cited_by_count":30},{"id":"2311.14904","title":"LLM-Assisted Code Cleaning For Training Accurate Code Generators","created":"2023-11-25","cited_by_count":27},{"id":"2405.04520","title":"NaturalCodeBench: Examining Coding Performance Mismatch on HumanEval and Natural User Prompts","created":"2024-05-07","cited_by_count":19},{"id":"2405.00204","title":"General Purpose Verification for Chain of Thought Prompting","created":"2024-04-30","cited_by_count":17},{"id":"2407.16831","title":"Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design","created":"2024-07-23","cited_by_count":13},{"id":"2407.11470","title":"Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models","created":"2024-07-16","cited_by_count":10},{"id":"2411.14484","title":"Robust Planning with Compound LLM Architectures: An LLM-Modulo Approach","created":"2024-11-20","cited_by_count":9}],"next_cursor":null}