Title |
---|
![]() Can Large Language Models Analyze Graphs like Professionals? A Benchmark, Datasets and Models Xin Sky Li Weize Chen Qizhi Chu Haopeng Li Zhaojun Sun ...Yiwei Wei Zhiyuan Liu Chuan Shi Maosong Sun Cheng Yang |
![]() Autoformalization of Game Descriptions using Large Language Models Agnieszka Mensfelt Kostas Stathis Vince Trencsenyi |