Synthesis of Mathematical programs from Natural Language Specifications.
Ganesh PrasathShirish KarandePublished in: CoRR (2023)
Keyphrases
- natural language
- recursive programs
- program synthesis
- written in natural language
- functional programs
- control flow
- logic programs
- formal language
- controlled natural language
- formal specification
- natural language interface
- machine learning
- natural language processing
- language processing
- specification language
- semantic analysis
- knowledge representation
- natural language understanding
- neural network
- fixpoint
- computer programs
- answer sets
- mathematical models
- logic programming
- data model
- mathematical proofs