no code implementations • 24 Mar 2024 • Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
This study delves into a novel aspect, namely logic code simulation, which forces LLMs to emulate logical solvers in predicting the results of logical programs.
no code implementations • 23 Mar 2024 • Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li
ZKP systems have surged attention and held a fundamental role in contemporary cryptography.
