https://archives.bodleian.ox.ac.uk/repositories/2/resources/7026
Collection: Printed testamurs and similar formal documents | Bodleian Archives & Manuscripts
formal documentscollectionprintedtestamurssimilar
https://theses-dissertations.princeton.edu/entities/publication/618d9558-f684-4ff3-ac25-5814a40d8cfb
Generating Formal Property-Based Specifications for Hardware Designs from Informal Documents using...
This work aims to explore the possibility of using large language models (LLMs) to generate formal property-based specifications for hardware designs, from...