Abstract. Isoprene emissions from vegetation have a large effect on atmospheric chemistry and air quality. isoprene emission inventories used in atmospheric models are based on limited vegetation information and uncertain land cover data, leading to potentially large errors. Satellite observations of atmospheric formaldehyde (HCHO), a high-yield isoprene oxidation product, provide 'top-down' information to evaluate isoprene emission inventories through inverse analyses. Past inverse analyses have however been hampered by uncertainty in the HCHO satellite data, uncertainty in the time-and NO x -dependent yield of HCHO from isoprene oxidation, and coarse resolution of the atmospheric models used for 30 the inversion. Here we demonstrate the ability to use HCHO satellite data from OMI in a high-resolution inversion to 2 to correct model NO x biases, which was done here using SEAC 4 RS observations but can be done more generally using satellite NO 2 data concurrently with HCHO. We find in our inversion that isoprene emissions from the widely-used MEGAN v2.1 inventory are biased high over the Southeast US by 40% on average, although the broad-scale distributions are correct including maximum emissions in Arkansas/Louisiana and high base emission factors in the oak-covered Ozarks of Southeast Missouri. A particularly large discrepancy is in the Edwards Plateau of Central Texas where MEGAN v2.1 is too high by a 5 factor of 3, possibly reflecting errors in land cover. The lower isoprene emissions inferred from our inversion, when implemented into GEOS-Chem, decrease surface ozone over the Southeast US by 1-3 ppb and decrease the isoprene contribution to organic aerosol from 40% to 20%.