惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

U
Unit 42
V
V2EX
Martin Fowler
Martin Fowler
博客园 - Franky
P
Proofpoint News Feed
P
Palo Alto Networks Blog
H
Hackread – Cybersecurity News, Data Breaches, AI and More
B
Blog
The Register - Security
The Register - Security
Latest news
Latest news
S
Security @ Cisco Blogs
Simon Willison's Weblog
Simon Willison's Weblog
Recorded Future
Recorded Future
大猫的无限游戏
大猫的无限游戏
M
Microsoft Research Blog - Microsoft Research
Scott Helme
Scott Helme
T
Tailwind CSS Blog
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Application and Cybersecurity Blog
Application and Cybersecurity Blog
T
True Tiger Recordings
有赞技术团队
有赞技术团队
I
Intezer
Cisco Talos Blog
Cisco Talos Blog
Hacker News - Newest:
Hacker News - Newest: "LLM"
The GitHub Blog
The GitHub Blog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
T
Tenable Blog
博客园 - 叶小钗
Hugging Face - Blog
Hugging Face - Blog
Hacker News: Ask HN
Hacker News: Ask HN
S
Security Archives - TechRepublic
F
Future of Privacy Forum
爱范儿
爱范儿
PCI Perspectives
PCI Perspectives
H
Help Net Security
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
T
The Blog of Author Tim Ferriss
MyScale Blog
MyScale Blog
N
Netflix TechBlog - Medium
罗磊的独立博客
Apple Machine Learning Research
Apple Machine Learning Research
MongoDB | Blog
MongoDB | Blog
Security Latest
Security Latest
美团技术团队
博客园 - 三生石上(FineUI控件)
S
Schneier on Security
量子位
C
CERT Recently Published Vulnerability Notes
SecWiki News
SecWiki News

cs.LG updates on arXiv.org

One-Way Policy Optimization for Self-Evolving LLMs Scalable On-Policy Reinforcement Learning via Adaptive Batch Scaling Holomorphic Neural ODEs with Kolmogorov-Arnold Networks for Interpretable Discovery of Complex Dynamics MOSS: Self-Evolution through Source-Level Rewriting in Autonomous Agent Systems Can Transformers Learn to Verify During Backtracking Search? Same Architecture, Different Capacity: Optimizer-Induced Spectral Scaling Laws Bandit Convex Optimization with Gradient Prediction Adaptivity Prototype-Guided Classification Sub-Task Decoupling Framework: Enhancing Generalization and Interpretability for Multivariate Time Series OPPO: Bayesian Value Recursion for Token-Level Credit Assignment in LLM Reasoning Objective-Induced Bias and Search Dynamics in Multiobjective Unsupervised Feature Selection MMD-Balls as Credal Sets: A PAC-Bayesian Framework for Epistemic Uncertainty in Test-Time Adaptation Tailoring Teaching to Aptitude: Direction-Adaptive Self-Distillation for LLM Reasoning $\textit{BlockFormer}$ : Transformer-based inference from interaction maps LCGuard: Latent Communication Guard for Safe KV Sharing in Multi-Agent Systems TBP-mHC: full expressivity for manifold-constrained hyper connections through transportation polytopes Graph neural network explanations reveal a topological signature of disease-associated hubs in biological networks Algebraic Machine Learning for Small-to-Medium Datasets Is Competitive against Strong Standard Baselines PEARL: Unbiased Percentile Estimation via Contrastive Learning for Industrial-Scale Livestream Recommendation Temporal Contrastive Transformer for Financial Crime Detection: Self-Supervised Sequence Embeddings via Predictive Contrastive Coding stable-worldmodel: A Platform for Reproducible World Modeling Research and Evaluation SCI-Defense: Defending Manipulation Attacks from Generative Engine Optimization Reinforced Graph of Thoughts: RL-Driven Adaptive Prompting for LLMs Can Breath Biomarkers Causally Influence Blood Glucose? Investigating VOC-Mediated Modulation in Diabetes Short-Term-to-Long-Term Memory Transfer for Knowledge Graphs under Partial Observability Three Costs of Amortizing Gaussian Process Inference with Neural Processes Expectation Consistency Loss: Rethink Confidence Calibration under Covariate Shift Quantitative coronary calcification analysis for prediction of myocardial ischemia using non-contrast CT calcium scoring ConTact: Contact-First Antibody CDR Design via Explicit Interface Reasoning Optimal Guarantees for Auditing Rényi Differentially Private Machine Learning Frequency-Domain Regularized Adversarial Alignment for Transferable Attacks against Closed-Source MLLMs Beyond Single Slot: Joint Optimization for Multi-Slot Guaranteed Display Advertising DualOptim+: Bridging Shared and Decoupled Optimizer States for Better Machine Unlearning in Large Language Models Leveraging Self-Paced Curriculum Learning for Enhanced Modality Balance in Multimodal Conversational Emotion Recognition ARC-STAR: Auditable Post-Hoc Correction for PDE Foundation Models End-to-End Semantic ID Generation for Generative Advertisement Recommendation How Many Different Outputs Can a Transformer Generate? IKNO: Infinite-order Kernel Neural Operators The Attribution Impossibility: No Feature Ranking Is Faithful, Stable, and Complete Under Collinearity Double descent for least-squares interpolation on contaminated data: A simulation study Dropout Universality: Scaling Laws and Optimal Scheduling at the Edge-of-Chaos Harnesses for Inference-Time Alignment over Execution Trajectories An Improved Adaptive PID Optimizer with Enhanced Convergence and Stability for Deep Learning Machine learning prediction of obstructive coronary artery disease using opportunistic coronary calcium and epicardial fat assessments from CT calcium scoring scans Thermodynamic Irreversibility of Training Algorithms Skill Weaving: Efficient LLM Improvement via Modular Skillpacks Tabular foundation models for robust calibration of near-infrared chemical sensing data AgForce Enables Antigen-conditioned Generative Antibody Design Provable Robustness against Backdoor Attacks via the Primal-Dual Perspective on Differential Privacy Discovering Entity-Conditioned Lag Heterogeneity: A Lag-Gated Neural Audit Framework for Panel Time Series When Are Teacher Tokens Reliable? Position-Weighted On-Policy Self-Distillation for Reasoning Manifold-Guided Attention Steering Dynamic Mixture of Latent Memories for Self-Evolving Agents AutoMCU: Feasibility-First MCU Neural Network Customization via LLM-based Multi-Agent Systems How Sparsity Allocation Shapes Label-Free Post-Pruning Recoverability From Sequential Nodes to GPU Batches: Parallel Branch and Bound for Optimal $k$-Sparse GLMs Embedding-Based Federated Learning with Runtime Governance for Iron Deficiency Prediction Beyond Scalar Objectives: Expert-Feedback-Driven Autonomous Experimentation for Scientific Discovery at the Nanoscale Beyond Euclidean Proximity: Repairing Latent World Models with Horizon-Matched Trajectory Reachability Metrics Symbolic Density Estimation for Discrete Distributions Support-aware offline policy selection for advertising marketplaces Ex-GraphRAG: Interpretable Evidence Routing for Graph-Augmented LLMs CASE-NET: Deep Spatio-Temporal Representation Learning via Causal Attention and Channel Recalibration for Multivariate Time Series Classification Aerodynamic force reconstruction using physics-informed Gaussian processes EmoTrack: Robust Depression Tracking from Counseling Transcripts across Session Regimes Detecting Atypical Clients in Federated Learning via Representation-Level Divergence Measuring Cross-Modal Synergy: A Benchmark for VLM Explainability Explainable AI for Data-Driven Design of High-Dimensional Predictive Studies PeakFocus: Bridging Peak Localization and Intensity Regression via a Unified Multi-Scale Framework for Electricity Load Forecasting Alike Parts: A Feature-Informed Approach to Local and Global Prototype Explanations ECPO: Evidence-Coupled Policy Optimization for Evidence-Certified Candidate Ranking Predicting Performance of Symbolic and Prompt Programs with Examples Visibility nowcasting in South Korea: a machine learning approach to class imbalance and distribution shift Models Can Model, But Can't Bind: Structured Grounding in Text-to-Optimization A Reproducible Log-Driven AutoML Framework for Interpretable Pipeline Optimization in Healthcare Risk Prediction Representation Gap: Explaining the Unreasonable Effectiveness of Neural Networks from a Geometric Perspective Evaluation of Pipelines for Data Integration into Knowledge Graphs Provable Joint Decontamination for Benchmarking Multiple Large Language Models Equilibrium Propagation and Hamiltonian Inference in the Diffusive Fitzhugh-Nagumo Model What are the Right Symmetries for Formal Theorem Proving? Position: The Time for Sampling Is Now! Charting a New Course for Bayesian Deep Learning Memory-R2: Fair Credit Assignment for Long-Horizon Memory-Augmented LLM Agents On-Policy Consistency Training Improves LLM Safety with Minimal Capability Degradation On the Sample Complexity of Discounted Reinforcement Learning with Optimized Certainty Equivalents LABO: LLM-Accelerated Bayesian Optimization through Broad Exploration and Selective Experimentation When to Switch, Not Just What: Transition Quality Prediction in Clash Royale The Illusion of Reasoning: Exposing Evasive Data Contamination in LLMs via Zero-CoT Truncation ChronoMedicalWorld: A Medical World Model for Learning Patient Trajectories from Longitudinal Care Data Calibration, Uncertainty Communication, and Deployment Readiness in CKD Risk Prediction: A Framework Evaluation Study Local Covariate Selection for Average Causal Effect Estimation without Pretreatment and Causal Sufficiency Assumptions I-SAFE: Wasserstein Coherence Metrics for Structural Auditing of Scientific AI Models Protein Thoughts: Interpretable Reasoning with Tree of Thoughts and Embedding-Space Flow Matching for Protein-Protein Interaction Discovery CausalGuard: Conformal Inference under Graph Uncertainty Correcting Class Imbalance in Prior-Data Fitted Networks for Tabular Classification Toward Understanding Adversarial Distillation: Why Robust Teachers Fail TONIC: Token-Centric Semantic Communication for Task-Oriented Wireless Systems One LR Doesn't Fit All: Heavy-Tail Guided Layerwise Learning Rates for LLMs Compiling Agentic Workflows into LLM Weights: Near-Frontier Quality at Two Orders of Magnitude Less Cost Cross-domain benchmarks reveal when coordinated AI agents improve scientific inference from partial evidence Noise Schedule Design for Diffusion Models: An Optimal Control Perspective Engineering Hybrid Physics-Informed Neural Networks for Next-Generation Electricity Systems: A State-of-the-Art Review
Towards Solving the Gilbert-Pollak Conjecture via Large Language Models
Yisi Ke, Tia · 2026-05-23 · via cs.LG updates on arXiv.org

View PDF HTML (experimental)

Abstract:The Gilbert-Pollak Conjecture \citep{gilbert1968steiner}, also known as the Steiner Ratio Conjecture, states that for any finite point set in the Euclidean plane, the Steiner minimum tree has length at least $\sqrt{3}/2 \approx 0.866$ times that of the Euclidean minimum spanning tree (the Steiner ratio). A sequence of improvements through the 1980s culminated in a lower bound of $0.824$, with no substantial progress reported over the past three decades. Recent advances in LLMs have demonstrated strong performance on contest-level mathematical problems, yet their potential for addressing open, research-level questions remains largely unexplored. In this work, we present a novel AI system for obtaining tighter lower bounds on the Steiner ratio. Rather than directly prompting LLMs to solve the conjecture, we task them with generating rule-constrained geometric lemmas implemented as executable code. These lemmas are then used to construct a collection of specialized functions, which we call verification functions, that yield theoretically certified lower bounds of the Steiner ratio. Through progressive lemma refinement driven by reflection, the system establishes a new certified lower bound of 0.8559 for the Steiner ratio. The entire research effort involves only thousands of LLM calls, demonstrating the strong potential of LLM-based systems for advanced mathematical research.
Comments: 44 pages, 11 figures
Subjects: Discrete Mathematics (cs.DM); Machine Learning (cs.LG)
Cite as: arXiv:2601.22365 [cs.DM]
  (or arXiv:2601.22365v2 [cs.DM] for this version)
  https://doi.org/10.48550/arXiv.2601.22365

arXiv-issued DOI via DataCite

Submission history

From: Jingchu Gai [view email]
[v1] Thu, 29 Jan 2026 22:18:04 UTC (1,689 KB)
[v2] Thu, 21 May 2026 02:46:16 UTC (1,061 KB)