Tagged articles

LEAP

2 articles · Page 1 of 1

Jul 3, 2026 · Artificial Intelligence

From <10% to 70%: How Google’s Iterative Proof Framework Cracked the Putnam Competition

Google’s LEAP framework transforms generic LLMs into an agentic system that iteratively builds proof blueprints, boosting formal theorem‑proving success on Lean‑IMO‑Bench from under 10% to 70% and achieving a perfect 12‑out‑of‑12 score in the 2025 Putnam Competition.

LEAPLarge Language ModelsLean-IMO-Bench

0 likes · 6 min read

From <10% to 70%: How Google’s Iterative Proof Framework Cracked the Putnam Competition

Bilibili Tech

Jun 17, 2026 · Artificial Intelligence

LeAP: Precise Model Slimming with Learnable Adaptive Permutation for Feature Selection

LeAP replaces costly permutation‑based feature importance with an end‑to‑end learnable module that shuffles features, applies adaptive gradient‑bias regularization, and achieves state‑of‑the‑art sparsity and inference speedups on large‑scale recommender models.

LEAPRecommendation Systemsadaptive permutation

0 likes · 13 min read

LeAP: Precise Model Slimming with Learnable Adaptive Permutation for Feature Selection