Login / Signup

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Madeline EndresSarah FakhourySaikat ChakrabortyShuvendu K. Lahiri
Published in: Proc. ACM Softw. Eng. (2024)
Keyphrases
  • language model
  • probabilistic model
  • natural language
  • hidden markov models
  • language modeling
  • relevance model
  • language modelling