{"list":"other","total":163,"rows":[{"id":"2005.14165","title":"Language Models are Few-Shot Learners","created":"2020-05-28","cited_by_count":32419},{"id":"2303.17651","title":"Self-Refine: Iterative Refinement with Self-Feedback","created":"2023-03-30","cited_by_count":3442},{"id":"1803.05355","title":"FEVER: a large-scale dataset for Fact Extraction and VERification","created":"2018-03-14","cited_by_count":1375},{"id":"2408.06292","title":"The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery","created":"2024-08-12","cited_by_count":1071},{"id":"2304.05376","title":"ChemCrow: Augmenting large-language models with chemistry tools","created":"2023-04-11","cited_by_count":631},{"id":"2003.02320","title":"Knowledge Graphs","created":"2020-03-04","cited_by_count":621},{"id":"2305.14627","title":"Enabling Large Language Models to Generate Text with Citations","created":"2023-05-24","cited_by_count":595},{"id":"2004.14974","title":"Fact or Fiction: Verifying Scientific Claims","created":"2020-04-30","cited_by_count":554},{"id":"2304.15004","title":"Are Emergent Abilities of Large Language Models a Mirage?","created":"2023-04-28","cited_by_count":523},{"id":"2501.04227","title":"Agent Laboratory: Using LLM Agents as Research Assistants","created":"2025-01-08","cited_by_count":425},{"id":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391},{"id":"2009.03393","title":"Generative Language Modeling for Automated Theorem Proving","created":"2020-09-07","cited_by_count":388},{"id":"2310.03302","title":"MLAgentBench: Evaluating Language Agents on Machine Learning Experimentation","created":"2023-10-05","cited_by_count":366},{"id":"2409.04109","title":"Can LLMs Generate Novel Research Ideas? A Large-Scale Human Study with 100+ NLP Researchers","created":"2024-09-06","cited_by_count":363},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"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":"2310.01783","title":"Can large language models provide useful feedback on research papers? A large-scale empirical analysis","created":"2023-10-03","cited_by_count":200},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197},{"id":"2305.14259","title":"SciMON: Scientific Inspiration Machines Optimized for Novelty","created":"2023-05-23","cited_by_count":179},{"id":"2403.07183","title":"Monitoring AI-Modified Content at Scale: A Case Study on the Impact of ChatGPT on AI Conference Peer Reviews","created":"2024-03-11","cited_by_count":164},{"id":"2407.10362","title":"LAB-Bench: Measuring Capabilities of Language Models for Biology Research","created":"2024-07-14","cited_by_count":156},{"id":"2411.00816","title":"CycleResearcher: Improving Automated Research via Automated Review","created":"2024-10-28","cited_by_count":148},{"id":"2305.12744","title":"Fact-Checking Complex Claims with Program-Guided Reasoning","created":"2023-05-22","cited_by_count":146},{"id":"2311.18760","title":"TaskBench: Benchmarking Large Language Models for Task Automation","created":"2023-11-30","cited_by_count":144},{"id":"2409.13740","title":"Language agents achieve superhuman synthesis of scientific knowledge","created":"2024-09-10","cited_by_count":137},{"id":"1804.09635","title":"A Dataset of Peer Reviews (PeerRead): Collection, Insights and NLP Applications","created":"2018-04-25","cited_by_count":136},{"id":"2004.05773","title":"Generating Fact Checking Explanations","created":"2020-04-13","cited_by_count":132},{"id":"2409.11363","title":"CORE-Bench: Fostering the Credibility of Published Research Through a Computational Reproducibility Agent Benchmark","created":"2024-09-17","cited_by_count":123},{"id":"2306.00622","title":"ReviewerGPT? An Exploratory Study on Using Large Language Models for Paper Reviewing","created":"2023-06-01","cited_by_count":122},{"id":"2406.10252","title":"AutoSurvey: Large Language Models Can Automatically Write Surveys","created":"2024-06-10","cited_by_count":119},{"id":"2404.01268","title":"Mapping the Increasing Use of LLMs in Scientific Papers","created":"2024-04-01","cited_by_count":118},{"id":"2311.07361","title":"The Impact of Large Language Models on Scientific Discovery: a Preliminary Study using GPT-4","created":"2023-11-13","cited_by_count":112},{"id":"1905.09381","title":"Learning to Prove Theorems via Interacting with Proof Assistants","created":"2019-05-21","cited_by_count":109},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109},{"id":"2401.04259","title":"MARG: Multi-Agent Review Generation for Scientific Papers","created":"2024-01-08","cited_by_count":104},{"id":"2309.02726","title":"Large Language Models for Automated Open-domain Scientific Hypotheses Discovery","created":"2023-09-06","cited_by_count":100},{"id":"2406.06769","title":"DISCOVERYWORLD: A Virtual Environment for Developing and Evaluating Automated Scientific Discovery Agents","created":"2024-06-10","cited_by_count":100},{"id":"2205.10893","title":"Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers","created":"2022-05-22","cited_by_count":98},{"id":"2310.00305","title":"Towards LLM-based Fact Verification on News Claims with a Hierarchical Step-by-Step Prompting Method","created":"2023-09-30","cited_by_count":97},{"id":"2410.13185","title":"Chain of Ideas: Revolutionizing Research Via Novel Idea Development with LLM Agents","created":"2024-10-17","cited_by_count":97},{"id":"2406.10833","title":"A Comprehensive Survey of Scientific Large Language Models and Their Applications in Scientific Discovery","created":"2024-06-16","cited_by_count":96},{"id":"2210.13777","title":"SciFact-Open: Towards open-domain scientific claim verification","created":"2022-10-25","cited_by_count":94},{"id":"2409.05556","title":"SciAgents: Automating scientific discovery through multi-agent intelligent graph reasoning","created":"2024-09-09","cited_by_count":94},{"id":"2405.09783","title":"LLM and Simulation as Bilevel Optimizers: A New Paradigm to Advance Physical Scientific Discovery","created":"2024-05-16","cited_by_count":86},{"id":"2501.04306","title":"LLM4SR: A Survey on Large Language Models for Scientific Research","created":"2025-01-08","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":"2412.03563","title":"From Individual to Society: A Survey on Social Simulation Driven by Large Language Model-based Agents","created":"2024-12-04","cited_by_count":82},{"id":"2305.02499","title":"AutoML-GPT: Automatic Machine Learning with GPT","created":"2023-05-04","cited_by_count":81},{"id":"1909.01716","title":"ScisummNet: A Large Annotated Corpus and Content-Impact Models for Scientific Paper Summarization with Citation Networks","created":"2019-09-04","cited_by_count":73},{"id":"2411.14199","title":"OpenScholar: Synthesizing Scientific Literature with Retrieval-augmented LMs","created":"2024-11-21","cited_by_count":72},{"id":"2407.10040","title":"Lean-STaR: Learning to Interleave Thinking and Proving","created":"2024-07-14","cited_by_count":68},{"id":"2408.14033","title":"MLR-Copilot: Autonomous Machine Learning Research based on Large Language Models Agents","created":"2024-08-26","cited_by_count":67},{"id":"2304.14979","title":"MLCopilot: Unleashing the Power of Large Language Models in Solving Machine Learning Tasks","created":"2023-04-28","cited_by_count":66},{"id":"2412.11948","title":"OpenReviewer: A Specialized Large Language Model for Generating Critical Scientific Paper Reviews","created":"2024-12-16","cited_by_count":65},{"id":"2402.01881","title":"Large Language Model Agent for Hyper-Parameter Optimization","created":"2024-02-02","cited_by_count":64},{"id":"2311.08166","title":"MechAgents: Large language model multi-agent collaborations can solve mechanics problems, generate new data, and integrate knowledge","created":"2023-11-14","cited_by_count":63},{"id":"2402.01788","title":"LitLLM: A Toolkit for Scientific Literature Review","created":"2024-02-02","cited_by_count":63},{"id":"2211.06651","title":"NLPeer: A Unified Resource for the Computational Study of Peer Review","created":"2022-11-12","cited_by_count":60},{"id":"2401.02524","title":"Comprehensive Exploration of Synthetic Data Generation: A Survey","created":"2024-01-04","cited_by_count":60},{"id":"2401.10334","title":"DrugAssist: A Large Language Model for Molecule Optimization","created":"2023-12-28","cited_by_count":59},{"id":"2203.03802","title":"Understanding Iterative Revision from Human-Written Text","created":"2022-03-08","cited_by_count":57},{"id":"2305.06590","title":"FactKG: Fact Verification via Reasoning on Knowledge Graphs","created":"2023-05-11","cited_by_count":57},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57},{"id":"2410.14255","title":"Nova: An Iterative Planning and Search Approach to Enhance Novelty and Diversity of LLM Generated Ideas","created":"2024-10-18","cited_by_count":57},{"id":"2407.10956","title":"Spider2-V: How Far Are Multimodal Agents From Automating Data Science and Engineering Workflows?","created":"2024-07-15","cited_by_count":56},{"id":"2305.16859","title":"Scientific Fact-Checking: A Survey of Resources and Approaches","created":"2023-05-26","cited_by_count":54},{"id":"2108.11357","title":"ProoFVer: Natural Logic Theorem Proving for Fact Verification","created":"2021-08-25","cited_by_count":53},{"id":"2404.17605","title":"Autonomous LLM-driven research from data to human-verifiable research papers","created":"2024-04-24","cited_by_count":53},{"id":"2409.07440","title":"SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories","created":"2024-09-11","cited_by_count":52},{"id":"2305.13186","title":"SCITAB: A Challenging Benchmark for Compositional Reasoning and Claim Verification on Scientific Tables","created":"2023-05-22","cited_by_count":51},{"id":"2411.05025","title":"LLMs as Research Tools: A Large Scale Survey of Researchers' Usage and Perceptions","created":"2024-10-30","cited_by_count":47},{"id":"2204.03685","title":"Read, Revise, Repeat: A System Demonstration for Human-in-the-loop Iterative Text Revision","created":"2022-04-07","cited_by_count":46},{"id":"2406.05688","title":"Peer Review as A Multi-Turn and Long-Context Dialogue with Role-Based Interactions","created":"2024-06-09","cited_by_count":46},{"id":"2210.13865","title":"Missing Counter-Evidence Renders NLP Fact-Checking Unrealistic for Misinformation","created":"2022-10-25","cited_by_count":45},{"id":"2502.09858","title":"Automated Hypothesis Validation with Agentic Sequential Falsifications","created":"2025-02-14","cited_by_count":44},{"id":"2402.08957","title":"MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","created":"2024-02-14","cited_by_count":43},{"id":"2110.07474","title":"MReD: A Meta-Review Dataset for Structure-Controllable Text Generation","created":"2021-10-14","cited_by_count":42},{"id":"2410.04025","title":"IdeaSynth: Iterative Research Idea Development Through Evolving and Composing Idea Facets with Literature-Grounded Feedback","created":"2024-10-05","cited_by_count":42},{"id":"1903.10104","title":"Argument Mining for Understanding Peer Reviews","created":"2019-03-25","cited_by_count":41},{"id":"2406.07835","title":"SciRIFF: A Resource to Enhance Language Model Instruction-Following over Scientific Literature","created":"2024-06-10","cited_by_count":41},{"id":"2307.05492","title":"GPT4 is Slightly Helpful for Peer-Review Assistance: A Pilot Study","created":"2023-06-16","cited_by_count":40},{"id":"2310.07984","title":"Large Language Models for Scientific Synthesis, Inference and Explanation","created":"2023-10-12","cited_by_count":39},{"id":"2305.16366","title":"Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving","created":"2023-05-25","cited_by_count":37},{"id":"2412.17767","title":"ResearchTown: Simulator of Human Research Community","created":"2024-12-23","cited_by_count":37},{"id":"2009.14237","title":"Augmenting Scientific Papers with Just-in-Time, Position-Sensitive Definitions of Terms and Symbols","created":"2020-09-29","cited_by_count":36},{"id":"2309.08503","title":"HealthFC: Verifying Health Claims with Evidence-Based Medical Fact-Checking","created":"2023-09-15","cited_by_count":35},{"id":"2306.12587","title":"ARIES: A Corpus of Scientific Paper Edits Made in Response to Peer Reviews","created":"2023-06-21","cited_by_count":34},{"id":"2402.13610","title":"Data-driven Discovery with Large Generative Models","created":"2024-02-21","cited_by_count":34},{"id":"2106.00130","title":"Bringing Structure into Summaries: a Faceted Summarization Dataset for Long Scientific Documents","created":"2021-05-31","cited_by_count":33},{"id":"2405.20477","title":"Automated Focused Feedback Generation for Scientific Writing Assistance","created":"2024-05-30","cited_by_count":33},{"id":"2303.12023","title":"Logical Reasoning over Natural Language as Knowledge Representation: A Survey","created":"2023-03-21","cited_by_count":32},{"id":"2404.08680","title":"Automating Research Synthesis with Domain-Specific Large Language Model Fine-Tuning","created":"2024-04-08","cited_by_count":31},{"id":"2407.16148","title":"CHIME: LLM-Assisted Hierarchical Organization of Scientific Studies for Literature Review Support","created":"2024-07-23","cited_by_count":29},{"id":"2305.01498","title":"Summarizing Multiple Documents with Conversational Structure for Meta-Review Generation","created":"2023-05-02","cited_by_count":27},{"id":"2403.11996","title":"Accelerating Scientific Discovery with Generative Knowledge Extraction, Graph-Based Representation, and Multimodal Intelligent Graph Reasoning","created":"2024-03-18","cited_by_count":27},{"id":"2410.23166","title":"SciPIP: An LLM-based Scientific Paper Idea Proposer","created":"2024-10-30","cited_by_count":26},{"id":"2305.18265","title":"Check-COVID: Fact-Checking COVID-19 News Claims with Scientific Evidence","created":"2023-05-29","cited_by_count":25},{"id":"2407.17227","title":"LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover","created":"2024-07-24","cited_by_count":25},{"id":"2310.10180","title":"TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models","created":"2023-10-16","cited_by_count":24},{"id":"2408.14317","title":"Claim Verification in the Age of Large Language Models: A Survey","created":"2024-08-26","cited_by_count":24}],"next_cursor":"100"}