3 citations · 7 across the 19 of their papers we have counts for
5 papers · 1 filter
Entropy Regularization: A Free Correction to Cross-Entropy for Verified Demonstrations
Mihir Dhanakshirur, Adam Ousherovitch, Ambuj Tewari
Large language models are often post-trained on expert demonstrations using cross-entropy (CE), even when the downstream objective is not to imitate the demonstrated solution but t…
Direct Optimization of Generators for Search in Automated Theorem Proving
Adam Ousherovitch, Ambuj Tewari
Fine-tuned Large Language Models (LLMs) significantly advance Automated Theorem Proving (ATP), but are often deployed as guiding policies within tree search rather than for single-…
A General-Purpose Molecular Foundation Model Transfers Across Diverse Olfactory Tasks
Yikun Han, Yi Wang, Neil Mankodi +2
Foundation models have transformed molecular property prediction, yet it remains unclear whether a molecular foundation model, fine-tuned on a single canonical olfactory prediction…
Distribution-Free Robust Predict-Then-Optimize in Function Spaces
Yash Patel, Ambuj Tewari
The need to rapidly solve PDEs in engineering design workflows has spurred the rise of neural surrogate models. In particular, neural operator models provide a discretization-invar…
On Generation in Metric Spaces
Jiaxun Li, Vinod Raman, Ambuj Tewari
We study generation in separable metric instance spaces. We extend the language generation framework from Kleinberg and Mullainathan [2024] beyond countable domains by defining nov…