Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kushagra Srivastva
conf.researchr.org general profile
FSE 2026 profile
Not registered as user
Name:
Kushagra Srivastva
Affiliation:
Pennsylvania State University, US
Contributions
2026
AIware
Author of VeriTrans: Fine-Tuned LLM-Assisted NL→PL Translation via a Deterministic Neuro-Symbolic Pipeline within the Main Track-track
Share
x
Sun 7 Jun 10:00