Welcome to Shise's Homepage¶

欢迎光临~ 这里是 ZJU 22 级计科吴晨的主页。我目前研究的方向为 Large Language Model + Theory of mind + formal proving，欢迎一起探讨！