Search Results for author:
Found 2 papers, 0 papers with code
Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
In this note, we revisit the IMO-AG-30 Challenge introduced with AlphaGeometry, and find that Wu's method is surprisingly strong.
Word Embeddings as Tuples of Feature Probabilities
In this paper, we provide an alternate perspective on word representations, by reinterpreting the dimensions of the vector space of a word embedding as a collection of features.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
