{"total":31,"rows":[{"id":"2409.18839","title":"MinerU: An Open-Source Solution for Precise Document Content Extraction","created":"2024-09-27","cited_by_count":267,"area":null},{"id":"2404.07965","title":"Rho-1: Not All Tokens Are What You Need","created":"2024-04-11","cited_by_count":133,"area":null},{"id":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133,"area":null},{"id":"2503.22679","title":"Q-Insight: Understanding Image Quality via Visual Reinforcement Learning","created":"2025-03-28","cited_by_count":98,"area":null},{"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,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2408.03350","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","created":"2024-08-05","cited_by_count":37,"area":null},{"id":"2409.17115","title":"Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale","created":"2024-09-25","cited_by_count":37,"area":null},{"id":"2502.05567","title":"ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data","created":"2025-02-08","cited_by_count":23,"area":null},{"id":"2405.14804","title":"Can LLMs Solve longer Math Word Problems Better?","created":"2024-05-23","cited_by_count":22,"area":null},{"id":"2502.11075","title":"Exposing Numeracy Gaps: A Benchmark to Evaluate Fundamental Numerical Abilities in Large Language Models","created":"2025-02-16","cited_by_count":14,"area":null},{"id":"2409.17972","title":"BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree Search","created":"2024-09-26","cited_by_count":13,"area":null},{"id":"2410.18336","title":"Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems","created":"2024-10-24","cited_by_count":11,"area":null},{"id":"2509.22246","title":"ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity","created":"2025-09-26","cited_by_count":10,"area":null},{"id":"2506.23127","title":"Unleashing Embodied Task Planning Ability in LLMs via Reinforcement Learning","created":"2025-06-29","cited_by_count":9,"area":null},{"id":"2403.17281","title":"Automate Knowledge Concept Tagging on Math Questions with LLMs","created":"2024-03-26","cited_by_count":6,"area":null},{"id":"2506.00400","title":"Scaling Textual Gradients via Sampling-Based Momentum","created":"2025-05-31","cited_by_count":6,"area":null},{"id":"2511.11134","title":"GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Models","created":"2025-11-14","cited_by_count":6,"area":null},{"id":"2606.14502","title":"From Chatbot to Digital Colleague: The Paradigm Shift Toward Persistent Autonomous AI","created":"2026-06-12","cited_by_count":6,"area":null},{"id":"2510.02335","title":"FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory","created":"2025-09-26","cited_by_count":5,"area":null},{"id":"2408.01168","title":"Misinforming LLMs: vulnerabilities, challenges and opportunities","created":"2024-08-02","cited_by_count":4,"area":null},{"id":"2502.15507","title":"Steering LLMs for Formal Theorem Proving","created":"2025-02-21","cited_by_count":4,"area":null},{"id":"2404.10757","title":"Deep Learning and LLM-based Methods Applied to Stellar Lightcurve Classification","created":"2024-04-16","cited_by_count":3,"area":null},{"id":"2405.05999","title":"LLMPot: Dynamically Configured LLM-based Honeypot for Industrial Protocol and Physical Process Emulation","created":"2024-05-09","cited_by_count":3,"area":null},{"id":"2507.14722","title":"LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4","created":"2025-07-19","cited_by_count":3,"area":null},{"id":"2504.19188","title":"Hierarchical Attention Generates Better Proofs","created":"2025-04-27","cited_by_count":1,"area":null},{"id":"2508.03542","title":"Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences","created":"2025-08-05","cited_by_count":1,"area":null},{"id":"2605.11974","title":"Towards Order Fairness: Mitigating LLMs Order Sensitivity through Dual Group Advantage Optimization","created":"2026-05-12","cited_by_count":1,"area":null},{"id":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"id":"2405.11461","title":"DocReLM: Mastering Document Retrieval with Language Model","created":"2024-05-19","cited_by_count":0,"area":null},{"id":"2610.11605","title":"NanoProof: Open and Efficient Automated Theorem Proving in Lean 4","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}