{"total":35,"rows":[{"id":"2305.18654","title":"Faith and Fate: Limits of Transformers on Compositionality","created":"2023-05-29","cited_by_count":503,"area":null},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291,"area":null},{"id":"2301.13867","title":"Mathematical Capabilities of ChatGPT","created":"2023-01-31","cited_by_count":268,"area":null},{"id":"2302.12433","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","created":"2023-02-24","cited_by_count":192,"area":null},{"id":"2406.16838","title":"From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models","created":"2024-06-24","cited_by_count":137,"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":"2406.05761","title":"The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models","created":"2024-06-09","cited_by_count":93,"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":"2410.04265","title":"AI as Humanity's Salieri: Quantifying Linguistic Creativity of Language Models via Systematic Attribution of Machine Text against Web Text","created":"2024-10-05","cited_by_count":42,"area":null},{"id":"2412.04403","title":"Establishing Task Scaling Laws via Compute-Efficient Model Ladders","created":"2024-12-05","cited_by_count":35,"area":null},{"id":"2308.00304","title":"Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models","created":"2023-08-01","cited_by_count":33,"area":null},{"id":"2509.16865","title":"Large Language Models as End-to-end Combinatorial Optimization Solvers","created":"2025-09-21","cited_by_count":28,"area":null},{"id":"2309.15806","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","created":"2023-09-27","cited_by_count":25,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2211.07524","title":"Towards a Mathematics Formalisation Assistant using Large Language Models","created":"2022-11-14","cited_by_count":22,"area":null},{"id":"2405.01787","title":"Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming","created":"2024-05-03","cited_by_count":20,"area":null},{"id":"2410.10083","title":"Beyond Graphs: Can Large Language Models Comprehend Hypergraphs?","created":"2024-10-14","cited_by_count":11,"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":"2309.14327","title":"DeepSpeed-VisualChat: Multi-Round Multi-Image Interleave Chat via Multi-Modal Causal Attention","created":"2023-09-25","cited_by_count":10,"area":null},{"id":"2310.13021","title":"AI for Mathematics: A Cognitive Science Perspective","created":"2023-10-19","cited_by_count":10,"area":null},{"id":"2305.12289","title":"Revisiting the Architectures like Pointer Networks to Efficiently Improve the Next Word Distribution, Summarization Factuality, and Beyond","created":"2023-05-20","cited_by_count":8,"area":null},{"id":"2405.15722","title":"Models That Prove Their Own Correctness","created":"2024-05-24","cited_by_count":7,"area":null},{"id":"2505.15585","title":"MIRB: Mathematical Information Retrieval Benchmark","created":"2025-05-21","cited_by_count":6,"area":null},{"id":"2606.16541","title":"The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements","created":"2026-06-15","cited_by_count":6,"area":null},{"id":"2502.15507","title":"Steering LLMs for Formal Theorem Proving","created":"2025-02-21","cited_by_count":4,"area":null},{"id":"2506.08321","title":"LeanTutor: Towards a Verified AI Mathematical Proof Tutor","created":"2025-06-10","cited_by_count":4,"area":null},{"id":"2504.16760","title":"Lightweight Latent Verifiers for Efficient Meta-Generation Strategies","created":"2025-04-23","cited_by_count":3,"area":null},{"id":"2305.08732","title":"Knowledge Rumination for Pre-trained Language Models","created":"2023-05-15","cited_by_count":2,"area":null},{"id":"2410.17161","title":"Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence","created":"2024-10-22","cited_by_count":2,"area":null},{"id":"2602.04003","title":"When AI Persuades: Adversarial Explanation Attacks on Human Trust in AI-Assisted Decision Making","created":"2026-02-03","cited_by_count":2,"area":null},{"id":"2507.21257","title":"CompoST: A Benchmark for Analyzing the Ability of LLMs To Compositionally Interpret Questions in a QALD Setting","created":"2025-07-28","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":"2601.17473","title":"LeanTutor: Towards a Verified AI Mathematical Proof Tutor","created":"2026-01-24","cited_by_count":0,"area":null},{"id":"2607.11849","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2609.15194","title":"Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models","created":"2026-09-14","cited_by_count":0,"area":null}],"next_cursor":null}