symbolic-verifiers

本文介绍了面向大语言模型的情境信念管理（CBM）以处理长期信息，提出了用于评估的BeliefTrack基准，并展示了强化学习和表示层面引导显著减少了信念管理失败。