Search Results for author:
Found 2 papers, 1 papers with code
A New Approach Towards Autoformalization
This is a challenging task, and especially for higher-level mathematics found in research papers.
Forming Trees with Treeformers
Human language is known to exhibit a nested, hierarchical structure, allowing us to form complex sentences out of smaller pieces.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
