2 papers
cs.LG2026
Predicting the Next State Is Not Enough: JEPA Representations for Lean Theorem Proving
Aarnav Choudhary
Neural theorem provers must both propose tactics and decide which valid successor states to explore. We study whether one-step Lean transitions provide a self-supervised signal for…
cs.AI2026
Asymmetric Collapse in Model Merging: When Refusal Over- writes Recognition
Aarnav Choudhary, Matheus Fonseca Rocha, Jiwon Seo +2
Model merging is often used to combine capabilities from separately fine-tuned models without additional training, but it is unclear whether standard merging methods preserve multi…