Patents by Inventor Navin Goyal

Navin Goyal has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20250370722
    Abstract: A data processing system implements analyzing program code using a language model to cause the language model to generate a suggestion for completing the program code; monitoring tokens generated by the language model using a code monitor as the language model is generating the tokens, the tokens representing partial code that has been generated by the language model based on the program code; identifying a trigger point in the partial code using the code monitor; querying a static analysis tool using the code monitor to obtain syntactic or semantic constraints for completing the partial code in response to detecting the trigger point, the static analysis tool being configured to provide syntactic and semantic constraints based on repository-level knowledge; and guiding generation of subsequent tokens by the language model based on the constraints to cause the language model to generate a syntactically correct suggestion for completing the program code.
    Type: Application
    Filed: May 31, 2024
    Publication date: December 4, 2025
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Aditya KANADE, Navin GOYAL, Sriram RAJAMANI, Shuvendu LAHIRI, Lakshya A. AGRAWAL
  • Publication number: 20140058793
    Abstract: Technologies pertaining to advertisement impression forecasting are described herein. An advertiser sets forth a proposed bid value for a prospective advertisement listing with respect to a keyword for a defined range of time. A number of auctions for the keyword in which the prospective advertisement listing will participate is estimated. A generative model that models auctions for the keyword is sampled to simulate auctions for the keyword, wherein the number of simulated auctions is equivalent to the number of auctions for the keyword in which the prospective advertisement listing is estimated to participate. For each simulated auction, a determination is made regarding whether the prospective advertisement listing wins the auction based upon the proposed bid value set forth by the advertiser. A number of simulated auctions won by the prospective advertiser is output as a forecasted number of impressions for the advertisement over the defined range of time.
    Type: Application
    Filed: August 21, 2012
    Publication date: February 27, 2014
    Applicant: Microsoft Corporation
    Inventors: Abhirup Nath, Shibnath Mukherjee, Prateek Jain, Navin Goyal, Srivatsan Laxman