PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
preprint Open access

Specification Languages for AI: From Natural Language to Formal Methods

Oleh Ivchenko

  • Zenodo (CERN European Organization for Nuclear Research)
  • European Organization for Nuclear Research
View publisher (opens in a new tab)
Research footprint

At a glance

Citations
0
References
0
Comments
0
Paper overview

Abstract

Research article: Specification Languages for AI: From Natural Language to Formal Methods

Record transparency

Publication details

DOI
10.5281/zenodo.18684610
OpenAlex
W7130385054
Document type
preprint
Language
EN
Source
Zenodo (CERN European Organization for Nuclear Research)
Last metadata update
Community

Comments

Log in to join the discussion.

  1. No comments yet. Start the discussion.