An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic

Devs

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic | Read Paper on Bytez