{"total":65,"rows":[{"id":"2206.14576","title":"Using cognitive psychology to understand GPT-3","created":"2022-06-21","cited_by_count":398,"area":null},{"id":"2207.10397","title":"CodeT: Code Generation with Generated Tests","created":"2022-07-21","cited_by_count":384,"area":null},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291,"area":null},{"id":"2210.10749","title":"Transformers Learn Shortcuts to Automata","created":"2022-10-19","cited_by_count":268,"area":null},{"id":"2212.09420","title":"Large Language Models Meet NL2Code: A Survey","created":"2022-12-19","cited_by_count":138,"area":null},{"id":"2208.08227","title":"MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation","created":"2022-08-17","cited_by_count":136,"area":null},{"id":"2309.17428","title":"CRAFT: Customizing LLMs by Creating and Retrieving from Specialized Toolsets","created":"2023-09-29","cited_by_count":129,"area":null},{"id":"2206.11861","title":"Automatic Generation of Programming Exercises and Code Explanations using Large Language Models","created":"2022-06-03","cited_by_count":126,"area":null},{"id":"2303.13379","title":"Practical and Ethical Challenges of Large Language Models in Education: A Systematic Scoping Review","created":"2023-03-17","cited_by_count":83,"area":null},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2208.11640","title":"Repair Is Nearly Generation: Multilingual Program Repair with LLMs","created":"2022-08-24","cited_by_count":68,"area":null},{"id":"2304.02491","title":"\"It's Weird That it Knows What I Want\": Usability and Interactions with Copilot for Novice Programmers","created":"2023-04-05","cited_by_count":64,"area":null},{"id":"2403.00839","title":"ToolNet: Connecting Large Language Models with Massive Tools via Tool Graph","created":"2024-02-29","cited_by_count":60,"area":null},{"id":"2305.12907","title":"Meta-in-context learning in large language models","created":"2023-05-22","cited_by_count":59,"area":null},{"id":"2303.11455","title":"Large Language Models and Simple, Stupid Bugs","created":"2023-03-20","cited_by_count":45,"area":null},{"id":"2411.02394","title":"AutoVFX: Physically Realistic Video Editing from Natural Language Instructions","created":"2024-11-04","cited_by_count":27,"area":null},{"id":"2309.15806","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","created":"2023-09-27","cited_by_count":25,"area":null},{"id":"2212.09993","title":"Are Deep Neural Networks SMARTer than Second Graders?","created":"2022-12-20","cited_by_count":24,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2304.12208","title":"Can ChatGPT be used to generate scientific hypotheses?","created":"2023-03-30","cited_by_count":21,"area":null},{"id":"2303.09461","title":"ChatGPT Participates in a Computer Science Exam","created":"2023-03-08","cited_by_count":19,"area":null},{"id":"2306.14583","title":"Exploring the Robustness of Large Language Models for Solving Programming Problems","created":"2023-06-26","cited_by_count":16,"area":null},{"id":"2309.08182","title":"Using Large Language Model to Solve and Explain Physics Word Problems Approaching Human Level","created":"2023-09-15","cited_by_count":16,"area":null},{"id":"2309.14488","title":"When Automated Assessment Meets Automated Content Generation: Examining Text Quality in the Era of GPTs","created":"2023-09-25","cited_by_count":13,"area":null},{"id":"2505.21627","title":"Is Your LLM Overcharging You? Tokenization, Transparency, and Incentives","created":"2025-05-27","cited_by_count":13,"area":null},{"id":"2404.13099","title":"Mathify: Evaluating Large Language Models on Mathematical Problem Solving Tasks","created":"2024-04-19","cited_by_count":12,"area":null},{"id":"2306.04347","title":"World Models for Math Story Problems","created":"2023-06-07","cited_by_count":11,"area":null},{"id":"2306.08997","title":"Exploring the MIT Mathematics and EECS Curriculum Using Large Language Models","created":"2023-06-15","cited_by_count":10,"area":null},{"id":"2511.22788","title":"PRISM: Privacy-Aware Routing for Adaptive Cloud-Edge LLM Inference via Semantic Sketch Collaboration","created":"2025-11-27","cited_by_count":10,"area":null},{"id":"2301.13382","title":"Numeracy from Literacy: Data Science as an Emergent Skill from Large Language Models","created":"2023-01-31","cited_by_count":8,"area":null},{"id":"2311.05590","title":"Conversational AI Threads for Visualizing Multidimensional Datasets","created":"2023-11-09","cited_by_count":8,"area":null},{"id":"2312.03759","title":"How should the advent of large language models affect the practice of science?","created":"2023-12-05","cited_by_count":8,"area":null},{"id":"2211.05875","title":"Steps towards prompt-based creation of virtual worlds","created":"2022-11-10","cited_by_count":7,"area":null},{"id":"2206.05442","title":"From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams","created":"2022-06-11","cited_by_count":6,"area":null},{"id":"2306.06386","title":"Learnersourcing in the Age of AI: Student, Educator and Machine Partnerships for Content Creation","created":"2023-06-10","cited_by_count":6,"area":null},{"id":"2407.11315","title":"COMET: \"Cone of experience\" enhanced large multimodal model for mathematical problem generation","created":"2024-07-16","cited_by_count":6,"area":null},{"id":"2402.03328","title":"Visual Enumeration Remains Challenging for Multimodal Generative AI","created":"2024-01-09","cited_by_count":5,"area":null},{"id":"2409.09047","title":"AI Meets the Classroom: When Do Large Language Models Harm Learning?","created":"2024-08-29","cited_by_count":5,"area":null},{"id":"2506.03735","title":"Generating Pedagogically Meaningful Visuals for Math Word Problems: A New Benchmark and Analysis of Text-to-Image Models","created":"2025-06-04","cited_by_count":5,"area":null},{"id":"2307.03699","title":"Unveiling the Potential of Knowledge-Prompted ChatGPT for Enhancing Drug Trafficking Detection on Social Media","created":"2023-07-07","cited_by_count":4,"area":null},{"id":"2510.09359","title":"Understanding the Effects of Domain Finetuning on LLMs","created":"2025-10-10","cited_by_count":4,"area":null},{"id":"2401.12131","title":"NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis","created":"2024-01-22","cited_by_count":3,"area":null},{"id":"2406.18900","title":"The Rise of Artificial Intelligence in Educational Measurement: Opportunities and Ethical Challenges","created":"2024-06-27","cited_by_count":3,"area":null},{"id":"2512.24986","title":"PhysTalk: Language-driven Real-time Physics in 3D Gaussian Scenes","created":"2025-12-31","cited_by_count":3,"area":null},{"id":"2205.00167","title":"Self-Programming Artificial Intelligence Using Code-Generating Language Models","created":"2022-04-30","cited_by_count":2,"area":null},{"id":"2406.11631","title":"The Liouville Generator for Producing Integrable Expressions","created":"2024-06-17","cited_by_count":2,"area":null},{"id":"2410.23948","title":"Transformers to Predict the Applicability of Symbolic Integration Routines","created":"2024-10-31","cited_by_count":2,"area":null},{"id":"2503.19280","title":"LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs","created":"2025-03-25","cited_by_count":2,"area":null},{"id":"2507.08425","title":"A Survey of Large Language Models in Discipline-specific Research: Challenges, Methods and Opportunities","created":"2025-07-11","cited_by_count":2,"area":null},{"id":"2509.14274","title":"Discovering New Theorems via LLMs with In-Context Proof Learning in Lean","created":"2025-09-16","cited_by_count":2,"area":null},{"id":"2208.06906","title":"Limits of an AI program for solving college math problems","created":"2022-08-14","cited_by_count":1,"area":null},{"id":"2309.15775","title":"Learning the Efficient Frontier","created":"2023-09-27","cited_by_count":1,"area":null},{"id":"2310.12960","title":"SEGO: Sequential Subgoal Optimization for Mathematical Problem-Solving","created":"2023-10-19","cited_by_count":1,"area":null},{"id":"2402.09047","title":"FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems","created":"2024-02-14","cited_by_count":1,"area":null},{"id":"2505.17964","title":"Counting Cycles with AI: Counting Cycles with AI: Computationally Efficient Equivalent Forms with Applications","created":"2025-05-23","cited_by_count":1,"area":null},{"id":"2211.15416","title":"Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS)","created":"2022-11-12","cited_by_count":0,"area":null},{"id":"2310.03770","title":"Progressive reduced order modeling: empowering data-driven modeling with selective knowledge transfer","created":"2023-10-04","cited_by_count":0,"area":null},{"id":"2311.15194","title":"Understanding the Countably Infinite: Neural Network Models of the Successor Function and its Acquisition","created":"2023-11-26","cited_by_count":0,"area":null},{"id":"2312.07069","title":"Context Matters: Data-Efficient Augmentation of Large Language Models for Scientific Applications","created":"2023-12-12","cited_by_count":0,"area":null},{"id":"2405.06835","title":"Automating Code Adaptation for MLOps -- A Benchmarking Study on LLMs","created":"2024-05-10","cited_by_count":0,"area":null},{"id":"2407.21170","title":"Decomposed Prompting to Answer Questions on a Course Discussion Board","created":"2024-07-30","cited_by_count":0,"area":null},{"id":"2508.02931","title":"Can LLMs Generate High-Quality Task-Specific Conversations?","created":"2025-08-04","cited_by_count":0,"area":null},{"id":"2509.16241","title":"REAMS: Reasoning Enhanced Algorithm for Maths Solving","created":"2025-09-16","cited_by_count":0,"area":null},{"id":"2511.07932","title":"Computational Blueprints: Generating Isomorphic Mathematics Problems with Large Language Models","created":"2025-11-11","cited_by_count":0,"area":null},{"id":"2605.15253","title":"Position: Ideas Should be the Center of Machine Learning Research","created":"2026-05-14","cited_by_count":0,"area":null}],"next_cursor":null}