Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
Saikat ChakrabortyGabriel EbnerSiddharth BhatSarah FakhourySakina FatimaShuvendu K. LahiriNikhil SwamyPublished in: CoRR (2024)
Keyphrases
- oriented programming
- neural network
- network architecture
- program synthesis
- multi agent
- object oriented
- bio inspired
- neural fuzzy
- theorem proving
- neural model
- texture synthesis
- linear logic
- artificial neural
- hebbian learning
- nonlinear predictive control
- neural information processing
- statistical machine translation
- associative memory
- machine learning
- connectionist models
- proof planning
- complete axiomatization
- mathematical proofs
- knowledge base