*in-person* Meng Fang | Large Language Models Are Neurosymbolic Reasoners


Details
*As the Meetup has reached full capacity, we have now closed RSVPs*
Title: Large Language Models Are Neurosymbolic Reasoners
Paper: https://arxiv.org/abs/2401.09334
Abstract: A wide range of real-world applications is characterized by their symbolic nature, necessitating a strong capability for symbolic reasoning. This paper investigates the potential application of Large Language Models (LLMs) as symbolic reasoners. We focus on text-based games, significant benchmarks for agents with natural language capabilities, particularly in symbolic tasks like math, map reading, sorting, and applying common sense in text-based worlds. To facilitate these agents, we propose an LLM agent designed to tackle symbolic challenges and achieve in-game objectives. We begin by initializing the LLM agent and informing it of its role. The agent then receives observations and a set of valid actions from the text-based games, along with a specific symbolic module. With these inputs, the LLM agent chooses an action and interacts with the game environments. Our experimental results demonstrate that our method significantly enhances the capability of LLMs as automated agents for symbolic reasoning, and our LLM agent is effective in text-based games involving symbolic tasks, achieving an average performance of 88% across all tasks.
Speaker bio: Meng Fang is an Assistant Professor in AI at the University of Liverpool. He is also a visiting professor at Eindhoven University of Technology. His research goal is to build human-like agents that can perform language understanding, reasoning and decision-making. His primary areas include natural language processing (NLP) and reinforcement learning/machine learning (RL/ML). He has published approximately 50 papers in the field of AI and NLP (NeurIPS, ACL, ICLR, etc). Moreover, he has received several paper awards, including the Best Paper Award at the Learning on Graphs (LoG 2022) conference.
Agenda:
6pm - Talk
6:40pm - Q&A session
7pm - Networking
8pm - Close
Please note that the live talk will be recorded and uploaded to the Meetup YouTube channel.
Many thanks to our sponsor, Man Group, for hosting our March Meetup.

Sponsors
*in-person* Meng Fang | Large Language Models Are Neurosymbolic Reasoners