Ahmed Khaled Khamis

KickItLikeShika's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 1 day ago

Robots Need More than VLA and World Models

Paper • 2606.06556 • Published 6 days ago • 25

upvoted a paper 10 days ago

MinT: Managed Infrastructure for Training and Serving Millions of LLMs

Paper • 2605.13779 • Published 28 days ago • 219

upvoted a paper 17 days ago

Self-Distillation Bridges Distribution Gap in Language Model Fine-Tuning

Paper • 2402.13669 • Published Feb 21, 2024 • 2

upvoted a paper 23 days ago

Heterogeneous Scientific Foundation Model Collaboration

Paper • 2604.27351 • Published Apr 30 • 218

upvoted 2 papers 28 days ago

UniSD: Towards a Unified Self-Distillation Framework for Large Language Models

Paper • 2605.06597 • Published May 7 • 15

Self-Distillation for Model Stacking Unlocks Cross-Lingual NLU in 200+ Languages

Paper • 2406.12739 • Published Jun 18, 2024 • 2

upvoted 14 papers about 1 month ago

Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision

Paper • 2604.12002 • Published Apr 13 • 12

Unifying Group-Relative and Self-Distillation Policy Optimization via Sample Routing

Paper • 2604.02288 • Published Apr 2 • 32

Self-Distilled Reasoner: On-Policy Self-Distillation for Large Language Models

Paper • 2601.18734 • Published Jan 26 • 8

Self-Distillation Enables Continual Learning

Paper • 2601.19897 • Published Jan 27 • 36

Reinforcement Learning via Self-Distillation

Paper • 2601.20802 • Published Jan 28 • 49

Why Does Self-Distillation (Sometimes) Degrade the Reasoning Capability of LLMs?

Paper • 2603.24472 • Published Mar 25 • 57

Co-Evolving Policy Distillation

Paper • 2604.27083 • Published Apr 29 • 67

DataFlex: A Unified Framework for Data-Centric Dynamic Training of Large Language Models

Paper • 2603.26164 • Published Mar 27 • 366

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Paper • 2508.03613 • Published Aug 5, 2025 • 16

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Paper • 2504.21801 • Published Apr 30, 2025 • 6

Adam's Law: Textual Frequency Law on Large Language Models

Paper • 2604.02176 • Published Apr 2 • 506

MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving

Paper • 2503.03205 • Published Mar 5, 2025 • 5

InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Paper • 2402.06332 • Published Feb 9, 2024 • 20

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Paper • 2405.14333 • Published May 23, 2024 • 46