Large language models should serve as translators in modeling and simulation workflows, coordinated with specialized tools and supported by LoRA-based task adapters on a shared backbone.
LLM-Guided Formal Verification Coupled with Mutation Testing
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
Large language models should serve as translators in modeling and simulation workflows, coordinated with specialized tools and supported by LoRA-based task adapters on a shared backbone.