APA (7th ed.) Citation

Chakraborty, S., Ebner, G., Bhat, S., Fakhoury, S., Fatima, S., Lahiri, S., & Swamy, N. (2024). Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Chicago Style (17th ed.) Citation

Chakraborty, Saikat, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, and Nikhil Swamy. Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. 2024.

MLA (9th ed.) Citation

Chakraborty, Saikat, et al. Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. 2024.