( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.

, , , , и . ICML, том 97 из Proceedings of Machine Learning Research, стр. 454-463. PMLR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Vikas Bansal

Kshitij Srivastava

Kshitij Kulshreshtha

Sunil Bansal

Mahesh Bansal

 

Другие публикации лиц с тем же именем

Graph Representations for Higher-Order Logic and Theorem Proving., , , , и . CoRR, (2019)Mathematical Reasoning via Self-supervised Skip-tree Training., , , и . ICLR, OpenReview.net, (2021)A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors., , , , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 680-695. Springer, (2014)HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)., , , , и . CoRR, (2019)HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving., , , , и . ICML, том 97 из Proceedings of Machine Learning Research, стр. 454-463. PMLR, (2019)Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions.. New York University, USA, (2016)Reducing Commutativity Verification to Reachability with Differencing Abstractions., и . CoRR, (2020)A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems, и . CoRR, (2012)Mathematical Reasoning in Latent Space., , , , и . ICLR, OpenReview.net, (2020)Model-Checking Bounded Multi-Pushdown Systems., и . CSR, том 7913 из Lecture Notes in Computer Science, стр. 405-417. Springer, (2013)