TY  - RPRT
TI  - Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
AU  - Saikat Chakraborty
AU  - Gabriel Ebner
AU  - Siddharth Bhat
AU  - Sarah Fakhoury
AU  - Sakina Fatima
AU  - Shuvendu Lahiri
AU  - Nikhil Swamy
PY  - 2024
UR  - https://arxiv.org/abs/2405.01787
ID  - 2405.01787
ER  -