| Apr 20, 2025 | Our work titled “Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification” has been accepted to appear at the 19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025)! First author Balaji Rao, myself, and Prof Carlo Lipizzi (all from Stevens Institute of Technology!) showed how large language models can be harnessed to generate HOL/Isabelle code for theorem proving, and applied the approach to build mechanical proofs verifying the correctness of AWS access control policies. |
| Jan 1, 2025 | Graduate student Adarsh Vatsa has started his PhD with me! Adarsh just finished is Masters at Stevens Institute of Technology and has just started is PhD under my supervision. Adarsh currently works on investigating how to leverage large language models for enhancing program analysis techniques. |
| Dec 9, 2024 | Our work titled “Synthesizing Access Control Policies using Large Language Models” has been accepted to NLBSE 2025! Adarsh Vatsa together with undergraduate student Pratyush Patel investigated the effectiveness of harnessing large language models to generate AWS access control policies. |
| Sep 1, 2024 | Graduate student Sachi Shome has started his PhD with me! |
| Apr 1, 2024 | Masters student Adarsh Vatsa at Stevens Institute of Technology has joined our research group! He is broadly interested in the intersection of large language models and software engineering. |
| Sep 1, 2023 | I am actively looking for Ph.D students! You will be fully funded throughout your studies. Please send me your C.V. and a short introduction to my email (weiers@stevens.edu) |