{"total":17,"rows":[{"id":"2508.03613","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","created":"2025-08-05","cited_by_count":154,"area":"synth"},{"id":"2412.01951","title":"Self-Improvement in Language Models: The Sharpening Mechanism","created":"2024-12-02","cited_by_count":104,"area":"synth"},{"id":"2412.02980","title":"Surveying the Effects of Quality, Diversity, and Complexity in Synthetic Data From Large Language Models","created":"2024-12-04","cited_by_count":35,"area":"synth"},{"id":"2412.06176","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","created":"2024-12-09","cited_by_count":35,"area":"synth"},{"id":"2412.02674","title":"Mind the Gap: Examining the Self-Improvement Capabilities of Large Language Models","created":"2024-12-03","cited_by_count":18,"area":"synth"},{"id":"2412.14352","title":"A Survey on LLM Inference-Time Self-Improvement","created":"2024-12-18","cited_by_count":17,"area":"synth"},{"id":"2505.00031","title":"Learning to Plan Before Answering: Self-Teaching LLMs to Learn Abstract Plans for Problem Solving","created":"2025-04-28","cited_by_count":4,"area":"synth"},{"id":"2605.29268","title":"Compute Allocation for Self-Evolving LLMs: From Depth-Breadth to Multi-Armed Bandits","created":"2026-05-28","cited_by_count":4,"area":"synth"},{"id":"2503.09029","title":"DAST: Difficulty-Aware Self-Training on Large Language Models","created":"2025-03-12","cited_by_count":3,"area":"synth"},{"id":"2511.12063","title":"TextBO: Bayesian Optimization in Language Space for Eval-Efficient Self-Improving AI","created":"2025-11-15","cited_by_count":3,"area":"synth"},{"id":"2603.03297","title":"TTSR: Test-Time Self-Evolving via Reflection","created":"2026-02-06","cited_by_count":2,"area":"synth"},{"id":"2605.13369","title":"Query-Conditioned Test-Time Self-Training for Large Language Models","created":"2026-05-13","cited_by_count":2,"area":"synth"},{"id":"2605.26132","title":"Self-Verified Distillation: Your Language Model Is Secretly Its Own Synthetic Data Pipeline","created":"2026-05-20","cited_by_count":2,"area":"synth"},{"id":"2608.20290","title":"Phantom Gains: Auditing Self-Improvement Against a Measured Null","created":"2026-08-20","cited_by_count":2,"area":"synth"},{"id":"2602.05145","title":"TIDE: Temporal Incremental Draft Engine for Self-Improving LLM Inference","created":"2026-02-05","cited_by_count":1,"area":"synth"},{"id":"2603.18073","title":"Continually self-improving AI","created":"2026-03-18","cited_by_count":0,"area":"synth"},{"id":"2607.19354","title":"FormulaSPIN: Self-Play Fine-Tuning for Natural Language to Spreadsheet Formula Generation","created":"2026-05-21","cited_by_count":0,"area":"synth"}],"next_cursor":null}