Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form

Abstract

Advancements in the capabilities of Large Language Models (LLMs) have created a promising foundation for developing autonomous agents. With the right tools, these agents could learn to solve tasks in new environments by accumulating and updating their knowledge. Current LLM-based agents process past experiences using a full history of observations, summarization, retrieval augmentation. However, these unstructured memory representations do not facilitate the reasoning and planning essential for complex decision-making. In our study, we introduce AriGraph, a novel method wherein the agent constructs and updates a memory graph that integrates semantic and episodic memories while exploring the environment. We demonstrate that our Ariadne LLM agent, consisting of the proposed memory architecture augmented with planning and decision-making, effectively handles complex tasks within interactive text game environments difficult even for human players. Results show that our approach markedly outperforms other established memory methods and strong RL baselines in a range of problems of varying complexity. Additionally, AriGraph demonstrates competitive performance compared to dedicated knowledge graph-based methods in static multi-hop question-answering.

Cite

Text

Benamira et al. "Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form." International Joint Conference on Artificial Intelligence, 2024. doi:10.24963/ijcai.2024/2

Markdown

[Benamira et al. "Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/benamira2024ijcai-truth/) doi:10.24963/ijcai.2024/2

BibTeX

@inproceedings{benamira2024ijcai-truth,
  title     = {{Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form}},
  author    = {Benamira, Adrien and Peyrin, Thomas and Yap, Trevor and Guérand, Tristan and Hooi, Bryan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {13-21},
  doi       = {10.24963/ijcai.2024/2},
  url       = {https://mlanthology.org/ijcai/2024/benamira2024ijcai-truth/}
}