• Sign in
  • Sign up
conf.researchr.org / Shashwat Jha
  • ASE 2025 profile

Registered user since Sat 11 Oct 2025

Name:Shashwat Jha

Contributions

2025

AIware

  • Author of Combining Reasoning Optimized LLMs and SMT Solvers for Automated Loop Invariant Synthesis within the Main Track-track
Share
xFri 24 Oct 21:52
using conf.researchr.org (v1.72.1)
Support page
Sign Up