activity
20172025
most citedAutoformalization with Large Language Models

43 citations · 99 across the 15 of their papers we have counts for

collaborators
Showing cs.LGShow all

15 papers · 1 filter

cs.LG2022

Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data

Andrei Margeloiu, Nikola Simidjievski, Pietro Lio +1

Tabular biomedical data is often high-dimensional but with a very small number of samples. Although recent work showed that well-regularised simple neural networks could outperform…

cs.LG20221 cited

Explainer Divergence Scores (EDS): Some Post-Hoc Explanations May be Effective for Detecting Unknown Spurious Correlations

Shea Cardozo, Gabriel Islas Montero, Dmitry Kazhdan +4

Recent work has suggested post-hoc explainers might be ineffective for detecting spurious correlations in Deep Neural Networks (DNNs). However, we show there are serious weaknesses…

cs.LG202243 cited

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li +4

Autoformalization is the process of automatically translating from natural language mathematics to formal specifications and proofs. A successful autoformalization system could adv…

cs.LG2021

Do Concept Bottleneck Models Learn as Intended?

Andrei Margeloiu, Matthew Ashman, Umang Bhatt +3

Concept bottleneck models map from raw inputs to concepts, and then from concepts to targets. Such models aim to incorporate pre-specified, high-level concepts into the learning pr…

cs.LG2021

Failing Conceptually: Concept-Based Explanations of Dataset Shift

Maleakhi A. Wijaya, Dmitry Kazhdan, Botty Dimanov +1

Despite their remarkable performance on a wide range of visual tasks, machine learning technologies often succumb to data distribution shifts. Consequently, a range of recent work…

cs.LG20211 cited

Is Disentanglement all you need? Comparing Concept-based & Disentanglement Approaches

Dmitry Kazhdan, Botty Dimanov, Helena Andres Terre +3

Concept-based explanations have emerged as a popular way of extracting human-interpretable representations from deep discriminative models. At the same time, the disentanglement le…