Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Pranav Sinha
Publications
Automated Formalization of Biological Model Properties into Temporal Logics Using Large Language Models
Sumit Kumar Jha
,
Pranav Sinha
and
Sunny Raj
EasyChair Preprint 11514
Keyphrases
biological models
,
Computational Systems Biology
,
formal models
,
LLMs
,
temporal logics
.
Copyright © 2012-2024 easychair.org. All rights reserved.
