Albert Jiang — accepted AI-conference papers

2026

SounDiT: Geo-Contextual Soundscape-to-Landscape Generation

Junbo Wang, Haofeng Tan, Bowen Liao, Albert Jiang, Teng Fei, Qixing Huang +4

CVPR 2026

Recent audio-to-image models have shown impressive performance in generating images of specific objects conditioned on their corresponding sounds. However, these models fail to reconstruct real-world landscapes conditioned on acoustic environments. To address this challenge, we present Geo-contextua

Cited by 0 Source ↗Scholar ↗

2021

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger Baker Grosse

ICLR 2021poster

In learning-assisted theorem proving, one of the most critical challenges is to generalize to theorems unlike those seen at training time. In this paper, we introduce INT, an INequality Theorem proving benchmark designed to test agents’ generalization ability. INT is based on a theorem generator, wh…

Cited by 59 Source ↗PDF ↗code ↗Scholar ↗