Abhishek Mohta

Title: Abhishek Mohta: Innovator in Program Synthesis

Introduction

Abhishek Mohta is a notable inventor based in Kolkata, India. He has made significant contributions to the field of program synthesis, particularly through his innovative patent. His work focuses on enhancing the efficiency and effectiveness of program generation using advanced techniques.

Latest Patents

Abhishek holds a patent titled "Neural-guided deductive search for program synthesis." This patent encompasses systems, methods, and computer-executable instructions designed to guide program synthesis. The process involves receiving a specification that includes input and output examples. Programs are synthesized to meet these specifications, with each program incorporating branching decisions that consist of multiple paths. The synthesis process includes selecting a score model for the branching decisions, scoring the programs, and selecting the best path to return a synthesized program that meets the specified requirements.

Career Highlights

Abhishek is currently employed at Microsoft Technology Licensing, LLC, where he applies his expertise in program synthesis. His work at Microsoft has allowed him to explore innovative solutions and contribute to the advancement of technology in this domain.

Collaborations

Abhishek has collaborated with notable colleagues such as Oleksandr Polozov and Sumit Gulwani. These collaborations have further enriched his work and contributed to the development of cutting-edge solutions in program synthesis.

Conclusion

Abhishek Mohta is a pioneering inventor whose work in program synthesis is shaping the future of technology. His innovative patent and contributions to Microsoft highlight his commitment to advancing the field.