most citedAutoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

1 citations · 1 across the 12 of their papers we have counts for

collaborators
Showing cs.LGShow all

6 papers · 1 filter

cs.LG2026

Discovered, Not Designed: Population Evolution for Collaborative and Compute-Intensive Model Discovery

Bo Peng, Lizhu Zhang, Yuhang Zhou +5

LLM-driven evolution enables iterative model development, but two practical goals remain underexplored: finding model designs that transfer across related tasks and sustaining impr…

cs.LG2026

EvoHarness-RL: Learning Runtime Harness Coordination for Self-Evolving Agents

Xuying Ning, Dongqi Fu, Tianxin Wei +17

Long-horizon LLM agents increasingly rely on external execution support to maintain state, track progress, recover from failures, and reuse experience across extended interactions.…

cs.LG2026

Aligning Language Models with Selective Prediction

Gaoxiang Luo, Yifan Wu, Sinian Zhang +2

Large language models (LLMs) are increasingly deployed as critical decision-making components in high-stakes real-world AI systems, rendering LLM reliability a foremost practical c…

cs.LG2026

OmniOPD: Logit-Free On-Policy Distillation via Speculative Verification

Yuhang Zhou, Lizhu Zhang, Yifan Wu +5

On-Policy Distillation (OPD) trains a student model on its own generative trajectories under dense token-level feedback from a stronger teacher, mitigating both the off-policy dist…

cs.LG2026

Feature to Dynamics: Feature-space to Autoregression strategy for Zero-shot Time Series Forecasting

Yifan Wu, Junjie Wu, Kai Wu +2

Zero-shot time series forecasting aims to predict future values for previously unseen series, requiring models to generalize temporal dynamics beyond the training distribution. Whi…

cs.LG2026

Distributional Alignment Games for Answer-Level Fine-Tuning

Mehryar Mohri, Jon Schneider, Yifan Wu

We focus on the problem of \emph{Answer-Level Fine-Tuning} (ALFT), where the goal is to optimize a language model based on the correctness or properties of its final answers, rathe…