97 citations · 213 across the 16 of their papers we have counts for
45 papers
Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
Willy Chan, Michael Souliman, Jakob Nordhagen +3
Autoformalization, the process of transforming informal mathematical language into formal specifications and proofs remains a difficult task for state-of-the-art (large) language m…
Metric Elicitation; Moving from Theory to Practice
Safinah Ali, Sohini Upadhyay, Gaurush Hiranandani +2
Metric Elicitation (ME) is a framework for eliciting classification metrics that better align with implicit user preferences based on the task and context. The existing ME strategy…
Batch Active Learning from the Perspective of Sparse Approximation
Maohao Shen, Bowen Jiang, Jacky Yibo Zhang +1
Active learning enables efficient model training by leveraging interactions between machine learning agents and human annotators. We study and propose a novel framework that formul…
Synthetic Power Analyses: Empirical Evaluation and Application to Cognitive Neuroimaging
Peiye Zhuang, Bliss Chapman, Ran Li +1
In the experimental sciences, statistical power analyses are often used before data collection to determine the required sample size. However, traditional power analyses can be cos…
Secure Byzantine-Robust Distributed Learning via Clustering
Raj Kiriti Velicheti, Derek Xia, Oluwasanmi Koyejo
Federated learning systems that jointly preserve Byzantine robustness and privacy have remained an open problem. Robust aggregation, the standard defense for Byzantine attacks, gen…
Enjoy Your Editing: Controllable GANs for Image Editing via Latent Space Navigation
Peiye Zhuang, Oluwasanmi Koyejo, Alexander G. Schwing
Controllable semantic image editing enables a user to change entire image attributes with a few clicks, e.g., gradually making a summer scene look like it was taken in winter. Clas…