Copertina

Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Zheyu, Zhuang, Huiteng, Li, Zhuohuan, Li, Chuanhao
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
di: van de Laar, Teun, et al.
Pubblicazione: (2024)

Discrete World Models via Regularization
di: Bizzaro, Davide, et al.
Pubblicazione: (2026)

Yume: An Interactive World Generation Model
di: Mao, Xiaofeng, et al.
Pubblicazione: (2025)

CorridorVLA: Explicit Spatial Constraints for Generative Action Heads via Sparse Anchors
di: Li, Dachong, et al.
Pubblicazione: (2026)

Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning
di: Wang, Zhaoqi, et al.
Pubblicazione: (2025)

Evaluating Supervised Learning Models for Fraud Detection: A Comparative Study of Classical and Deep Architectures on Imbalanced Transaction Data
di: Wang, Chao, et al.
Pubblicazione: (2025)

MAFIG: Multi-agent Driven Formal Instruction Generation Framework
di: Zhao, Shixing, et al.
Pubblicazione: (2026)

From Observations to Events: Event-Aware World Model for Reinforcement Learning
di: Peng, Zhao-Han, et al.
Pubblicazione: (2026)

Learning to Disprove: Formal Counterexample Generation with Large Language Models
di: Li, Zenan, et al.
Pubblicazione: (2026)

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
di: Kumar, Aman, et al.
Pubblicazione: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
di: Zhang, Liao, et al.
Pubblicazione: (2026)

Federated Linear Contextual Bandits with Heterogeneous Clients
di: Blaser, Ethan, et al.
Pubblicazione: (2024)

Provably Efficient Algorithm for Best Scoring Rule Identification in Online Principal-Agent Information Acquisition
di: Wang, Zichen, et al.
Pubblicazione: (2025)

PERMA: Benchmarking Personalized Memory Agents via Event-Driven Preference and Realistic Task Environments
di: Liu, Shuochen, et al.
Pubblicazione: (2026)

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
di: Bai, Yunsheng, et al.
Pubblicazione: (2025)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
di: Ji, Shihao, et al.
Pubblicazione: (2026)

Multi-Sourced Compositional Generalization in Visual Question Answering
di: Li, Chuanhao, et al.
Pubblicazione: (2025)

Evaluating the World Model Implicit in a Generative Model
di: Vafa, Keyon, et al.
Pubblicazione: (2024)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
di: Yang, Xiao-Wen, et al.
Pubblicazione: (2025)

WorldGPT: Empowering LLM as Multimodal World Model
di: Ge, Zhiqi, et al.
Pubblicazione: (2024)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026)

Model Specific Task Similarity for Vision Language Model Selection via Layer Conductance
di: Yang, Wei, et al.
Pubblicazione: (2026)

Automated Constraint Specification for Job Scheduling by Regulating Generative Model with Domain-Specific Representation
di: Shi, Yu-Zhe, et al.
Pubblicazione: (2025)

RS-WorldModel: a Unified Model for Remote Sensing Understanding and Future Sense Forecasting
di: Xu, Linrui, et al.
Pubblicazione: (2026)

Text Generation Beyond Discrete Token Sampling
di: Zhuang, Yufan, et al.
Pubblicazione: (2025)

Auditing and Fixing Economic Validity in Tabular Foundation Models for Discrete Choice
di: Wang, Yingshuo, et al.
Pubblicazione: (2026)

Enhancing Formal Software Specification with Artificial Intelligence
di: Nassar, Antonio Abu, et al.
Pubblicazione: (2026)

AI Application in Anti-Money Laundering for Sustainable and Transparent Financial Systems
di: Nie, Chuanhao, et al.
Pubblicazione: (2025)

Closing the Expression Gap in LLM Instructions via Socratic Questioning
di: Sun, Jianwen, et al.
Pubblicazione: (2025)

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
di: Xia, Yuan, et al.
Pubblicazione: (2025)

Group Deliberation Oriented Multi-Agent Conversational Model for Complex Reasoning
di: Shi, Zheyu, et al.
Pubblicazione: (2025)

WorldScore: A Unified Evaluation Benchmark for World Generation
di: Duan, Haoyi, et al.
Pubblicazione: (2025)

SridBench: Benchmark of Scientific Research Illustration Drawing of Image Generation Model
di: Chang, Yifan, et al.
Pubblicazione: (2025)

ELLMob: Event-Driven Human Mobility Generation with Self-Aligned LLM Framework
di: Wang, Yusong, et al.
Pubblicazione: (2026)

RewardDS: Privacy-Preserving Fine-Tuning for Large Language Models via Reward Driven Data Synthesis
di: Wang, Jianwei, et al.
Pubblicazione: (2025)

Doubling Your Data in Minutes: Ultra-fast Tabular Data Generation via LLM-Induced Dependency Graphs
di: Yang, Shuo, et al.
Pubblicazione: (2025)

A Notion of Complexity for Theory of Mind via Discrete World Models
di: Huang, X. Angelo, et al.
Pubblicazione: (2024)

FAP-CD: Fairness-Driven Age-Friendly Community Planning via Conditional Diffusion Generation
di: Li, Jinlin, et al.
Pubblicazione: (2024)

Agent2World: Learning to Generate Symbolic World Models via Adaptive Multi-Agent Feedback
di: Hu, Mengkang, et al.
Pubblicazione: (2025)

Domino: Eliminating Communication in LLM Training via Generic Tensor Slicing and Overlapping
di: Wang, Guanhua, et al.
Pubblicazione: (2024)