{"total":34,"rows":[{"id":"2507.15855","title":"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline","created":"2025-07-21","cited_by_count":82,"area":null},{"id":"2505.11792","title":"Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling","created":"2025-05-17","cited_by_count":45,"area":null},{"id":"2510.09719","title":"ICL-Router: In-Context Learned Model Representations for LLM Routing","created":"2025-10-10","cited_by_count":28,"area":null},{"id":"2505.15607","title":"From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning","created":"2025-05-21","cited_by_count":17,"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":"2605.13171","title":"Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics","created":"2026-05-13","cited_by_count":10,"area":null},{"id":"2604.06802","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","created":"2026-04-08","cited_by_count":8,"area":null},{"id":"2509.01398","title":"The Need for Verification in AI-Driven Scientific Discovery","created":"2025-09-01","cited_by_count":7,"area":null},{"id":"2512.09443","title":"A Human-AI Collaborative Workflow for Mathematical Discovery: A Case Study in Grover-Compatible Riemannian Optimization","created":"2025-12-10","cited_by_count":4,"area":null},{"id":"2512.04829","title":"Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing","created":"2025-12-04","cited_by_count":3,"area":null},{"id":"2608.09538","title":"TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability","created":"2026-08-10","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":"2601.22365","title":"Towards Solving the Gilbert-Pollak Conjecture via Large Language Models","created":"2026-01-29","cited_by_count":2,"area":null},{"id":"2508.11874","title":"Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models","created":"2025-08-16","cited_by_count":1,"area":null},{"id":"2509.21404","title":"How Large Language Models Need Symbolism","created":"2025-09-24","cited_by_count":1,"area":null},{"id":"2512.00097","title":"Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions","created":"2025-11-27","cited_by_count":1,"area":null},{"id":"2602.14318","title":"In Transformer We Trust? A Perspective on Transformer Architecture Failure Modes","created":"2026-02-15","cited_by_count":1,"area":null},{"id":"2603.04852","title":"Non-Parametric Structural Priors for Geometry Theorem Prediction","created":"2026-03-05","cited_by_count":1,"area":null},{"id":"2603.14147","title":"An Alternative Trajectory for Generative AI","created":"2026-03-14","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":"2609.25438","title":"PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics","created":"2026-09-21","cited_by_count":1,"area":null},{"id":"2503.00224","title":"\\`A la recherche du sens perdu: your favourite LLM might have more to say than you can understand","created":"2025-02-28","cited_by_count":0,"area":null},{"id":"2510.09709","title":"The Idola Tribus of AI: Large Language Models tend to perceive order where none exists","created":"2025-10-10","cited_by_count":0,"area":null},{"id":"2510.23379","title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design","created":"2025-10-27","cited_by_count":0,"area":null},{"id":"2512.16455","title":"AI4EOSC: a Federated Cloud Platform for Artificial Intelligence in Scientific Research","created":"2025-12-18","cited_by_count":0,"area":null},{"id":"2602.02378","title":"From Sycophancy to Sensemaking: Premise Governance for Human-AI Decision Making","created":"2026-02-02","cited_by_count":0,"area":null},{"id":"2602.09530","title":"Learning to Discover Iterative Spectral Algorithms","created":"2026-02-10","cited_by_count":0,"area":null},{"id":"2606.04648","title":"BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2606.05729","title":"Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search","created":"2026-06-04","cited_by_count":0,"area":null},{"id":"2606.12442","title":"Reframing AI Loss of Control: What Control Is, How to Have It, How to Lose It","created":"2026-05-19","cited_by_count":0,"area":null},{"id":"2608.12325","title":"Position: Reasoning is a Learnable Rule-Based Process","created":"2026-05-29","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},{"id":"2608.28884","title":"MineCEraft: Evaluating Language Models as Construction Engineers in the World of Minecraft","created":"2026-08-28","cited_by_count":0,"area":null}],"next_cursor":null}