Search Results for author:
Found 3 papers, 0 papers with code
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Grounded in this dataset, we investigate the use of AI to synthesize programs and their proofs in F*, with promising results.
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.
