{"total":43,"rows":[{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109,"area":null},{"id":"2207.10397","title":"CodeT: Code Generation with Generated Tests","created":"2022-07-21","cited_by_count":384,"area":null},{"id":"2406.01297","title":"When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs","created":"2024-06-03","cited_by_count":240,"area":null},{"id":"2310.04560","title":"Talk like a Graph: Encoding Graphs for Large Language Models","created":"2023-10-06","cited_by_count":176,"area":null},{"id":"2305.04087","title":"Self-Edit: Fault-Aware Code Editor for Code Generation","created":"2023-05-06","cited_by_count":111,"area":null},{"id":"2112.15594","title":"A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level","created":"2021-12-31","cited_by_count":96,"area":null},{"id":"2309.04295","title":"FIMO: A Challenge Formal Dataset for Automated Theorem Proving","created":"2023-09-08","cited_by_count":55,"area":null},{"id":"2211.12835","title":"Automatic Generation of Socratic Subquestions for Teaching Math Word Problems","created":"2022-11-23","cited_by_count":43,"area":null},{"id":"2310.09139","title":"The Consensus Game: Language Model Generation via Equilibrium Search","created":"2023-10-13","cited_by_count":36,"area":null},{"id":"2206.03865","title":"Fault-Aware Neural Code Rankers","created":"2022-06-04","cited_by_count":33,"area":null},{"id":"2305.14386","title":"Let GPT be a Math Tutor: Teaching Math Word Problem Solvers with Customized Exercise Generation","created":"2023-05-22","cited_by_count":29,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2210.04964","title":"Generating Executable Action Plans with Environmentally-Aware Language Models","created":"2022-10-10","cited_by_count":21,"area":null},{"id":"2308.02823","title":"A Symbolic Character-Aware Model for Solving Geometry Problems","created":"2023-08-05","cited_by_count":20,"area":null},{"id":"2306.00784","title":"Interpretable Math Word Problem Solution Generation Via Step-by-step Planning","created":"2023-06-01","cited_by_count":17,"area":null},{"id":"2512.02304","title":"When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers","created":"2025-12-02","cited_by_count":15,"area":null},{"id":"2211.16482","title":"Chaining Simultaneous Thoughts for Numerical Reasoning","created":"2022-11-29","cited_by_count":14,"area":null},{"id":"2210.11694","title":"Multi-View Reasoning: Consistent Contrastive Learning for Math Word Problem","created":"2022-10-21","cited_by_count":13,"area":null},{"id":"2305.15695","title":"Asking Before Acting: Gather Information in Embodied Decision Making with Language Models","created":"2023-05-25","cited_by_count":12,"area":null},{"id":"2210.15373","title":"Self-consistent Reasoning For Solving Math Word Problems","created":"2022-10-27","cited_by_count":10,"area":null},{"id":"2211.12668","title":"DyRRen: A Dynamic Retriever-Reranker-Generator Model for Numerical Reasoning over Tabular and Textual Data","created":"2022-11-23","cited_by_count":10,"area":null},{"id":"2312.02213","title":"JarviX: A LLM No code Platform for Tabular Data Analysis and Optimization","created":"2023-12-03","cited_by_count":10,"area":null},{"id":"2205.15683","title":"Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers","created":"2022-05-31","cited_by_count":9,"area":null},{"id":"2310.13615","title":"Three Questions Concerning the Use of Large Language Models to Facilitate Mathematics Learning","created":"2023-10-20","cited_by_count":9,"area":null},{"id":"2205.08108","title":"Unbiased Math Word Problems Benchmark for Mitigating Solving Bias","created":"2022-05-17","cited_by_count":8,"area":null},{"id":"2212.00833","title":"Generalizing Math Word Problem Solvers via Solution Diversification","created":"2022-12-01","cited_by_count":7,"area":null},{"id":"2305.04556","title":"Non-Autoregressive Math Word Problem Solver with Unified Tree Structure","created":"2023-05-08","cited_by_count":7,"area":null},{"id":"2409.07489","title":"RAGent: Retrieval-based Access Control Policy Generation","created":"2024-09-08","cited_by_count":5,"area":null},{"id":"2310.09619","title":"An Expression Tree Decoding Strategy for Mathematical Equation Generation","created":"2023-10-14","cited_by_count":4,"area":null},{"id":"2408.13745","title":"DOCE: Finding the Sweet Spot for Execution-Based Code Generation","created":"2024-08-25","cited_by_count":4,"area":null},{"id":"2201.10222","title":"Explanatory Learning: Beyond Empiricism in Neural Networks","created":"2022-01-25","cited_by_count":3,"area":null},{"id":"2209.10310","title":"Seeking Diverse Reasoning Logic: Controlled Equation Expression Generation for Solving Math Word Problems","created":"2022-09-21","cited_by_count":3,"area":null},{"id":"2401.07518","title":"Survey of Natural Language Processing for Education: Taxonomy, Systematic Review, and Future Trends","created":"2024-01-15","cited_by_count":3,"area":null},{"id":"2211.08850","title":"Consecutive Question Generation via Dynamic Multitask Learning","created":"2022-11-16","cited_by_count":2,"area":null},{"id":"2308.03990","title":"NEOLAF, an LLM-powered neural-symbolic cognitive architecture","created":"2023-08-08","cited_by_count":2,"area":null},{"id":"2403.14390","title":"From Large to Tiny: Distilling and Refining Mathematical Expertise for Math Word Problems with Weakly Supervision","created":"2024-03-21","cited_by_count":2,"area":null},{"id":"2406.19390","title":"SALVe: Semantic Alignment Verification for Floorplan Reconstruction from Sparse Panoramas","created":"2024-06-27","cited_by_count":2,"area":null},{"id":"2505.18056","title":"MathEDU: Feedback Generation on Problem-Solving Processes for Mathematical Learning Support","created":"2025-05-23","cited_by_count":2,"area":null},{"id":"2210.07017","title":"ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision","created":"2022-10-13","cited_by_count":1,"area":null},{"id":"2211.16022","title":"Textual Enhanced Contrastive Learning for Solving Math Word Problems","created":"2022-11-29","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":"2205.08274","title":"Tackling Math Word Problems with Fine-to-Coarse Abstracting and Reasoning","created":"2022-05-17","cited_by_count":0,"area":null},{"id":"2407.06990","title":"Segment-Based Interactive Machine Translation for Pre-trained Models","created":"2024-07-09","cited_by_count":0,"area":null}],"next_cursor":null}