3 papers
cs.AI2025
SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents
Simon Sinong Zhan, Philip Wang, Yao Liu +13
We present SENTINEL, a framework for formally evaluating the physical safety of foundation model (FM)-based embodied agents. SENTINEL is the first to provide multi-level safety eva…
cs.CL2025
LLM should think and action as a human
Haun Leung, ZiNan Wang
It is popular lately to train large language models to be used as chat assistants, but in the conversation between the user and the chat assistant, there are prompts, require multi…
cs.SE2024
Strategic Optimization and Challenges of Large Language Models in Object-Oriented Programming
Zinan Wang
In the area of code generation research, the emphasis has transitioned from crafting individual functions to developing class-level method code that integrates contextual informati…