Patel, Nilay

1. A New Approach Towards Autoformalization
   2023/10/12 by Nilay Patel, Patel, Nilay, Rahul Saha +3 · 5 citations
   Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Scientific Computing and Data Management #Semantic Web and Ontologies
2. Forming Trees with Treeformers
   2022/07/14 by Patel, Nilay, Flanigan, Jeffrey · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)