Neuro-Symbolic Approach to Certified Scientific Software Synthesis
| Title: | Neuro-Symbolic Approach to Certified Scientific Software Synthesis |
|---|---|
| Authors: | Bagheri, Hamid; Mirakhorli, Mehdi; Fazelnia, Mohamad; Mujhid, Ibrahim; Hasan, Md Rashedul |
| Source: | Proceedings of the 1st ACM International Conference on AI-Powered Software. :147-150 |
| Availability: | http://dl.acm.org/doi/10.1145/3664646.3664776 |
| Database: | ACM Full-Text Collection |