MIT CSAIL researchers create three neurosymbolic methods to help language models build libraries of better abstractions within natural language: LILO assists with code synthesis, Ada helps with AI planning, and LGA guides robotic navigation and manipulation.