{"total":34,"rows":[{"id":"2305.12524","title":"TheoremQA: A Theorem-driven Question Answering dataset","created":"2023-05-21","cited_by_count":192,"area":null},{"id":"2501.15368","title":"Baichuan-Omni-1.5 Technical Report","created":"2025-01-26","cited_by_count":111,"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":"2407.09413","title":"SPIQA: A Dataset for Multimodal Question Answering on Scientific Papers","created":"2024-07-12","cited_by_count":75,"area":null},{"id":"2506.09344","title":"Ming-Omni: A Unified Multimodal Model for Perception and Generation","created":"2025-06-11","cited_by_count":66,"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":"2402.10104","title":"GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving","created":"2024-02-15","cited_by_count":45,"area":null},{"id":"2407.15838","title":"MMInstruct: A High-Quality Multi-Modal Instruction Tuning Dataset with Extensive Diversity","created":"2024-07-22","cited_by_count":38,"area":null},{"id":"2503.18943","title":"SlowFast-LLaVA-1.5: A Family of Token-Efficient Video Large Language Models for Long-Form Video Understanding","created":"2025-03-24","cited_by_count":30,"area":null},{"id":"2510.13747","title":"InteractiveOmni: A Unified Omni-modal Model for Audio-Visual Multi-turn Dialogue","created":"2025-10-15","cited_by_count":29,"area":null},{"id":"2310.18021","title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving","created":"2023-10-27","cited_by_count":27,"area":null},{"id":"2405.17216","title":"Autoformalizing Euclidean Geometry","created":"2024-05-27","cited_by_count":27,"area":null},{"id":"2402.01512","title":"Distractor Generation in Multiple-Choice Tasks: A Survey of Methods, Datasets, and Evaluation","created":"2024-02-02","cited_by_count":25,"area":null},{"id":"2410.10135","title":"FormalAlign: Automated Alignment Evaluation for Autoformalization","created":"2024-10-14","cited_by_count":24,"area":null},{"id":"2412.03205","title":"U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs","created":"2024-12-04","cited_by_count":24,"area":null},{"id":"2511.03929","title":"NVIDIA Nemotron Nano V2 VL","created":"2025-11-06","cited_by_count":17,"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":"2503.05543","title":"Pi-GPS: Enhancing Geometry Problem Solving by Unleashing the Power of Diagrammatic Information","created":"2025-03-07","cited_by_count":10,"area":null},{"id":"2312.01661","title":"ChatGPT as a Math Questioner? Evaluating ChatGPT on Generating Pre-university Math Questions","created":"2023-12-04","cited_by_count":8,"area":null},{"id":"2511.20648","title":"LocateAnything3D: Vision-Language 3D Detection with Chain-of-Sight","created":"2025-11-25","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":"2501.13773","title":"Do Large Language Models Truly Understand Geometric Structures?","created":"2025-01-23","cited_by_count":7,"area":null},{"id":"2605.14061","title":"MathAtlas: A Benchmark for Autoformalization in the Wild","created":"2026-05-13","cited_by_count":4,"area":null},{"id":"2408.10592","title":"Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams","created":"2024-08-20","cited_by_count":3,"area":null},{"id":"2503.04065","title":"PP-DocBee: Improving Multimodal Document Understanding Through a Bag of Tricks","created":"2025-03-06","cited_by_count":3,"area":null},{"id":"2509.21896","title":"GenesisGeo: Technical Report","created":"2025-09-26","cited_by_count":2,"area":null},{"id":"2512.08180","title":"GeoLoom: High-quality Geometric Diagram Generation from Textual Input","created":"2025-12-09","cited_by_count":2,"area":null},{"id":"2401.16287","title":"GAPS: Geometry-Aware Problem Solver","created":"2024-01-29","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":"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":"2603.29211","title":"Xuanwu: Evolving General Multimodal Models into an Industrial-Grade Foundation for Content Ecosystems","created":"2026-03-31","cited_by_count":0,"area":null},{"id":"2606.09278","title":"Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2606.12419","title":"GeoDial: A Multimodal Conversational Tutoring Dataset for Geometry Problem-Solving with Visual Tutor Turns","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2608.14585","title":"Euclid-Omni : A Unified Neuro-Symbolic Framework for Plane Geometry","created":"2026-06-17","cited_by_count":0,"area":null}],"next_cursor":null}