research
          
      
      ∙
      01/22/2021
    A Study of Continuous Vector Representationsfor Theorem Proving
Applying machine learning to mathematical terms and formulas requires a ...
          
            research
          
      
      ∙
      04/08/2020