Image de couverture de livre

Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kreikemeyer, Justin N., Jankowski, Miłosz, Wilsdorf, Pia, Uhrmacher, Adelinde M.
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Learning Stochastic Population Models by Gradient Descent
par: Kreikemeyer, Justin N., et autres
Publié: (2024)

Learning surrogate equations for the analysis of an agent-based cancer model
par: Burrage, Kevin, et autres
Publié: (2025)

Automatic Gradient Estimation for Calibrating Crowd Models with Discrete Decision Making
par: Andelfinger, Philipp, et autres
Publié: (2024)

SPML: A DSL for Defending Language Models Against Prompt Attacks
par: Sharma, Reshabh K, et autres
Publié: (2024)

A Formal Framework for Uncertainty Analysis of Text Generation with Large Language Models
par: Herbold, Steffen, et autres
Publié: (2026)

An Empirical Study of Multi-Generation Sampling for Jailbreak Detection in Large Language Models
par: Luo, Hanrui, et autres
Publié: (2026)

Optimizing Interventions for Agent-Based Infectious Disease Simulations
par: Wolpers, Anja, et autres
Publié: (2026)

Smoothing Methods for Automatic Differentiation Across Conditional Branches
par: Kreikemeyer, Justin N., et autres
Publié: (2023)

Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective
par: Ghosh, Bishwamittra, et autres
Publié: (2026)

Code Simulation Challenges for Large Language Models
par: La Malfa, Emanuele, et autres
Publié: (2024)

Calibrating Large Language Models Using Their Generations Only
par: Ulmer, Dennis, et autres
Publié: (2024)

Training Neural Networks as Recognizers of Formal Languages
par: Butoi, Alexandra, et autres
Publié: (2024)

Local Normalization Distortion and the Thermodynamic Formalism of Decoding Strategies for Large Language Models
par: Kempton, Tom, et autres
Publié: (2025)

Heterogeneity in Formal Linguistic Competence of Language Models: Is Data the Real Bottleneck?
par: Renduchintala, H S V N S Kowndinya, et autres
Publié: (2026)

Identifying the Source of Generation for Large Language Models
par: Park, Bumjin, et autres
Publié: (2024)

Out of One, Many: Using Language Models to Simulate Human Samples
par: Argyle, Lisa P., et autres
Publié: (2022)

Applying Psychometrics to Large Language Model Simulated Populations: Recreating the HEXACO Personality Inventory Experiment with Generative Agents
par: Mercer, Sarah, et autres
Publié: (2025)

A Systematic Study of In-the-Wild Model Merging for Large Language Models
par: Hitit, Oğuz Kağan, et autres
Publié: (2025)

Semantic Wave Functions: Exploring Meaning in Large Language Models Through Quantum Formalism
par: Laine, Timo Aukusti
Publié: (2025)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
par: Lin, Xiaohan, et autres
Publié: (2024)

Data Augmentations for Improved (Large) Language Model Generalization
par: Feder, Amir, et autres
Publié: (2023)

Automated Type Annotation in Python Using Large Language Models
par: Bharti, Varun, et autres
Publié: (2025)

Network Traffic Classification Using Machine Learning, Transformer, and Large Language Models
par: Antari, Ahmad, et autres
Publié: (2025)

AutoElicit: Using Large Language Models for Expert Prior Elicitation in Predictive Modelling
par: Capstick, Alexander, et autres
Publié: (2024)

Generating Individual Travel Diaries Using Large Language Models Informed by Census and Land-Use Data
par: Amin, Sepehr Golrokh, et autres
Publié: (2025)

Diffusion Guided Language Modeling
par: Lovelace, Justin, et autres
Publié: (2024)

Visual Analysis of Time-Dependent Observables in Cell Signaling Simulations
par: Cibulski, Lena, et autres
Publié: (2025)

Towards Lightweight Reliability: Using Soft Prompts for Hallucination Mitigation in Large Language Models
par: Siddiqui, S M Tahmid, et autres
Publié: (2026)

Assessing Adversarial Robustness of Large Language Models: An Empirical Study
par: Yang, Zeyu, et autres
Publié: (2024)

LemmaHead: RAG Assisted Proof Generation Using Large Language Models
par: Yang, Tianbo, et autres
Publié: (2025)

Systematic Evaluation of Machine-Generated Reasoning and PHQ-9 Labeling for Depression Detection Using Large Language Models
par: Shao, Zongru, et autres
Publié: (2025)

Hierarchical Text Classification Using Black Box Large Language Models
par: Yoshimura, Kosuke, et autres
Publié: (2025)

Optimizing Large Language Model Training Using FP4 Quantization
par: Wang, Ruizhe, et autres
Publié: (2025)

Can Large Language Models Generalize Procedures Across Representations?
par: Lin, Fangru, et autres
Publié: (2026)

Generalizing Large Language Model Usability Across Resource-Constrained
par: Tsai, Yun-Da
Publié: (2025)

On the Thinking-Language Modeling Gap in Large Language Models
par: Liu, Chenxi, et autres
Publié: (2025)

The Expressive Capacity of State Space Models: A Formal Language Perspective
par: Sarrof, Yash, et autres
Publié: (2024)

Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy
par: Dong, Yihong, et autres
Publié: (2026)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
par: Liu, Chengwu, et autres
Publié: (2025)

Large Language Models For Text Classification: Case Study And Comprehensive Review
par: Kostina, Arina, et autres
Publié: (2025)