2 citations · 3 across the 15 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Optimized Instance Alteration for Explaining and Assessing Robustness of Classifiers
Evgenii Kuriabov, David Miller, Jia Li
In this work, we propose a unified approach for diagnosing misclassification and assessing the robustness of black-box classifiers. Central to our method is an optimization framewo…
cs.LG2025
Conda: Column-Normalized Adam for Training Large Language Models Faster
Junjie Wang, Pan Zhou, Yiming Dong +6
Large language models (LLMs) have demonstrated impressive generalization and emergent capabilities, yet their pre-training remains computationally expensive and sensitive to optimi…
cs.LG2025★ 2 cited
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Yong Lin, Shange Tang, Bohan Lyu +8
We introduce Goedel-Prover, an open-source language model that achieves state-of-the-art (as of April 5 2025) performance in automated formal proof generation for mathematical prob…