11 citations · 12 across the 2 of their papers we have counts for
4 papers
Distillation, Self-Training, and the Fragility of Learned Chemical Reasoning
Anagha Aneesh, Sebastian Ibarraran, Frank Hu +2
Automating synthesis planning for small-molecule drug design requires chemical reasoners that are accurate as well as open to inspection and adaptation, yet frontier language model…
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments
Jason Xinyu Liu, Ziyi Yang, Ifrah Idrees +4
Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal…
Dialogue Object Search
Monica Roy, Kaiyu Zheng, Jason Liu +1
We envision robots that can collaborate and communicate seamlessly with humans. It is necessary for such robots to decide both what to say and how to act, while interacting with hu…
TypeWriter: Neural Type Prediction with Search-based Validation
Michael Pradel, Georgios Gousios, Jason Liu +1
Maintaining large code bases written in dynamically typed languages, such as JavaScript or Python, can be challenging due to the absence of type annotations: simple data compatibil…