Search Results for author:
Found 4 papers, 3 papers with code
An Expectation-Realization Model for Metaphor Detection
We propose a metaphor detection architecture that is structured around two main modules: an expectation component that estimates representations of literal word expectations given a context, and a realization component that computes representations of actual word meanings in context.
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding.
Primordial non-Gaussianity from the Completed SDSS-IV extended Baryon Oscillation Spectroscopic Survey I: Catalogue Preparation and Systematic Mitigation
We develop a neural network-based approach to mitigate spurious fluctuations in the density field caused by spatial variations in the quality of the imaging data used to select targets for follow-up spectroscopy.
Improving Galaxy Clustering Measurements with Deep Learning: analysis of the DECaLS DR7 data
Robust measurements of cosmological parameters from galaxy surveys rely on our understanding of systematic effects that impact the observed galaxy density field.
Cosmology and Nongalactic Astrophysics Instrumentation and Methods for Astrophysics Data Analysis, Statistics and Probability
