{"total":45,"rows":[{"id":"2303.18223","title":"A Survey of Large Language Models","created":"2023-03-31","cited_by_count":2576,"area":null},{"id":"2311.11944","title":"FinanceBench: A New Benchmark for Financial Question Answering","created":"2023-11-20","cited_by_count":270,"area":null},{"id":"2301.13867","title":"Mathematical Capabilities of ChatGPT","created":"2023-01-31","cited_by_count":268,"area":null},{"id":"2305.12524","title":"TheoremQA: A Theorem-driven Question Answering dataset","created":"2023-05-21","cited_by_count":192,"area":null},{"id":"2305.16339","title":"Don't Trust ChatGPT when Your Question is not in English: A Study of Multilingual Abilities and Types of LLMs","created":"2023-05-24","cited_by_count":104,"area":null},{"id":"2405.12819","title":"Large Language Models Meet NLP: A Survey","created":"2024-05-21","cited_by_count":103,"area":null},{"id":"2305.14201","title":"Goat: Fine-tuned LLaMA Outperforms GPT-4 on Arithmetic Tasks","created":"2023-05-23","cited_by_count":84,"area":null},{"id":"2305.06453","title":"Autonomous GIS: the next-generation AI-powered GIS","created":"2023-05-10","cited_by_count":53,"area":null},{"id":"2310.02227","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","created":"2023-10-03","cited_by_count":47,"area":null},{"id":"2411.03766","title":"Number Cookbook: Number Understanding of Language Models and How to Improve It","created":"2024-11-06","cited_by_count":42,"area":null},{"id":"2408.03350","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","created":"2024-08-05","cited_by_count":37,"area":null},{"id":"2310.05155","title":"Toolink: Linking Toolkit Creation and Using through Chain-of-Solving on Open-Source Model","created":"2023-10-08","cited_by_count":29,"area":null},{"id":"2406.07815","title":"Are Large Language Models Good Statisticians?","created":"2024-06-12","cited_by_count":27,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2502.12065","title":"Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions","created":"2025-02-17","cited_by_count":22,"area":null},{"id":"2410.04194","title":"Consistent Autoformalization for Constructing Mathematical Libraries","created":"2024-10-05","cited_by_count":21,"area":null},{"id":"2406.11915","title":"miniCodeProps: a Minimal Benchmark for Proving Code Properties","created":"2024-06-16","cited_by_count":18,"area":null},{"id":"2308.04813","title":"CLEVA: Chinese Language Models EVAluation Platform","created":"2023-08-09","cited_by_count":13,"area":null},{"id":"2401.08664","title":"Adapting Large Language Models for Education: Foundational Capabilities, Potentials, and Challenges","created":"2023-12-27","cited_by_count":13,"area":null},{"id":"2412.15184","title":"Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning","created":"2024-12-19","cited_by_count":11,"area":null},{"id":"2402.14310","title":"Hint-before-Solving Prompting: Guiding LLMs to Effectively Utilize Encoded Knowledge","created":"2024-02-22","cited_by_count":10,"area":null},{"id":"2309.15630","title":"NLPBench: Evaluating Large Language Models on Solving NLP Problems","created":"2023-09-27","cited_by_count":8,"area":null},{"id":"2311.01918","title":"Large Language Models Illuminate a Progressive Pathway to Artificial Healthcare Assistant: A Review","created":"2023-11-03","cited_by_count":8,"area":null},{"id":"2502.00198","title":"Fairshare Data Pricing via Data Valuation for Large Language Models","created":"2025-01-31","cited_by_count":8,"area":null},{"id":"2405.00494","title":"GOLD: Geometry Problem Solver with Natural Language Description","created":"2024-05-01","cited_by_count":7,"area":null},{"id":"2311.01230","title":"Multi-Operational Mathematical Derivations in Latent Space","created":"2023-11-02","cited_by_count":6,"area":null},{"id":"2305.01938","title":"Doc2SoarGraph: Discrete Reasoning over Visually-Rich Table-Text Documents via Semantic-Oriented Hierarchical Graphs","created":"2023-05-03","cited_by_count":5,"area":null},{"id":"2405.19973","title":"A Triumvirate of AI Driven Theoretical Discovery","created":"2024-05-30","cited_by_count":5,"area":null},{"id":"2411.00264","title":"TurtleBench: A Visual Programming Benchmark in Turtle Geometry","created":"2024-10-31","cited_by_count":4,"area":null},{"id":"2310.01441","title":"UPAR: A Kantian-Inspired Prompting Framework for Enhancing Large Language Model Capabilities","created":"2023-09-30","cited_by_count":3,"area":null},{"id":"2401.14043","title":"Towards Goal-oriented Prompt Engineering for Large Language Models: A Survey","created":"2024-01-25","cited_by_count":3,"area":null},{"id":"2402.03822","title":"RevOrder: A Novel Method for Enhanced Arithmetic in Language Models","created":"2024-02-06","cited_by_count":3,"area":null},{"id":"2404.11276","title":"Towards Data-Centric Automatic R&D","created":"2024-04-17","cited_by_count":2,"area":null},{"id":"2505.10013","title":"DIF: A Framework for Benchmarking and Verifying Implicit Bias in LLMs","created":"2025-05-15","cited_by_count":2,"area":null},{"id":"2403.00019","title":"Transformer-based Parameter Estimation in Statistics","created":"2024-02-28","cited_by_count":1,"area":null},{"id":"2506.06282","title":"Understanding Financial Reasoning in AI: A Multimodal Benchmark and Error Learning Approach","created":"2025-04-22","cited_by_count":1,"area":null},{"id":"2506.24006","title":"Large Language Models Don't Make Sense of Word Problems. A Scoping Review from a Mathematics Education Perspective","created":"2025-06-30","cited_by_count":1,"area":null},{"id":"2510.21999","title":"Foundation of Intelligence: Review of Math Word Problems from Human Cognition Perspective","created":"2025-10-24","cited_by_count":1,"area":null},{"id":"2511.09971","title":"NumPert: Numerical Perturbations to Probe Language Models for Veracity Prediction","created":"2025-11-13","cited_by_count":1,"area":null},{"id":"2411.00031","title":"A Theoretical Review on Solving Algebra Problems","created":"2024-10-29","cited_by_count":0,"area":null},{"id":"2507.22359","title":"League of LLMs: A Benchmark-Free Paradigm for Mutual Evaluation of Large Language Models","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2512.20649","title":"AIAuditTrack: A Framework for AI Security system","created":"2025-12-16","cited_by_count":0,"area":null},{"id":"2605.22885","title":"ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization","created":"2026-05-21","cited_by_count":0,"area":null},{"id":"2607.11177","title":"NeuroMem-FHP: A Likelihood-Free Deep Learning Framework for Parameter Estimation of Fractional Hawkes Process","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2607.19608","title":"Task Competence Is Not Instruction Following: Evaluating Instruction-Conflicting Behavior in Small Language Models","created":"2026-07-21","cited_by_count":0,"area":null}],"next_cursor":null}