Neuro-Symbolic Approach to Certified Scientific Software Synthesis.
Hamid BagheriMehdi MirakhorliMohamad FazelniaIbrahim MujhidMd Rashedul HasanPublished in: AIware (2024)
Keyphrases
- software architecture
- neural network
- software systems
- computer systems
- software design
- data mining
- software tools
- software package
- source code
- software development
- embedded systems
- artificial neural networks
- artificial intelligence
- data sets
- program synthesis
- software platform
- software quality
- software maintenance
- software components
- development process
- user interface
- databases