Co-Synthesis of Code and Formal Models Using Large Language Models and Functors Conference

Jha, Sumit Kumar, Jha, Susmit, Ewetz, Rickard et al. (2024). Co-Synthesis of Code and Formal Models Using Large Language Models and Functors . 215-220. 10.1109/MILCOM61039.2024.10773930

cited authors

  • Jha, Sumit Kumar; Jha, Susmit; Ewetz, Rickard; Velasquez, Alvaro

authors

date/time interval

  • October 28, 2024 -

publication date

  • January 1, 2024

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • Telecommunications

Location

  • DC, Washington

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

Conference

  • 2024 Military Communications Conference

publisher

  • IEEE

start page

  • 215

end page

  • 220