Artikel dengan mandat akses publik - Jing XiongPelajari lebih lanjut
Tersedia di suatu tempat: 1
Dt-solver: Automated theorem proving with dynamic-tree sampling guided by proof-level value function
H Wang, Y Yuan, Z Liu, J Shen, Y Yin, J Xiong, E Xie, H Shi, Y Li, L Li, ...
Proceedings of the 61st Annual Meeting of the Association for Computational …, 2023
Mandat: National Natural Science Foundation of China
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer