Showing 1–50 of 159 results for author: Eisner, J

Learning to Retrieve Iteratively for In-Context Learning

Authors: Yunmo Chen, Tongfei Chen, Harsh Jhamtani, Patrick Xia, Richard Shin, Jason Eisner, Benjamin Van Durme

Abstract: We introduce iterative retrieval, a novel framework that empowers retrievers to make iterative decisions through policy optimization. Finding an optimal portfolio of retrieved items is a combinatorial optimization problem, generally considered NP-hard. This approach provides a learned approximation to such a solution, meeting specific task requirements under a given family of large language models… ▽ More We introduce iterative retrieval, a novel framework that empowers retrievers to make iterative decisions through policy optimization. Finding an optimal portfolio of retrieved items is a combinatorial optimization problem, generally considered NP-hard. This approach provides a learned approximation to such a solution, meeting specific task requirements under a given family of large language models (LLMs). We propose a training procedure based on reinforcement learning, incorporating feedback from LLMs. We instantiate an iterative retriever for composing in-context learning (ICL) exemplars and apply it to various semantic parsing tasks that demand synthesized programs as outputs. By adding only 4M additional parameters for state encoding, we convert an off-the-shelf dense retriever into a stateful iterative retriever, outperforming previous methods in selecting ICL exemplars on semantic parsing datasets such as CalFlow, TreeDST, and MTOP. Additionally, the trained iterative retriever generalizes across different inference LLMs beyond the one used during training. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Local control on quaternionic Heisenberg group of dimension $7$

Authors: Jan Eisner, Lenka Zalabová

Abstract: We describe the quaternionic Heisenberg group in the dimension $7$ as a matrix group. We study the local control of a compatible left-invariant control system. We describe the impact of symmetries of the corresponding sub-Riemannian structure on the optimality of geodesics. We describe the quaternionic Heisenberg group in the dimension $7$ as a matrix group. We study the local control of a compatible left-invariant control system. We describe the impact of symmetries of the corresponding sub-Riemannian structure on the optimality of geodesics. △ Less

Submitted 13 April, 2024; originally announced April 2024.

Comments: 16 pages, 3 figures

MSC Class: 22E60; 53C17; 35R03

Constraining free-free emission and photoevaporative mass loss rates for known proplyds and new VLA-identified candidate proplyds in NGC 1977

Authors: Ryan D. Boyden, Josh A. Eisner

Abstract: We present Karl G. Jansky Very Large Array observations covering the NGC 1977 region at 3.0, 6.4, and 15.0 GHz. We search for compact radio sources and detect continuum emission from 34 NGC 1977 cluster members and 37 background objects. Of the 34 radio-detected cluster members, 3 are associated with known proplyds in NGC 1977, 22 are associated with additional young stellar objects in NGC 1977, a… ▽ More We present Karl G. Jansky Very Large Array observations covering the NGC 1977 region at 3.0, 6.4, and 15.0 GHz. We search for compact radio sources and detect continuum emission from 34 NGC 1977 cluster members and 37 background objects. Of the 34 radio-detected cluster members, 3 are associated with known proplyds in NGC 1977, 22 are associated with additional young stellar objects in NGC 1977, and 9 are newly-identified cluster members. We examine the radio spectral energy distributions, circular polarization, and variability of the detected NGC 1977 sources, and identify 10 new candidate proplyds whose radio fluxes are dominated by optically thin free-free emission. We use measurements of free-free emission to calculate the mass-loss rates of known proplyds and new candidate proplyds in NGC 1977, and find values $\sim10^{-9}-10^{-8}$ M$_{\odot}$ yr$^{-1}$, which are lower than the mass-loss rates measured towards proplyds in the Orion Nebula Cluster, but consistent with the mass-loss rates predicted by external photoevaporation models for spatially-extended disks that are irradiated by the typical external UV fields encountered in NGC 1977. Finally, we show that photoevaporative disk winds in NGC 1977 may be illuminated by internal or external sources of ionization, depending on their positions within the cluster. This study provides new constraints on disk properties in a clustered star-forming region with a weaker UV environment than the Orion Nebula Cluster, but a stronger UV environment than low-mass star-forming regions like Taurus. Such intermediate UV environments represent the typical conditions of Galactic star and planet formation. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 41 pages, 21 figures, accepted for publication in ApJ

LLMs in the Imaginarium: Tool Learning through Simulated Trial and Error

Authors: Boshi Wang, Hao Fang, Jason Eisner, Benjamin Van Durme, Yu Su

Abstract: Tools are essential for large language models (LLMs) to acquire up-to-date information and take consequential actions in external environments. Existing work on tool-augmented LLMs primarily focuses on the broad coverage of tools and the flexibility of adding new tools. However, a critical aspect that has surprisingly been understudied is simply how accurately an LLM uses tools for which it has be… ▽ More Tools are essential for large language models (LLMs) to acquire up-to-date information and take consequential actions in external environments. Existing work on tool-augmented LLMs primarily focuses on the broad coverage of tools and the flexibility of adding new tools. However, a critical aspect that has surprisingly been understudied is simply how accurately an LLM uses tools for which it has been trained. We find that existing LLMs, including GPT-4 and open-source LLMs specifically fine-tuned for tool use, only reach a correctness rate in the range of 30% to 60%, far from reliable use in practice. We propose a biologically inspired method for tool-augmented LLMs, simulated trial and error (STE), that orchestrates three key mechanisms for successful tool use behaviors in the biological system: trial and error, imagination, and memory. Specifically, STE leverages an LLM's 'imagination' to simulate plausible scenarios for using a tool, after which the LLM interacts with the tool to learn from its execution feedback. Both short-term and long-term memory are employed to improve the depth and breadth of the exploration, respectively. Comprehensive experiments on ToolBench show that STE substantially improves tool learning for LLMs under both in-context learning and fine-tuning settings, bringing a boost of 46.7% to Mistral-Instruct-7B and enabling it to outperform GPT-4. We also show effective continual learning of tools via a simple experience replay strategy. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: Code and data available at https://github.com/microsoft/simulated-trial-and-error

Principled Gradient-based Markov Chain Monte Carlo for Text Generation

Authors: Li Du, Afra Amini, Lucas Torroba Hennigen, Xinyan Velocity Yu, Jason Eisner, Holden Lee, Ryan Cotterell

Abstract: Recent papers have demonstrated the possibility of energy-based text generation by adapting gradient-based sampling algorithms, a paradigm of MCMC algorithms that promises fast convergence. However, as we show in this paper, previous attempts on this approach to text generation all fail to sample correctly from the target language model distributions. To address this limitation, we consider the pr… ▽ More Recent papers have demonstrated the possibility of energy-based text generation by adapting gradient-based sampling algorithms, a paradigm of MCMC algorithms that promises fast convergence. However, as we show in this paper, previous attempts on this approach to text generation all fail to sample correctly from the target language model distributions. To address this limitation, we consider the problem of designing text samplers that are faithful, meaning that they have the target text distribution as its limiting distribution. We propose several faithful gradient-based sampling algorithms to sample from the target energy-based text distribution correctly, and study their theoretical properties. Through experiments on various forms of text generation, we demonstrate that faithful samplers are able to generate more fluent text while adhering to the control objectives better. △ Less

Submitted 29 December, 2023; originally announced December 2023.

Comments: Preprint

Do Androids Know They're Only Dreaming of Electric Sheep?

Authors: Sky CH-Wang, Benjamin Van Durme, Jason Eisner, Chris Kedzie

Abstract: We design probes trained on the internal representations of a transformer language model to predict its hallucinatory behavior on three grounded generation tasks. To train the probes, we annotate for span-level hallucination on both sampled (organic) and manually edited (synthetic) reference outputs. Our probes are narrowly trained and we find that they are sensitive to their training domain: they… ▽ More We design probes trained on the internal representations of a transformer language model to predict its hallucinatory behavior on three grounded generation tasks. To train the probes, we annotate for span-level hallucination on both sampled (organic) and manually edited (synthetic) reference outputs. Our probes are narrowly trained and we find that they are sensitive to their training domain: they generalize poorly from one task to another or from synthetic to organic hallucinations. However, on in-domain data, they can reliably detect hallucinations at many transformer layers, achieving 95% of their peak performance as early as layer 4. Here, probing proves accurate for evaluating hallucination, outperforming several contemporary baselines and even surpassing an expert human annotator in response-level detection F1. Similarly, on span-level labeling, probes are on par or better than the expert annotator on two out of three generation tasks. Overall, we find that probing is a feasible and efficient alternative to language model hallucination evaluation when model states are available. △ Less

Submitted 8 June, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: ACL 2024 (Findings) Camera-Ready

Structure-Aware Path Inference for Neural Finite State Transducers

Authors: Weiting Tan, Chu-cheng Lin, Jason Eisner

Abstract: Neural finite-state transducers (NFSTs) form an expressive family of neurosymbolic sequence transduction models. An NFST models each string pair as having been generated by a latent path in a finite-state transducer. As they are deep generative models, both training and inference of NFSTs require inference networks that approximate posterior distributions over such latent variables. In this paper,… ▽ More Neural finite-state transducers (NFSTs) form an expressive family of neurosymbolic sequence transduction models. An NFST models each string pair as having been generated by a latent path in a finite-state transducer. As they are deep generative models, both training and inference of NFSTs require inference networks that approximate posterior distributions over such latent variables. In this paper, we focus on the resulting challenge of imputing the latent alignment path that explains a given pair of input and output strings (e.g., during training). We train three autoregressive approximate models for amortized inference of the path, which can then be used as proposal distributions for importance sampling. All three models perform lookahead. Our most sophisticated (and novel) model leverages the FST structure to consider the graph of future paths; unfortunately, we find that it loses out to the simpler approaches -- except on an artificial task that we concocted to confuse the simpler approaches. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: In Proceedings of ICBINB Workshop at NeurIPS 2023

A Glitch in the Matrix? Locating and Detecting Language Model Grounding with Fakepedia

Authors: Giovanni Monea, Maxime Peyrard, Martin Josifoski, Vishrav Chaudhary, Jason Eisner, Emre Kıcıman, Hamid Palangi, Barun Patra, Robert West

Abstract: Large language models (LLMs) have an impressive ability to draw on novel information supplied in their context. Yet the mechanisms underlying this contextual grounding remain unknown, especially in situations where contextual information contradicts factual knowledge stored in the parameters, which LLMs also excel at recalling. Favoring the contextual information is critical for retrieval-augmente… ▽ More Large language models (LLMs) have an impressive ability to draw on novel information supplied in their context. Yet the mechanisms underlying this contextual grounding remain unknown, especially in situations where contextual information contradicts factual knowledge stored in the parameters, which LLMs also excel at recalling. Favoring the contextual information is critical for retrieval-augmented generation methods, which enrich the context with up-to-date information, ho** that grounding can rectify outdated or noisy stored knowledge. We present a novel method to study grounding abilities using Fakepedia, a novel dataset of counterfactual texts constructed to clash with a model's internal parametric knowledge. In this study, we introduce Fakepedia, a counterfactual dataset designed to evaluate grounding abilities when the internal parametric knowledge clashes with the contextual information. We benchmark various LLMs with Fakepedia and conduct a causal mediation analysis of LLM components when answering Fakepedia queries, based on our Masked Grouped Causal Tracing (MGCT) method. Through this analysis, we identify distinct computational patterns between grounded and ungrounded responses. We finally demonstrate that distinguishing grounded from ungrounded responses is achievable through computational analysis alone. Our results, together with existing findings about factual recall mechanisms, provide a coherent narrative of how grounding and factual recall mechanisms interact within LLMs. △ Less

Submitted 10 June, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: Accepted at ACL 2024 (main conference)

Interpreting User Requests in the Context of Natural Language Standing Instructions

Authors: Nikita Moghe, Patrick Xia, Jacob Andreas, Jason Eisner, Benjamin Van Durme, Harsh Jhamtani

Abstract: Users of natural language interfaces, generally powered by Large Language Models (LLMs),often must repeat their preferences each time they make a similar request. We describe an approach to LLM-based dialogue modeling in which persistent user constraints and preferences -- collectively termed standing instructions -- as additional context for such interfaces. For example, when a user states "I'm h… ▽ More Users of natural language interfaces, generally powered by Large Language Models (LLMs),often must repeat their preferences each time they make a similar request. We describe an approach to LLM-based dialogue modeling in which persistent user constraints and preferences -- collectively termed standing instructions -- as additional context for such interfaces. For example, when a user states "I'm hungry", a previously expressed preference for Persian food can be automatically added to the LLM prompt, influencing the search for relevant restaurants. We develop NLSI, a language-to-program dataset consisting of over 2.4K dialogues spanning 17 domains, where each dialogue is paired with a user profile (a set of users specific standing instructions) and corresponding structured representations (API calls). A key challenge in NLSI is to identify which subset of the standing instructions is applicable to a given dialogue. NLSI contains diverse phenomena, from simple preferences to interdependent instructions such as triggering a hotel search whenever the user is booking tickets to an event. We conduct experiments on NLSI using prompting with large language models and various retrieval approaches, achieving a maximum of 44.7% exact match on API prediction. Our results demonstrate the challenges in identifying the relevant standing instructions and their interpretation into API calls. △ Less

Submitted 7 March, 2024; v1 submitted 16 November, 2023; originally announced November 2023.

Comments: Updated with results from LLaMA-2

Recovering simulated planet and disk signals using SCALES aperture masking

Authors: Mackenzie Lach, Steph Sallum, Ravinder Banyal, Natalie Batalha, Geoff Blake, Tim Brandt, Zackery Briesemeister, Aditi Desai, Josh Eisner, Wen-fai Fong, Tom Greene, Mitsuhiko Honda, Isabel Kain, Charlie Kilpatrick, Katherine de Kleer, Michael Liu, Bruce Macintosh, Raquel Martinez, Dimitri Mawet, Brittany Miles, Caroline Morley, Imke de Pater, Diana Powell, Patrick Sheehan, Andrew Skemer , et al. (7 additional authors not shown)

Abstract: The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES) instrument is a lenslet-based integral field spectrograph that will operate at 2 to 5 microns, imaging and characterizing colder (and thus older) planets than current high-contrast instruments. Its spatial resolution for distant science targets and/or close-in disks and companions could be improved via interferometric t… ▽ More The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES) instrument is a lenslet-based integral field spectrograph that will operate at 2 to 5 microns, imaging and characterizing colder (and thus older) planets than current high-contrast instruments. Its spatial resolution for distant science targets and/or close-in disks and companions could be improved via interferometric techniques such as sparse aperture masking. We introduce a nascent Python package, NRM-artist, that we use to design several SCALES masks to be non-redundant and to have uniform coverage in Fourier space. We generate high-fidelity mock SCALES data using the scalessim package for SCALES' low spectral resolution modes across its 2 to 5 micron bandpass. We include realistic noise from astrophysical and instrument sources, including Keck adaptive optics and Poisson noise. We inject planet and disk signals into the mock datasets and subsequently recover them to test the performance of SCALES sparse aperture masking and to determine the sensitivity of various mask designs to different science signals. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Journal ref: SPIE Proceedings Volume 12680, Techniques and Instrumentation for Detection of Exoplanets XI; 1268024 (2023)

Simulating medium-spectral-resolution exoplanet characterization with SCALES angular/reference differential imaging

Authors: Aditi Desai, Stephanie E. Sallum, Ravinder Banyal, Natalie Batalha, Natasha Batalha, Geoff Blake, Tim Brandt, Zack Briesemeister, Katherine de Kleer, Imke de Pater, Josh Eisner, Wen-fai Fong, Tom Greene, Mitsuhiko Honda, Isabel Kain, Charlie Kilpatrick, Mackenzie Lach, Mike Liu, Bruce Macintosh, Raquel A. Martinez, Dimitri Mawet, Brittany Miles, Caroline Morley, Diana Powell, Patrick Sheehan , et al. (8 additional authors not shown)

Abstract: SCALES (Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy) is a 2 - 5 micron high-contrast lenslet-based integral field spectrograph (IFS) designed to characterize exoplanets and their atmospheres. The SCALES medium-spectral-resolution mode uses a lenslet subarray with a 0.34 x 0.36 arcsecond field of view which allows for exoplanet characterization at increased spectral resolution… ▽ More SCALES (Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy) is a 2 - 5 micron high-contrast lenslet-based integral field spectrograph (IFS) designed to characterize exoplanets and their atmospheres. The SCALES medium-spectral-resolution mode uses a lenslet subarray with a 0.34 x 0.36 arcsecond field of view which allows for exoplanet characterization at increased spectral resolution. We explore the sensitivity limitations of this mode by simulating planet detections in the presence of realistic noise sources. We use the SCALES simulator scalessim to generate high-fidelity mock observations of planets that include speckle noise from their host stars, as well as other atmospheric and instrumental noise effects. We employ both angular and reference differential imaging as methods of disentangling speckle noise from the injected planet signals. These simulations allow us to assess the feasibility of speckle deconvolution for SCALES medium resolution data, and to test whether one approach outperforms another based on planet angular separations and contrasts. △ Less

Submitted 18 October, 2023; originally announced October 2023.

The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES): driving science cases and expected outcomes

Authors: Steph Sallum, Andrew Skemer, Deno Stelter, Ravinder Banyal, Natalie Batalha, Natasha Batalha, Geoff Blake, Tim Brandt, Zack Briesemeister, Katherine de Kleer, Imke de Pater, Aditi Desai, Josh Eisner, Wen-fai Fong, Tom Greene, Mitsuhiko Honda, Rebecca Jensen-Clem, Isabel Kain, Charlie Kilpatrick, Renate Kupke, Mackenzie Lach, Michael C. Liu, Bruce Macintosh, Raquel A. Martinez, Dimitri Mawet , et al. (12 additional authors not shown)

Abstract: The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES) is a $2-5~μ$m, high-contrast integral field spectrograph (IFS) currently being built for Keck Observatory. With both low ($R\lesssim250$) and medium ($R\sim3500-7000$) spectral resolution IFS modes, SCALES will detect and characterize significantly colder exoplanets than those accessible with near-infrared ($\sim1-2~μ$m… ▽ More The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES) is a $2-5~μ$m, high-contrast integral field spectrograph (IFS) currently being built for Keck Observatory. With both low ($R\lesssim250$) and medium ($R\sim3500-7000$) spectral resolution IFS modes, SCALES will detect and characterize significantly colder exoplanets than those accessible with near-infrared ($\sim1-2~μ$m) high-contrast spectrographs. This will lead to new progress in exoplanet atmospheric studies, including detailed characterization of benchmark systems that will advance the state of the art of atmospheric modeling. SCALES' unique modes, while designed specifically for direct exoplanet characterization, will enable a broader range of novel (exo)planetary observations as well as galactic and extragalactic studies. Here we present the science cases that drive the design of SCALES. We describe an end-to-end instrument simulator that we use to track requirements, and show simulations of expected science yields for each driving science case. We conclude with a discussion of preparations for early science when the instrument sees first light in $\sim2025$. △ Less

Submitted 10 October, 2023; originally announced October 2023.

Comments: 10 pages, 16 figures, submitted to Proceedings of the SPIE

High Angular Resolution Imaging of the V892 Tau Binary System: A New Circumprimary Disk Detection and Updated Orbital Constraints

Authors: Christina Vides, Steph Sallum, Josh Eisner, Andy Skemer, Ruth Murray-Clay

Abstract: We present a direct imaging study of V892 Tau, a young Herbig Ae/Be star with a close-in stellar companion and circumbinary disk. Our observations consist of images acquired via Keck 2/NIRC2 with non-redundant masking and the pyramid wavefront sensor at K$^\prime$ band (2.12$μ$m) and L$^\prime$ band (3.78$μ$m). Sensitivity to low-mass accreting companions and cool disk material is high at L… ▽ More We present a direct imaging study of V892 Tau, a young Herbig Ae/Be star with a close-in stellar companion and circumbinary disk. Our observations consist of images acquired via Keck 2/NIRC2 with non-redundant masking and the pyramid wavefront sensor at K$^\prime$ band (2.12$μ$m) and L$^\prime$ band (3.78$μ$m). Sensitivity to low-mass accreting companions and cool disk material is high at L$^\prime$ band, while complimentary observations at K$^\prime$ band probe hotter material with higher angular resolution. These multi-wavelength, multi-epoch data allow us to differentiate the secondary stellar emission from disk emission and deeply probe the structure of the circumbinary disk at small angular separations. We constrain architectural properties of the system by fitting geometric disk and companion models to the K$^\prime$ and L$^\prime$ band data. From these models, we constrain the astrometric and photometric properties of the stellar binary and update the orbit, placing the tightest estimates to date on the V892 Tau orbital parameters. We also constrain the geometric structure of the circumbinary disk, and resolve a circumprimary disk for the first time. △ Less

Submitted 13 October, 2023; v1 submitted 3 October, 2023; originally announced October 2023.

Comments: Accepted to ApJ

SCREWS: A Modular Framework for Reasoning with Revisions

Authors: Kumar Shridhar, Harsh Jhamtani, Hao Fang, Benjamin Van Durme, Jason Eisner, Patrick Xia

Abstract: Large language models (LLMs) can improve their accuracy on various tasks through iteratively refining and revising their output based on feedback. We observe that these revisions can introduce errors, in which case it is better to roll back to a previous result. Further, revisions are typically homogeneous: they use the same reasoning method that produced the initial answer, which may not correct… ▽ More Large language models (LLMs) can improve their accuracy on various tasks through iteratively refining and revising their output based on feedback. We observe that these revisions can introduce errors, in which case it is better to roll back to a previous result. Further, revisions are typically homogeneous: they use the same reasoning method that produced the initial answer, which may not correct errors. To enable exploration in this space, we present SCREWS, a modular framework for reasoning with revisions. It is comprised of three main modules: Sampling, Conditional Resampling, and Selection, each consisting of sub-modules that can be hand-selected per task. We show that SCREWS not only unifies several previous approaches under a common framework, but also reveals several novel strategies for identifying improved reasoning chains. We evaluate our framework with state-of-the-art LLMs (ChatGPT and GPT-4) on a diverse set of reasoning tasks and uncover useful new reasoning strategies for each: arithmetic word problems, multi-hop question answering, and code debugging. Heterogeneous revision strategies prove to be important, as does selection between original and revised candidates. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Isolating Dust and Free-Free Emission in ONC Proplyds with ALMA Band 3 Observations

Authors: Nicholas P. Ballering, L. Ilsedore Cleeves, Thomas J. Haworth, John Bally, Josh A. Eisner, Adam Ginsburg, Ryan D. Boyden, Min Fang, **young Serena Kim

Abstract: The Orion Nebula Cluster (ONC) hosts protoplanetary disks experiencing external photoevaporation by the cluster's intense UV field. These ``proplyds" are comprised of a disk surrounded by an ionization front. We present ALMA Band 3 (3.1 mm) continuum observations of 12 proplyds. Thermal emission from the dust disks and free-free emission from the ionization fronts are both detected, and the high-r… ▽ More The Orion Nebula Cluster (ONC) hosts protoplanetary disks experiencing external photoevaporation by the cluster's intense UV field. These ``proplyds" are comprised of a disk surrounded by an ionization front. We present ALMA Band 3 (3.1 mm) continuum observations of 12 proplyds. Thermal emission from the dust disks and free-free emission from the ionization fronts are both detected, and the high-resolution (0.057") of the observations allows us to spatially isolate these two components. The morphology is unique compared to images at shorter (sub)millimeter wavelengths, which only detect the disks, and images at longer centimeter wavelengths, which only detect the ionization fronts. The disks are small ($r_d$ = 6.4--38 au), likely due to truncation by ongoing photoevaporation. They have low spectral indices ($α\lesssim 2.1$) measured between Bands 7 and 3, suggesting the dust emission is optically thick. They harbor tens of Earth masses of dust as computed from the millimeter flux using the standard method, although their true masses may be larger due to the high optical depth. We derive their photoevaporative mass-loss rates in two ways: first, by invoking ionization equilibrium, and second using the brightness of the free-free emission to compute the density of the outflow. We find decent agreement between these measurements and $\dot M$ = 0.6--18.4 $\times$ 10$^{-7}$ $M_\odot$ yr$^{-1}$. The photoevaporation timescales are generally shorter than the $\sim$1 Myr age of the ONC, underscoring the known ``proplyd lifetime problem." Disk masses that are underestimated due to being optically thick remains one explanation to ease this discrepancy. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Comments: 17 pages, 12 figures, accepted for publication in ApJ

Toward Interactive Dictation

Authors: Belinda Z. Li, Jason Eisner, Adam Pauls, Sam Thomson

Abstract: Voice dictation is an increasingly important text input modality. Existing systems that allow both dictation and editing-by-voice restrict their command language to flat templates invoked by trigger words. In this work, we study the feasibility of allowing users to interrupt their dictation with spoken editing commands in open-ended natural language. We introduce a new task and dataset, TERTiUS, t… ▽ More Voice dictation is an increasingly important text input modality. Existing systems that allow both dictation and editing-by-voice restrict their command language to flat templates invoked by trigger words. In this work, we study the feasibility of allowing users to interrupt their dictation with spoken editing commands in open-ended natural language. We introduce a new task and dataset, TERTiUS, to experiment with such systems. To support this flexibility in real-time, a system must incrementally segment and classify spans of speech as either dictation or command, and interpret the spans that are commands. We experiment with using large pre-trained language models to predict the edited text, or alternatively, to predict a small text-editing program. Experiments show a natural trade-off between model accuracy and latency: a smaller model achieves 30% end-state accuracy with 1.3 seconds of latency, while a larger model achieves 55% end-state accuracy with 7 seconds of latency. △ Less

Submitted 8 July, 2023; originally announced July 2023.

Comments: 17 pages, 5 tables, 4 figures; ACL

Efficient Semiring-Weighted Earley Parsing

Authors: Andreas Opedal, Ran Zmigrod, Tim Vieira, Ryan Cotterell, Jason Eisner

Abstract: This paper provides a reference description, in the form of a deduction system, of Earley's (1970) context-free parsing algorithm with various speed-ups. Our presentation includes a known worst-case runtime improvement from Earley's $O (N^3|G||R|)$, which is unworkable for the large grammars that arise in natural language processing, to $O (N^3|G|)$, which matches the runtime of CKY on a binarized… ▽ More This paper provides a reference description, in the form of a deduction system, of Earley's (1970) context-free parsing algorithm with various speed-ups. Our presentation includes a known worst-case runtime improvement from Earley's $O (N^3|G||R|)$, which is unworkable for the large grammars that arise in natural language processing, to $O (N^3|G|)$, which matches the runtime of CKY on a binarized version of the grammar $G$. Here $N$ is the length of the sentence, $|R|$ is the number of productions in $G$, and $|G|$ is the total length of those productions. We also provide a version that achieves runtime of $O (N^3|M|)$ with $|M| \leq |G|$ when the grammar is represented compactly as a single finite-state automaton $M$ (this is partly novel). We carefully treat the generalization to semiring-weighted deduction, preprocessing the grammar like Stolcke (1995) to eliminate deduction cycles, and further generalize Stolcke's method to compute the weights of sentence prefixes. We also provide implementation details for efficient execution, ensuring that on a preprocessed grammar, the semiring-weighted versions of our methods have the same asymptotic runtime and space requirements as the unweighted methods, including sub-cubic runtime on some grammars. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Comments: Main conference long paper at ACL 2023

Systematic Multi-Epoch Monitoring of LkCa 15: Dynamic Dust Structures on Solar-System Scales

Authors: Steph Sallum, Josh Eisner, Andy Skemer, Ruth Murray-Clay

Abstract: We present the highest angular resolution infrared monitoring of LkCa 15, a young solar analog hosting a transition disk. This system has been the subject of a number of direct imaging studies from the millimeter through the optical, which have revealed multiple protoplanetary disk rings as well as three orbiting protoplanet candidates detected in infrared continuum (one of which was simultaneousl… ▽ More We present the highest angular resolution infrared monitoring of LkCa 15, a young solar analog hosting a transition disk. This system has been the subject of a number of direct imaging studies from the millimeter through the optical, which have revealed multiple protoplanetary disk rings as well as three orbiting protoplanet candidates detected in infrared continuum (one of which was simultaneously seen at H$α$). We use high-angular-resolution infrared imaging from 2014-2020 to systematically monitor these infrared signals and determine their physical origin. We find that three self-luminous protoplanets cannot explain the positional evolution of the infrared sources, since the longer time baseline images lack the coherent orbital motion that would be expected for companions. However, the data still strongly prefer a time-variable morphology that cannot be reproduced by static scattered-light disk models. The multi-epoch observations suggest the presence of complex and dynamic substructures moving through the forward-scattering side of the disk at $\sim20$ AU, or quickly-varying shadowing by closer-in material. We explore whether the previous H$α$ detection of one candidate would be inconsistent with this scenario, and in the process develop an analytical signal-to-noise penalty for H$α$ excesses detected near forward-scattered light. Under these new noise considerations, the H$α$ detection is not strongly inconsistent with forward scattering, making the dynamic LkCa 15 disk a natural explanation for both the infrared and H$α$ data. △ Less

Submitted 20 July, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 24 pages, 11 figures, accepted for publication in ApJ

Decision-Oriented Dialogue for Human-AI Collaboration

Authors: Jessy Lin, Nicholas Tomlin, Jacob Andreas, Jason Eisner

Abstract: We describe a class of tasks called decision-oriented dialogues, in which AI assistants such as large language models (LMs) must collaborate with one or more humans via natural language to help them make complex decisions. We formalize three domains in which users face everyday decisions: (1) choosing an assignment of reviewers to conference papers, (2) planning a multi-step itinerary in a city, a… ▽ More We describe a class of tasks called decision-oriented dialogues, in which AI assistants such as large language models (LMs) must collaborate with one or more humans via natural language to help them make complex decisions. We formalize three domains in which users face everyday decisions: (1) choosing an assignment of reviewers to conference papers, (2) planning a multi-step itinerary in a city, and (3) negotiating travel plans for a group of friends. In each of these settings, AI assistants and users have disparate abilities that they must combine to arrive at the best decision: assistants can access and process large amounts of information, while users have preferences and constraints external to the system. For each task, we build a dialogue environment where agents receive a reward based on the quality of the final decision they reach. We evaluate LMs in self-play and in collaboration with humans and find that they fall short compared to human assistants, achieving much lower rewards despite engaging in longer dialogues. We highlight a number of challenges models face in decision-oriented dialogues, ranging from goal-directed behavior to reasoning and optimization, and release our environments as a testbed for future work. △ Less

Submitted 5 May, 2024; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: TACL 2024, pre-MIT Press publication version

Autoregressive Modeling with Lookahead Attention

Authors: Li Du, Hongyuan Mei, Jason Eisner

Abstract: To predict the next token, autoregressive models ordinarily examine the past. Could they also benefit from also examining hypothetical futures? We consider a novel Transformer-based autoregressive architecture that estimates the next-token distribution by extrapolating multiple continuations of the past, according to some proposal distribution, and attending to these extended strings. This archite… ▽ More To predict the next token, autoregressive models ordinarily examine the past. Could they also benefit from also examining hypothetical futures? We consider a novel Transformer-based autoregressive architecture that estimates the next-token distribution by extrapolating multiple continuations of the past, according to some proposal distribution, and attending to these extended strings. This architecture draws insights from classical AI systems such as board game players: when making a local decision, a policy may benefit from exploring possible future trajectories and analyzing them. On multiple tasks including morphological inflection and Boolean satisfiability, our lookahead model is able to outperform the ordinary Transformer model of comparable size. However, on some tasks, it appears to be benefiting from the extra computation without actually using the lookahead information. We discuss possible variant architectures as well as future speedups. △ Less

Submitted 20 May, 2023; originally announced May 2023.

Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs

Authors: Anej Svete, Benjamin Dayan, Tim Vieira, Ryan Cotterell, Jason Eisner

Abstract: Weighted finite-state automata (WSFAs) are commonly used in NLP. Failure transitions are a useful extension for compactly representing backoffs or interpolation in $n$-gram models and CRFs, which are special cases of WFSAs. The pathsum in ordinary acyclic WFSAs is efficiently computed by the backward algorithm in time $O(|E|)$, where $E$ is the set of transitions. However, this does not allow fail… ▽ More Weighted finite-state automata (WSFAs) are commonly used in NLP. Failure transitions are a useful extension for compactly representing backoffs or interpolation in $n$-gram models and CRFs, which are special cases of WFSAs. The pathsum in ordinary acyclic WFSAs is efficiently computed by the backward algorithm in time $O(|E|)$, where $E$ is the set of transitions. However, this does not allow failure transitions, and preprocessing the WFSA to eliminate failure transitions could greatly increase $|E|$. We extend the backward algorithm to handle failure transitions directly. Our approach is efficient when the average state has outgoing arcs for only a small fraction $s \ll 1$ of the alphabet $Σ$. We propose an algorithm for general acyclic WFSAs which runs in $O{\left(|E| + s |Σ| |Q| T_\text{max} \log{|Σ|}\right)}$, where $Q$ is the set of states and $T_\text{max}$ is the size of the largest connected component of failure transitions. When the failure transition topology satisfies a condition exemplified by CRFs, the $T_\text{max}$ factor can be dropped, and when the weight semiring is a ring, the $\log{|Σ|}$ factor can be dropped. In the latter case (ring-weighted acyclic WFSAs), we also give an alternative algorithm with complexity $\displaystyle O{\left(|E| + |Σ| |Q| \min(1,sπ_\text{max}) \right)}$, where $π_\text{max}$ is the size of the longest failure path. △ Less

Submitted 11 July, 2023; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 9 pages, Proceedings of EMNLP 2022

Chemical modeling of Orion Nebula Cluster disks: evidence for massive, compact gas disks with ISM-like gas-to-dust ratios

Authors: Ryan D. Boyden, Josh A. Eisner

Abstract: The stellar cluster environment is expected to play a central role in the evolution of circumstellar disks. We use thermochemical modeling to constrain the dust and gas masses, disk sizes, UV and X-ray radiation fields, viewing geometries, and central stellar masses of 20 Class II disks in the Orion Nebula Cluster (ONC). We fit a large grid of disk models to $350$ GHz continuum, CO $J=3-2$, and HC… ▽ More The stellar cluster environment is expected to play a central role in the evolution of circumstellar disks. We use thermochemical modeling to constrain the dust and gas masses, disk sizes, UV and X-ray radiation fields, viewing geometries, and central stellar masses of 20 Class II disks in the Orion Nebula Cluster (ONC). We fit a large grid of disk models to $350$ GHz continuum, CO $J=3-2$, and HCO$^+$ $J=4-3$ ALMA observations of each target, and we introduce a procedure for modeling interferometric observations of gas disks detected in absorption against a bright molecular cloud background. We find that the ONC disks are massive and compact, with typical radii $<100$ AU, gas masses $\geq10^{-3}$ $M_{\odot}$, and gas-to-dust ratios $\geq100$. The ISM-like gas-to-dust ratios derived from our modeling suggest that compact, externally-irradiated disks in the ONC are less prone to gas-phase CO depletion than the massive and extended gas disks that are commonly found in nearby low-mass star-forming regions. The presence of massive gas disks indicates that external photoevaporation may have only recently begun operating in the ONC, though it remains unclear whether other cluster members are older and more evaporated than the ones in our sample. Finally, we compare our dynamically-derived stellar masses with the stellar masses predicted from evolutionary models and find excellent agreement. Our study has significantly increased the number of dynamical mass measurements in the mass range $\leq 0.5$ $M_{\odot}$, demonstrating that the ONC is an ideal region for obtaining large samples of dynamical mass measurements towards low-mass M-dwarfs. △ Less

Submitted 22 December, 2022; originally announced December 2022.

Comments: 53 pages, 41 figures, 5 tables, Accepted for publication in ApJ

Privacy-Preserving Domain Adaptation of Semantic Parsers

Authors: Fatemehsadat Mireshghallah, Yu Su, Tatsunori Hashimoto, Jason Eisner, Richard Shin

Abstract: Task-oriented dialogue systems often assist users with personal or confidential matters. For this reason, the developers of such a system are generally prohibited from observing actual usage. So how can they know where the system is failing and needs more training data or new functionality? In this work, we study ways in which realistic user utterances can be generated synthetically, to help incre… ▽ More Task-oriented dialogue systems often assist users with personal or confidential matters. For this reason, the developers of such a system are generally prohibited from observing actual usage. So how can they know where the system is failing and needs more training data or new functionality? In this work, we study ways in which realistic user utterances can be generated synthetically, to help increase the linguistic and functional coverage of the system, without compromising the privacy of actual users. To this end, we propose a two-stage Differentially Private (DP) generation method which first generates latent semantic parses, and then generates utterances based on the parses. Our proposed approach improves MAUVE by 2.5$\times$ and parse tree function type overlap by 1.3$\times$ relative to current approaches for private synthetic data generation, improving both on fluency and semantic coverage. We further validate our approach on a realistic domain adaptation task of adding new functionality from private user data to a semantic parser, and show overall gains of 8.5% points in accuracy with the new feature. △ Less

Submitted 8 June, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: ACL 2023

A Measure-Theoretic Characterization of Tight Language Models

Authors: Li Du, Lucas Torroba Hennigen, Tiago Pimentel, Clara Meister, Jason Eisner, Ryan Cotterell

Abstract: Language modeling, a central task in natural language processing, involves estimating a probability distribution over strings. In most cases, the estimated distribution sums to 1 over all finite strings. However, in some pathological cases, probability mass can ``leak'' onto the set of infinite sequences. In order to characterize the notion of leakage more precisely, this paper offers a measure-th… ▽ More Language modeling, a central task in natural language processing, involves estimating a probability distribution over strings. In most cases, the estimated distribution sums to 1 over all finite strings. However, in some pathological cases, probability mass can ``leak'' onto the set of infinite sequences. In order to characterize the notion of leakage more precisely, this paper offers a measure-theoretic treatment of language modeling. We prove that many popular language model families are in fact tight, meaning that they will not leak in this sense. We also generalize characterizations of tightness proposed in previous works. △ Less

Submitted 21 August, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: 25 pages; ACL 2023 camera ready

Support expansion $\mathrm C^*$-algebras

Authors: Bruno de Mendonça Braga, Joseph Eisner, David Sherman

Abstract: We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we call support expansion $\mathrm C^*$-algebras. In the discrete setting, support expansion $\mathrm C^*$-algebras are classical uniform Roe algebras, and the con… ▽ More We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we call support expansion $\mathrm C^*$-algebras. In the discrete setting, support expansion $\mathrm C^*$-algebras are classical uniform Roe algebras, and the continuous version featured here provides examples of "measurable" or "quantum" uniform Roe algebras as developed in a companion paper. We find that in contrast to the discrete setting, the poset of support expansion $\mathrm C^*$-algebras inside $\mathcal B(L^2(\mathbb R))$ is extremely rich, with uncountable ascending chains, descending chains, and antichains. △ Less

Submitted 7 November, 2022; originally announced November 2022.

Contrastive Decoding: Open-ended Text Generation as Optimization

Authors: Xiang Lisa Li, Ari Holtzman, Daniel Fried, Percy Liang, Jason Eisner, Tatsunori Hashimoto, Luke Zettlemoyer, Mike Lewis

Abstract: Given a language model (LM), maximum probability is a poor decoding objective for open-ended generation, because it produces short and repetitive text. On the other hand, sampling can often produce incoherent text that drifts from the original topics. We propose contrastive decoding (CD), a reliable decoding approach that optimizes a contrastive objective subject to a plausibility constraint. The… ▽ More Given a language model (LM), maximum probability is a poor decoding objective for open-ended generation, because it produces short and repetitive text. On the other hand, sampling can often produce incoherent text that drifts from the original topics. We propose contrastive decoding (CD), a reliable decoding approach that optimizes a contrastive objective subject to a plausibility constraint. The contrastive objective returns the difference between the likelihood under a large LM (called the expert, e.g. OPT-13B) and a small LM (called the amateur, e.g. OPT-125M), and the constraint ensures that the outputs are plausible. CD is inspired by the fact that the failures of larger LMs (e.g., repetition, incoherence) are even more prevalent in smaller LMs, and that this difference signals which texts should be preferred. CD requires zero additional training, and produces higher quality text than decoding from the larger LM alone. It also works across model scales (OPT-13B and GPT2-1.5B) and significantly outperforms four strong decoding algorithms (e.g., nucleus, top-k) in automatic and human evaluations across wikipedia, news and story domains. △ Less

Submitted 10 July, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: Main conference long paper at ACL 2023

The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction and Constrained Decoding

Authors: Hao Fang, Anusha Balakrishnan, Harsh Jhamtani, John Bufe, Jean Crawford, Jayant Krishnamurthy, Adam Pauls, Jason Eisner, Jacob Andreas, Dan Klein

Abstract: In a real-world dialogue system, generated text must be truthful and informative while remaining fluent and adhering to a prescribed style. Satisfying these constraints simultaneously is difficult for the two predominant paradigms in language generation: neural language modeling and rule-based generation. We describe a hybrid architecture for dialogue response generation that combines the strength… ▽ More In a real-world dialogue system, generated text must be truthful and informative while remaining fluent and adhering to a prescribed style. Satisfying these constraints simultaneously is difficult for the two predominant paradigms in language generation: neural language modeling and rule-based generation. We describe a hybrid architecture for dialogue response generation that combines the strengths of both paradigms. The first component of this architecture is a rule-based content selection model defined using a new formal framework called dataflow transduction, which uses declarative rules to transduce a dialogue agent's actions and their results (represented as dataflow graphs) into context-free grammars representing the space of contextually acceptable responses. The second component is a constrained decoding procedure that uses these grammars to constrain the output of a neural language model, which selects fluent utterances. Our experiments show that this system outperforms both rule-based and learned approaches in human evaluations of fluency, relevance, and truthfulness. △ Less

Submitted 26 May, 2023; v1 submitted 16 September, 2022; originally announced September 2022.

Comments: Findings of ACL 2023

On the Intersection of Context-Free and Regular Languages

Authors: Clemente Pasti, Andreas Opedal, Tiago Pimentel, Tim Vieira, Jason Eisner, Ryan Cotterell

Abstract: The Bar-Hillel construction is a classic result in formal language theory. It shows, by a simple construction, that the intersection of a context-free language and a regular language is itself context-free. In the construction, the regular language is specified by a finite-state automaton. However, neither the original construction (Bar-Hillel et al., 1961) nor its weighted extension (Nederhof and… ▽ More The Bar-Hillel construction is a classic result in formal language theory. It shows, by a simple construction, that the intersection of a context-free language and a regular language is itself context-free. In the construction, the regular language is specified by a finite-state automaton. However, neither the original construction (Bar-Hillel et al., 1961) nor its weighted extension (Nederhof and Satta, 2003) can handle finite-state automata with $\varepsilon$-arcs. While it is possible to remove $\varepsilon$-arcs from a finite-state automaton efficiently without modifying the language, such an operation modifies the automaton's set of paths. We give a construction that generalizes the Bar-Hillel in the case where the desired automaton has $\varepsilon$-arcs, and further prove that our generalized construction leads to a grammar that encodes the structure of both the input automaton and grammar while retaining the asymptotic size of the original construction. △ Less

Submitted 18 May, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: EACL 2023 camera ready version. Our code is available in https://github.com/rycolab/bar-hillel

BenchCLAMP: A Benchmark for Evaluating Language Models on Syntactic and Semantic Parsing

Authors: Subhro Roy, Sam Thomson, Tongfei Chen, Richard Shin, Adam Pauls, Jason Eisner, Benjamin Van Durme

Abstract: Recent work has shown that generation from a prompted or fine-tuned language model can perform well at semantic parsing when the output is constrained to be a valid semantic representation. We introduce BenchCLAMP, a Benchmark to evaluate Constrained LAnguage Model Parsing, that includes context-free grammars for seven semantic parsing datasets and two syntactic parsing datasets with varied output… ▽ More Recent work has shown that generation from a prompted or fine-tuned language model can perform well at semantic parsing when the output is constrained to be a valid semantic representation. We introduce BenchCLAMP, a Benchmark to evaluate Constrained LAnguage Model Parsing, that includes context-free grammars for seven semantic parsing datasets and two syntactic parsing datasets with varied output representations, as well as a constrained decoding interface to generate only valid outputs covered by these grammars. We provide low, medium, and high resource splits for each dataset, allowing accurate comparison of various language models under different data regimes. Our benchmark supports evaluation of language models using prompt-based learning as well as fine-tuning. We benchmark eight language models, including two GPT-3 variants available only through an API. Our experiments show that encoder-decoder pretrained language models can achieve similar performance or surpass state-of-the-art methods for syntactic and semantic parsing when the model output is constrained to be valid. △ Less

Submitted 10 January, 2024; v1 submitted 21 June, 2022; originally announced June 2022.

Comments: Neural Information Processing Systems (NeurIPS 2023) Track on Datasets and Benchmarks

Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL

Authors: Ruiqi Zhong, Charlie Snell, Dan Klein, Jason Eisner

Abstract: Can non-programmers annotate natural language utterances with complex programs that represent their meaning? We introduce APEL, a framework in which non-programmers select among candidate programs generated by a seed semantic parser (e.g., Codex). Since they cannot understand the candidate programs, we ask them to select indirectly by examining the programs' input-ouput examples. For each utteranc… ▽ More Can non-programmers annotate natural language utterances with complex programs that represent their meaning? We introduce APEL, a framework in which non-programmers select among candidate programs generated by a seed semantic parser (e.g., Codex). Since they cannot understand the candidate programs, we ask them to select indirectly by examining the programs' input-ouput examples. For each utterance, APEL actively searches for a simple input on which the candidate programs tend to produce different outputs. It then asks the non-programmers only to choose the appropriate output, thus allowing us to infer which program is correct and could be used to fine-tune the parser. As a first case study, we recruited human non-programmers to use APEL to re-annotate SPIDER, a text-to-SQL dataset. Our approach achieved the same annotation accuracy as the original expert annotators (75%) and exposed many subtle errors in the original annotations. △ Less

Submitted 23 October, 2023; v1 submitted 24 May, 2022; originally announced May 2022.

When More Data Hurts: A Troubling Quirk in Develo** Broad-Coverage Natural Language Understanding Systems

Authors: Elias Stengel-Eskin, Emmanouil Antonios Platanios, Adam Pauls, Sam Thomson, Hao Fang, Benjamin Van Durme, Jason Eisner, Yu Su

Abstract: In natural language understanding (NLU) production systems, users' evolving needs necessitate the addition of new features over time, indexed by new symbols added to the meaning representation space. This requires additional training data and results in ever-growing datasets. We present the first systematic investigation of this incremental symbol learning scenario. Our analysis reveals a troublin… ▽ More In natural language understanding (NLU) production systems, users' evolving needs necessitate the addition of new features over time, indexed by new symbols added to the meaning representation space. This requires additional training data and results in ever-growing datasets. We present the first systematic investigation of this incremental symbol learning scenario. Our analysis reveals a troubling quirk in building broad-coverage NLU systems: as the training dataset grows, performance on the new symbol often decreases if we do not accordingly increase its training data. This suggests that it becomes more difficult to learn new symbols with a larger training dataset. We show that this trend holds for multiple mainstream models on two common NLU tasks: intent recognition and semantic parsing. Rejecting class imbalance as the sole culprit, we reveal that the trend is closely associated with an effect we call source signal dilution, where strong lexical cues for the new symbol become diluted as the training dataset grows. Selectively drop** training examples to prevent dilution often reverses the trend, showing the over-reliance of mainstream neural NLU models on simple lexical cues. Code, models, and data are available at https://aka.ms/nlu-incremental-symbol-learning △ Less

Submitted 8 November, 2022; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: EMNLP 2022

ALMA Discovery of a Disk around the Planetary-mass Companion SR 12 c

Authors: Ya-Lin Wu, Brendan P. Bowler, Patrick D. Sheehan, Laird M. Close, Joshua A. Eisner, William M. J. Best, Kimberly Ward-Duong, Zhaohuan Zhu, Adam L. Kraus

Abstract: We report an Atacama Large Millimeter/submillimeter Array 0.88 mm (Band 7) continuum detection of the accretion disk around SR 12 c, an $\sim$11 $M_{\rm Jup}$ planetary-mass companion (PMC) orbiting its host binary at 980 au. This is the first submillimeter detection of a circumplanetary disk around a wide PMC. The disk has a flux density of $127 \pm14~μ$Jy and is not resolved by the $\sim$0.1" be… ▽ More We report an Atacama Large Millimeter/submillimeter Array 0.88 mm (Band 7) continuum detection of the accretion disk around SR 12 c, an $\sim$11 $M_{\rm Jup}$ planetary-mass companion (PMC) orbiting its host binary at 980 au. This is the first submillimeter detection of a circumplanetary disk around a wide PMC. The disk has a flux density of $127 \pm14~μ$Jy and is not resolved by the $\sim$0.1" beam, so the dust disk radius is likely less than 5 au and can be much smaller if the dust continuum is optically thick. If, however, the dust emission is optically thin, then the SR 12 c disk has a comparable dust mass to the circumplanetary disk around PDS 70 c but is about five times lower than that of the $\sim$12 $M_{\rm Jup}$ free-floating OTS 44. This suggests that disks around bound and unbound planetary-mass objects can span a wide range of masses. The gas mass estimated with an accretion rate of $10^{-11}~M_\odot$ yr$^{-1}$ implies a gas-to-dust ratio higher than 100. If cloud absorption is not significant, a nondetection of ${}^{12}$CO(3-2) implies a compact gas disk around SR 12 c. Future sensitive observations may detect more PMC disks at 0.88 mm flux densities of $\lesssim$100 $μ$Jy. △ Less

Submitted 30 April, 2022; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: Published in ApJL

LBT search for companions and sub-structures in the (pre)transitional disk of AB Aurigae

Authors: Sebastián Jorquera, Mickaël Bonnefoy, Sarah Betti, Gaël Chauvin, Esther Buenzli, Laura M. Pérez, Katherine B. Follette, Philip M. Hinz, Anthony Boccaletti, Vanessa Bailey, Beth Biller, Denis Defrère, Josh Eisner, Thomas Henning, Hubert Klahr, Jarron Leisenring, Johan Olofsson, Joshua E. Schlieder, Andrew J. Skemer, Michael F. Skrutskie, Roy Van Boekel

Abstract: Multi-wavelengths high-resolution imaging of protoplanetary disks has revealed the presence of multiple, varied substructures in their dust and gas components which might be signposts of young, forming planetary systems. AB Aurigae bears an emblematic (pre)transitional disk showing spiral structures observed in the inner cavity of the disk in both the sub-millimeter (ALMA; 1.3mm, $^{12}$CO) and ne… ▽ More Multi-wavelengths high-resolution imaging of protoplanetary disks has revealed the presence of multiple, varied substructures in their dust and gas components which might be signposts of young, forming planetary systems. AB Aurigae bears an emblematic (pre)transitional disk showing spiral structures observed in the inner cavity of the disk in both the sub-millimeter (ALMA; 1.3mm, $^{12}$CO) and near-infrared (SPHERE; 1.5-2.5$μ$m) wavelengths which have been claimed to arise from dynamical interactions with a massive companion. In this work, we present new deep $K_s$ (2.16$μ$m) and L' (3.7$μ$m) band images of AB Aurigae obtained with LMIRCam on the Large Binocular Telescope, aimed for the detection of both planetary companions and extended disk structures. No point source is recovered, in particular at the outer regions of the disk, where a putative candidate ($ρ= 0.681", PA = 7.6^{\circ}$) had been previously claimed. The nature of a second innermost planet candidate ($ρ= 0.16'', PA = 203.9^{\circ}$) can not be investigated by the new data. We are able to derive 5$σ$ detection limits in both magnitude and mass for the system, going from 14 \Mjup at 0.3'' (49 au) down to 3-4 \Mjup at 0.6'' (98 au) and beyond, based on the ATMO 2020 evolutionary models. We detect the inner spiral structures (< 0.5'') resolved in both CO and polarimetric H-band observations. We also recover the ring structure of the system at larger separation (0.5-0.7") showing a clear south-east/north-west asymmetry. This structure, observed for the first time at L'-band, remains interior to the dust cavity seen at ALMA, suggesting an efficient dust trap** mechanism at play in the disk. △ Less

Submitted 10 February, 2022; v1 submitted 21 January, 2022; originally announced January 2022.

Comments: 13 pages, 5 figures, accepted on ApJ

Transformer Embeddings of Irregularly Spaced Events and Their Participants

Authors: Chenghao Yang, Hongyuan Mei, Jason Eisner

Abstract: The neural Hawkes process (Mei & Eisner, 2017) is a generative model of irregularly spaced sequences of discrete events. To handle complex domains with many event types, Mei et al. (2020a) further consider a setting in which each event in the sequence updates a deductive database of facts (via domain-specific pattern-matching rules); future events are then conditioned on the database contents. The… ▽ More The neural Hawkes process (Mei & Eisner, 2017) is a generative model of irregularly spaced sequences of discrete events. To handle complex domains with many event types, Mei et al. (2020a) further consider a setting in which each event in the sequence updates a deductive database of facts (via domain-specific pattern-matching rules); future events are then conditioned on the database contents. They show how to convert such a symbolic system into a neuro-symbolic continuous-time generative model, in which each database fact and the possible event has a time-varying embedding that is derived from its symbolic provenance. In this paper, we modify both models, replacing their recurrent LSTM-based architectures with flatter attention-based architectures (Vaswani et al., 2017), which are simpler and more parallelizable. This does not appear to hurt our accuracy, which is comparable to or better than that of the original models as well as (where applicable) previous attention-based methods (Zuo et al., 2020; Zhang et al., 2020a). △ Less

Submitted 6 May, 2022; v1 submitted 31 December, 2021; originally announced January 2022.

Comments: ICLR 2022 Final

Small Protoplanetary Disks in the Orion Nebula Cluster and OMC1 with ALMA

Authors: Justin Otter, Adam Ginsburg, Nicholas P. Ballering, John Bally, J. A. Eisner, Ciriaco Goddi, Richard Plambeck, Melvyn Wright

Abstract: The Orion Nebula Cluster (ONC) is the nearest dense star-forming region at $\sim$400 pc away, making it an ideal target to study the impact of high stellar density and proximity to massive stars (the Trapezium) on protoplanetary disk evolution. The OMC1 molecular cloud is a region of high extinction situated behind the Trapezium in which actively forming stars are shielded from the Trapezium's str… ▽ More The Orion Nebula Cluster (ONC) is the nearest dense star-forming region at $\sim$400 pc away, making it an ideal target to study the impact of high stellar density and proximity to massive stars (the Trapezium) on protoplanetary disk evolution. The OMC1 molecular cloud is a region of high extinction situated behind the Trapezium in which actively forming stars are shielded from the Trapezium's strong radiation. In this work, we survey disks at high resolution with ALMA at three wavelengths with resolutions of 0.095\arcsec (3 mm; Band 3), 0.048\arcsec (1.3 mm; Band 6), and 0.030\arcsec (0.85 mm; Band 7) centered on radio Source I. We detect 127 sources, including 15 new sources that have not previously been detected at any wavelength. 72 sources are spatially resolved at 3 mm, with sizes from $\sim$8 - 100 AU. We classify 76 infrared-detected sources as foreground ONC disks and the remainder as embedded OMC1 disks. The two samples have similar disk sizes, but the OMC1 sources have a dense and centrally concentrated spatial distribution, indicating they may constitute a spatially distinct subcluster. We find smaller disk sizes and a lack of large (>75 AU) disks in both our samples compared to other nearby star-forming regions, indicating that environmental disk truncation processes are significant. While photoevaporation from nearby massive Trapezium stars may account for the smaller disks in the ONC, the embedded sources in OMC1 are hidden from this radiation and thus must truncated by some other mechanism, possibly dynamical truncation or accretion-driven contraction. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: Accepted in The Astrophysical Journal, 9/21/2021

Searching for More Efficient Dynamic Programs

Authors: Tim Vieira, Ryan Cotterell, Jason Eisner

Abstract: Computational models of human language often involve combinatorial problems. For instance, a probabilistic parser may marginalize over exponentially many trees to make predictions. Algorithms for such problems often employ dynamic programming and are not always unique. Finding one with optimal asymptotic runtime can be unintuitive, time-consuming, and error-prone. Our work aims to automate this la… ▽ More Computational models of human language often involve combinatorial problems. For instance, a probabilistic parser may marginalize over exponentially many trees to make predictions. Algorithms for such problems often employ dynamic programming and are not always unique. Finding one with optimal asymptotic runtime can be unintuitive, time-consuming, and error-prone. Our work aims to automate this laborious process. Given an initial correct declarative program, we search for a sequence of semantics-preserving transformations to improve its running time as much as possible. To this end, we describe a set of program transformations, a simple metric for assessing the efficiency of a transformed program, and a heuristic search procedure to improve this metric. We show that in practice, automated search -- like the mental search performed by human programmers -- can find substantial improvements to the initial program. Empirically, we show that many common speed-ups described in the NLP literature could have been discovered automatically by our system. △ Less

Submitted 14 September, 2021; originally announced September 2021.

Constrained Language Models Yield Few-Shot Semantic Parsers

Authors: Richard Shin, Christopher H. Lin, Sam Thomson, Charles Chen, Subhro Roy, Emmanouil Antonios Platanios, Adam Pauls, Dan Klein, Jason Eisner, Benjamin Van Durme

Abstract: We explore the use of large pretrained language models as few-shot semantic parsers. The goal in semantic parsing is to generate a structured meaning representation given a natural language input. However, language models are trained to generate natural language. To bridge the gap, we use language models to paraphrase inputs into a controlled sublanguage resembling English that can be automaticall… ▽ More We explore the use of large pretrained language models as few-shot semantic parsers. The goal in semantic parsing is to generate a structured meaning representation given a natural language input. However, language models are trained to generate natural language. To bridge the gap, we use language models to paraphrase inputs into a controlled sublanguage resembling English that can be automatically mapped to a target meaning representation. Our results demonstrate that with only a small amount of data and very little code to convert into English-like representations, our blueprint for rapidly bootstrap** semantic parsers leads to surprisingly effective performance on multiple community tasks, greatly exceeding baseline methods also trained on the same limited data. △ Less

Submitted 16 November, 2021; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: EMNLP 2021. Code is available at https://github.com/microsoft/semantic_parsing_with_constrained_lm

Learning How to Ask: Querying LMs with Mixtures of Soft Prompts

Authors: Guanghui Qin, Jason Eisner

Abstract: Natural-language prompts have recently been used to coax pretrained language models into performing other AI tasks, using a fill-in-the-blank paradigm (Petroni et al., 2019) or a few-shot extrapolation paradigm (Brown et al., 2020). For example, language models retain factual knowledge from their training corpora that can be extracted by asking them to "fill in the blank" in a sentential prompt. H… ▽ More Natural-language prompts have recently been used to coax pretrained language models into performing other AI tasks, using a fill-in-the-blank paradigm (Petroni et al., 2019) or a few-shot extrapolation paradigm (Brown et al., 2020). For example, language models retain factual knowledge from their training corpora that can be extracted by asking them to "fill in the blank" in a sentential prompt. However, where does this prompt come from? We explore the idea of learning prompts by gradient descent -- either fine-tuning prompts taken from previous work, or starting from random initialization. Our prompts consist of "soft words," i.e., continuous vectors that are not necessarily word type embeddings from the language model. Furthermore, for each task, we optimize a mixture of prompts, learning which prompts are most effective and how to ensemble them. Across multiple English LMs and tasks, our approach hugely outperforms previous methods, showing that the implicit factual knowledge in language models was previously underestimated. Moreover, this knowledge is cheap to elicit: random initialization is nearly as good as informed initialization. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Comments: NAACL-HLT 2021 camera-ready

ELT Imaging of MWC 297 from the 23-m LBTI: Complex Disk Structure and a Companion Candidate

Authors: Steph Sallum, Josh Eisner, Jordan Stone, Jeremy Dietrich, Phil Hinz, Eckhart Spalding

Abstract: Herbig Ae/Be stars represent the early outcomes of star formation and the initial stages of planet formation at intermediate stellar masses. Understanding both of these processes requires detailed characterization of their disk structures and companion frequencies. We present new 3.7 micron imaging of the Herbig Be star MWC 297 from non-redundant masking observations on the phase-controlled, 23-m… ▽ More Herbig Ae/Be stars represent the early outcomes of star formation and the initial stages of planet formation at intermediate stellar masses. Understanding both of these processes requires detailed characterization of their disk structures and companion frequencies. We present new 3.7 micron imaging of the Herbig Be star MWC 297 from non-redundant masking observations on the phase-controlled, 23-m Large Binocular Telescope Interferometer. The images reveal complex disk structure on the scales of several au, as well as a companion candidate. We discuss physical interpretations for these features, and demonstrate that the imaging results are independent of choices such as priors, regularization hyperparameters, and error bar estimates. With an angular resolution of ~17 mas, these data provide the first robust ELT-resolution view of a distant young star. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Comments: accepted for publication in AJ; 27 pages; 19 figures

Noise-Contrastive Estimation for Multivariate Point Processes

Authors: Hongyuan Mei, Tom Wan, Jason Eisner

Abstract: The log-likelihood of a generative model often involves both positive and negative terms. For a temporal multivariate point process, the negative term sums over all the possible event types at each time and also integrates over all the possible times. As a result, maximum likelihood estimation is expensive. We show how to instead apply a version of noise-contrastive estimation---a general paramete… ▽ More The log-likelihood of a generative model often involves both positive and negative terms. For a temporal multivariate point process, the negative term sums over all the possible event types at each time and also integrates over all the possible times. As a result, maximum likelihood estimation is expensive. We show how to instead apply a version of noise-contrastive estimation---a general parameter estimation method with a less expensive stochastic objective. Our specific instantiation of this general idea works out in an interestingly non-trivial way and has provable guarantees for its optimality, consistency and efficiency. On several synthetic and real-world datasets, our method shows benefits: for the model to achieve the same level of log-likelihood on held-out data, our method needs considerably fewer function evaluations and less wall-clock time. △ Less

Submitted 1 November, 2020; originally announced November 2020.

Comments: NeurIPS 2020 camera-ready

Limitations of Autoregressive Models and Their Alternatives

Authors: Chu-Cheng Lin, Aaron Jaech, Xin Li, Matthew R. Gormley, Jason Eisner

Abstract: Standard autoregressive language models perform only polynomial-time computation to compute the probability of the next symbol. While this is attractive, it means they cannot model distributions whose next-symbol probability is hard to compute. Indeed, they cannot even model them well enough to solve associated easy decision problems for which an engineer might want to consult a language model. Th… ▽ More Standard autoregressive language models perform only polynomial-time computation to compute the probability of the next symbol. While this is attractive, it means they cannot model distributions whose next-symbol probability is hard to compute. Indeed, they cannot even model them well enough to solve associated easy decision problems for which an engineer might want to consult a language model. These limitations apply no matter how much computation and data are used to train the model, unless the model is given access to oracle parameters that grow superpolynomially in sequence length. Thus, simply training larger autoregressive language models is not a panacea for NLP. Alternatives include energy-based models (which give up efficient sampling) and latent-variable autoregressive models (which give up efficient scoring of a given string). Both are powerful enough to escape the above limitations. △ Less

Submitted 30 May, 2021; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: NAACL 2021 (same content, more relaxed layout)

Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations

Authors: Matthew Francis-Landau, Tim Vieira, Jason Eisner

Abstract: We present a scheme for translating logic programs, which may use aggregation and arithmetic, into algebraic expressions that denote bag relations over ground terms of the Herbrand universe. To evaluate queries against these relations, we develop an operational semantics based on term rewriting of the algebraic expressions. This approach can exploit arithmetic identities and recovers a range of us… ▽ More We present a scheme for translating logic programs, which may use aggregation and arithmetic, into algebraic expressions that denote bag relations over ground terms of the Herbrand universe. To evaluate queries against these relations, we develop an operational semantics based on term rewriting of the algebraic expressions. This approach can exploit arithmetic identities and recovers a range of useful strategies, including lazy strategies that defer work until it becomes possible or necessary. △ Less

Submitted 20 October, 2020; originally announced October 2020.

Comments: An earlier version of this paper appeared at WRLA 2020

Betelgeuse scope: Single-mode-fibers-assisted optical interferometer design for dedicated stellar activity monitoring

Authors: Narsireddy Anugu, Katie M. Morzinski, Josh Eisner, Ewan Douglas, Dan Marrone, Steve Ertel, Sebastiaan Haffert, Oscar Montoya, Jordan Stone, Stefan Kraus, John Monnier, Jean-Baptiste Lebouquin, Jean-Philippe Berger, Julien Woillez, Miguel Montargès

Abstract: Betelgeuse has gone through a sudden shift in its brightness and dimmed mysteriously. This is likely caused by a hot blob of plasma ejected from Betelgeuse and then cooled to obscuring dust. If true, it is a remarkable opportunity to directly witness the formation of dust around a red supergiant star. Today's optical telescope facilities are not optimized for time-evolution monitoring of the Betel… ▽ More Betelgeuse has gone through a sudden shift in its brightness and dimmed mysteriously. This is likely caused by a hot blob of plasma ejected from Betelgeuse and then cooled to obscuring dust. If true, it is a remarkable opportunity to directly witness the formation of dust around a red supergiant star. Today's optical telescope facilities are not optimized for time-evolution monitoring of the Betelgeuse surface, so in this work, we propose a low-cost optical interferometer. The facility will consist of $12 \times 4$ inch optical telescopes mounted on the surface of a large radio dish for interferometric imaging; polarization-maintaining single-mode fibers will carry the coherent beams from the individual optical telescopes to an all-in-one beam combiner. A fast steering mirror assisted fiber injection system guides the flux into fibers. A metrology system senses vibration-induced piston errors in optical fibers, and these errors are corrected using fast-steering delay lines. We will present the design. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: Presented at SPIE Optics+Photonics conference, 9 pages, 3 figures

Report number: Proc. SPIE 11490, Interferometry XX, 114900X, 21 August 2020

Task-Oriented Dialogue as Dataflow Synthesis

Authors: Semantic Machines, Jacob Andreas, John Bufe, David Burkett, Charles Chen, Josh Clausman, Jean Crawford, Kate Crim, Jordan DeLoach, Leah Dorner, Jason Eisner, Hao Fang, Alan Guo, David Hall, Kristin Hayes, Kellie Hill, Diana Ho, Wendy Iwaszuk, Smriti Jha, Dan Klein, Jayant Krishnamurthy, Theo Lanman, Percy Liang, Christopher H Lin, Ilya Lintsbakh , et al. (21 additional authors not shown)

Abstract: We describe an approach to task-oriented dialogue in which dialogue state is represented as a dataflow graph. A dialogue agent maps each user utterance to a program that extends this graph. Programs include metacomputation operators for reference and revision that reuse dataflow fragments from previous turns. Our graph-based state enables the expression and manipulation of complex user intents, an… ▽ More We describe an approach to task-oriented dialogue in which dialogue state is represented as a dataflow graph. A dialogue agent maps each user utterance to a program that extends this graph. Programs include metacomputation operators for reference and revision that reuse dataflow fragments from previous turns. Our graph-based state enables the expression and manipulation of complex user intents, and explicit metacomputation makes these intents easier for learned models to predict. We introduce a new dataset, SMCalFlow, featuring complex dialogues about events, weather, places, and people. Experiments show that dataflow graphs and metacomputation substantially improve representability and predictability in these natural dialogues. Additional experiments on the MultiWOZ dataset show that our dataflow representation enables an otherwise off-the-shelf sequence-to-sequence model to match the best existing task-specific state tracking model. The SMCalFlow dataset and code for replicating experiments are available at https://www.microsoft.com/en-us/research/project/dataflow-based-dialogue-semantic-machines. △ Less

Submitted 10 February, 2021; v1 submitted 23 September, 2020; originally announced September 2020.

Journal ref: Transactions of the Association for Computational Linguistics 2020 Vol. 8, 556-571

Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification

Authors: Hongyuan Mei, Guanghui Qin, Minjie Xu, Jason Eisner

Abstract: Learning how to predict future events from patterns of past events is difficult when the set of possible event types is large. Training an unrestricted neural model might overfit to spurious patterns. To exploit domain-specific knowledge of how past events might affect an event's present probability, we propose using a temporal deductive database to track structured facts over time. Rules serve to… ▽ More Learning how to predict future events from patterns of past events is difficult when the set of possible event types is large. Training an unrestricted neural model might overfit to spurious patterns. To exploit domain-specific knowledge of how past events might affect an event's present probability, we propose using a temporal deductive database to track structured facts over time. Rules serve to prove facts from other facts and from past events. Each fact has a time-varying state---a vector computed by a neural net whose topology is determined by the fact's provenance, including its experience of past events. The possible event types at any time are given by special facts, whose probabilities are neurally modeled alongside their states. In both synthetic and real-world domains, we show that neural probabilistic models derived from concise Datalog programs improve prediction by encoding appropriate domain knowledge in their architecture. △ Less

Submitted 16 August, 2020; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: ICML 2020 camera-ready (new Appendix A.3, rewritten Appendix F)

A Corpus for Large-Scale Phonetic Typology

Authors: Elizabeth Salesky, Eleanor Chodroff, Tiago Pimentel, Matthew Wiesner, Ryan Cotterell, Alan W Black, Jason Eisner

Abstract: A major hurdle in data-driven research on typology is having sufficient data in many languages to draw meaningful conclusions. We present VoxClamantis v1.0, the first large-scale corpus for phonetic typology, with aligned segments and estimated phoneme-level labels in 690 readings spanning 635 languages, along with acoustic-phonetic measures of vowels and sibilants. Access to such data can greatly… ▽ More A major hurdle in data-driven research on typology is having sufficient data in many languages to draw meaningful conclusions. We present VoxClamantis v1.0, the first large-scale corpus for phonetic typology, with aligned segments and estimated phoneme-level labels in 690 readings spanning 635 languages, along with acoustic-phonetic measures of vowels and sibilants. Access to such data can greatly facilitate investigation of phonetic typology at a large scale and across many languages. However, it is non-trivial and computationally intensive to obtain such alignments for hundreds of languages, many of which have few to no resources presently available. We describe the methodology to create our corpus, discuss caveats with current methods and their impact on the utility of this data, and illustrate possible research directions through a series of case studies on the 48 highest-quality readings. Our corpus and scripts are publicly available for non-commercial use at https://voxclamantisproject.github.io. △ Less

Submitted 28 May, 2020; originally announced May 2020.

Comments: Accepted to ACL2020

Protoplanetary disk masses in NGC 2024: Evidence for two populations

Authors: Sierk E. van Terwisga, Ewine F. van Dishoeck, Rita K. Mann, James Di Francesco, Nienke van der Marel, Michael Meyer, Sean M. Andrews, John Carpenter, Josh A. Eisner, Carlo F. Manara, Jonathan P. Williams

Abstract: Protoplanetary disks in dense, massive star-forming regions are strongly affected by their environment. How this environmental impact changes over time is an important constraint on disk evolution and external photoevaporation models. We characterize the dust emission from 179 disks in the core of the young (0.5 Myr) NGC 2024 cluster. By studying how the disk mass varies within the cluster, and co… ▽ More Protoplanetary disks in dense, massive star-forming regions are strongly affected by their environment. How this environmental impact changes over time is an important constraint on disk evolution and external photoevaporation models. We characterize the dust emission from 179 disks in the core of the young (0.5 Myr) NGC 2024 cluster. By studying how the disk mass varies within the cluster, and comparing these disks to those in other regions, we aim to determine how external photoevaporation influences disk properties over time. Using the Atacama Large Millimeter/submillimeter Array, a 2.9' x 2.9' mosaic centered on NGC 2024 FIR 3 was observed at 225 GHz with a resolution of 0.25'', or ~100 AU. The imaged region contains 179 disks identified at IR wavelengths, seven new disk candidates, and several protostars. The overall detection rate of disks is $32 \pm 4\%$. Few of the disks are resolved, with the exception of a giant (R = 300 AU) transition disk. Serendipitously, we observe a millimeter flare from an X-ray bright young stellar object (YSO), and resolve continuum emission from a Class 0 YSO in the FIR 3 core. Two distinct disk populations are present: a more massive one in the east, along the dense molecular ridge hosting the FIR 1-5 YSOs, with a detection rate of $45 \pm 7\%$. In the western population, towards IRS 1, only $15 \pm 4\%$ of disks are detected. NGC 2024 hosts two distinct disk populations. Disks along the dense molecular ridge are young (0.2 - 0.5 Myr) and partly shielded from the far ultraviolet radiation of IRS 2b; their masses are similar to isolated 1 - 3 Myr old SFRs. The western population is older and at lower extinctions, and may be affected by external photoevaporation from both IRS 1 and IRS 2b. However, it is possible these disks had lower masses to begin with. △ Less

Submitted 28 April, 2020; originally announced April 2020.

Comments: Accepted for publication in A&A; 19 pages, 13 figures. Key results shown in Fig. 8 & 10

Protoplanetary Disks in the Orion Nebula Cluster: Gas Disk Morphologies and Kinematics as seen with ALMA

Authors: Ryan D. Boyden, Josh A. Eisner

Abstract: We present Atacama Large Millimeter Array CO(3$-$2) and HCO$^+$(4$-$3) observations covering the central $1\rlap{.}'5$$\times$$1\rlap{.}'5$ region of the Orion Nebula Cluster (ONC). The unprecedented level of sensitivity ($\sim$0.1 mJy beam$^{-1}$) and angular resolution ($\sim$$0\rlap{.}''09 \approx 35$ AU) of these line observations enable us to search for gas-disk detections towards the known p… ▽ More We present Atacama Large Millimeter Array CO(3$-$2) and HCO$^+$(4$-$3) observations covering the central $1\rlap{.}'5$$\times$$1\rlap{.}'5$ region of the Orion Nebula Cluster (ONC). The unprecedented level of sensitivity ($\sim$0.1 mJy beam$^{-1}$) and angular resolution ($\sim$$0\rlap{.}''09 \approx 35$ AU) of these line observations enable us to search for gas-disk detections towards the known positions of submillimeter-detected dust disks in this region. We detect 23 disks in gas: 17 in CO(3$-$2), 17 in HCO$^+$(4$-$3), and 11 in both lines. Depending on where the sources are located in the ONC, we see the line detections in emission, in absorption against the warm background, or in both emission and absorption. We spectrally resolve the gas with $0.5$ km s$^{-1}$ channels, and find that the kinematics of most sources are consistent with Keplerian rotation. We measure the distribution of gas-disk sizes and find typical radii of $\sim$50-200 AU. As such, gas disks in the ONC are compact in comparison with the gas disks seen in low-density star-forming regions. Gas sizes are universally larger than the dust sizes. However, the gas and dust sizes are not strongly correlated. We find a positive correlation between gas size and distance from the massive star $θ^1$ Ori C, indicating that disks in the ONC are influenced by photoionization. Finally, we use the observed kinematics of the detected gas lines to model Keplerian rotation and infer the masses of the central pre-main-sequence stars. Our dynamically-derived stellar masses are not consistent with the spectroscopically-derived masses, and we discuss possible reasons for this discrepancy. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: 42 pages, 31 figures

Specializing Word Embeddings (for Parsing) by Information Bottleneck

Authors: Xiang Lisa Li, Jason Eisner

Abstract: Pre-trained word embeddings like ELMo and BERT contain rich syntactic and semantic information, resulting in state-of-the-art performance on various tasks. We propose a very fast variational information bottleneck (VIB) method to nonlinearly compress these embeddings, kee** only the information that helps a discriminative parser. We compress each word embedding to either a discrete tag or a cont… ▽ More Pre-trained word embeddings like ELMo and BERT contain rich syntactic and semantic information, resulting in state-of-the-art performance on various tasks. We propose a very fast variational information bottleneck (VIB) method to nonlinearly compress these embeddings, kee** only the information that helps a discriminative parser. We compress each word embedding to either a discrete tag or a continuous vector. In the discrete version, our automatically compressed tags form an alternative tag set: we show experimentally that our tags capture most of the information in traditional POS tag annotations, but our tag sequences can be parsed more accurately at the same level of tag granularity. In the continuous version, we show experimentally that moderately compressing the word embeddings by our method yields a more accurate parser in 8 of 9 languages, unlike simple dimensionality reduction. △ Less

Submitted 30 September, 2019; originally announced October 2019.

Comments: Accepted for publication at EMNLP 2019

New Spatially Resolved Imaging of the SR 21 Transition Disk and Constraints on the Small-Grain Disk Geometry

Authors: Steph Sallum, Andy Skemer, Josh Eisner, Nienke van der Marel, Patrick Sheehan, Laird Close, Mike Ireland, Jared Males, Katie Morzinski, Vanessa Bailey, Runa Briguglio, Alfio Puglisi

Abstract: We present new 0.6 - 4 $μ$m imaging of the SR 21 transition disk from Keck/NIRC2 and Magellan/MagAO. The protoplanetary disk around SR 21 has a large (~ 30 - 40 AU) clearing first inferred from its spectral energy distribution and later detected in sub-millimeter imaging. Both the gas and small dust grains are known to have a different morphology, with an inner truncation in CO at ~7 AU, and micro… ▽ More We present new 0.6 - 4 $μ$m imaging of the SR 21 transition disk from Keck/NIRC2 and Magellan/MagAO. The protoplanetary disk around SR 21 has a large (~ 30 - 40 AU) clearing first inferred from its spectral energy distribution and later detected in sub-millimeter imaging. Both the gas and small dust grains are known to have a different morphology, with an inner truncation in CO at ~7 AU, and micron-sized dust detected within the millimeter clearing. Previous near-infrared imaging could not distinguish between an inner dust disk with a truncation at ~7 AU or one that extended to the sublimation radius. The imaging data presented here require an inner dust disk radius of a few AU, and complex structure such as a warp or spiral. We present a parametric warped disk model that can reproduce the observations. Reconciling the images with the spectral energy distribution gathered from the literature suggests grain growth to ~2 - 5 $μ$m within the sub-millimeter clearing. The complex disk structure and possible grain growth can be connected to dynamical sha** by a giant-planet mass companion, a scenario supported by previous observational and theoretical studies. △ Less

Submitted 10 September, 2019; v1 submitted 20 August, 2019; originally announced August 2019.

Comments: 22 pages, 14 figures, accepted for publication in ApJ