Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Neural Nonmyopic Bayesian Optimization in Dynamic Cost Settings
Sang T. Truong, Duc Q. Nguyen, Willie Neiswanger +4
Bayesian optimization (BO) is a common framework for optimizing black-box functions, yet most existing methods assume static query costs and rely on myopic acquisition strategies.…
cs.LG2025
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
Simon Frieder, Jonas Bayer, Sam Looi +13
The datasets and benchmarks commonly used to train and evaluate the mathematical capabilities of AI-based mathematical copilots (primarily large language models) exhibit several sh…
cs.LG2025★ 10 cited
Training a Scientific Reasoning Model for Chemistry
Siddharth M. Narayanan, James D. Braza, Ryan-Rhys Griffiths +6
Reasoning models are large language models that emit a long chain-of-thought before answering, providing both higher accuracy and explicit reasoning for their response. A major que…