Cover Image

NormCode: A Semi-Formal Language for Auditable AI Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Guan, Xin, Li, Yunshan, Wu, Zekun, Zhang, Ruibo
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NormCode Canvas: Making LLM Agentic Workflows Development Sustainable via Case-Based Reasoning
by: Guan, Xin, et al.
Published: (2026)

MPF: Aligning and Debiasing Language Models post Deployment via Multi Perspective Fusion
by: Guan, Xin, et al.
Published: (2025)

Bias Amplification: Large Language Models as Increasingly Biased Media
by: Wang, Ze, et al.
Published: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
by: Tantakoun, Marcus, et al.
Published: (2025)

HyPA-RAG: A Hybrid Parameter Adaptive Retrieval-Augmented Generation System for AI Legal and Policy Applications
by: Kalra, Rishi, et al.
Published: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
by: Erfan, Md, et al.
Published: (2026)

Iterative Formalization and Planning in Partially Observable Environments
by: Gong, Liancheng, et al.
Published: (2025)

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
by: Jin, Ruoqi
Published: (2026)

SMA: Who Said That? Auditing Membership Leakage in Semi-Black-box RAG Controlling
by: Sun, Shixuan, et al.
Published: (2025)

TRUST: A Decentralized Framework for Auditing Large Language Model Reasoning
by: Huang, Morris Yu-Chao, et al.
Published: (2025)

What Does the AI Doctor Value? Auditing Pluralism in the Clinical Ethics of Language Models
by: Chandak, Payal, et al.
Published: (2026)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

An Uncertainty-Driven Adaptive Self-Alignment Framework for Large Language Models
by: Sun, Haoran, et al.
Published: (2025)

Assessing Bias in Metric Models for LLM Open-Ended Generation Bias Benchmarks
by: Demchak, Nathaniel, et al.
Published: (2024)

GeoCode-GPT: A Large Language Model for Geospatial Code Generation Tasks
by: Hou, Shuyang, et al.
Published: (2024)

AuditLLM: A Tool for Auditing Large Language Models Using Multiprobe Approach
by: Amirizaniani, Maryam, et al.
Published: (2024)

Auditable Agents
by: Nian, Yi, et al.
Published: (2026)

A Novel Self-Evolution Framework for Large Language Models
by: Sun, Haoran, et al.
Published: (2025)

A Blueprint for Auditing Generative AI
by: Mokander, Jakob, et al.
Published: (2024)

Auditing the Ethical Logic of Generative AI Models
by: Neuman, W. Russell, et al.
Published: (2025)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
by: Wei, Zhiyuan, et al.
Published: (2025)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
by: Alamdari, Parand A., et al.
Published: (2026)

Bridging the AI Trustworthiness Gap between Functions and Norms
by: Di Scala, Daan, et al.
Published: (2025)

Relational Norms for Human-AI Cooperation
by: Earp, Brian D., et al.
Published: (2025)

Normative Common Ground Replication (NormCoRe): Replication-by-Translation for Studying Norms in Multi-Agent AI
by: Deck, Luca, et al.
Published: (2026)

Taste More, Taste Better: Diverse Data and Strong Model Boost Semi-Supervised Crowd Counting
by: Yang, Maochen, et al.
Published: (2025)

Code-Driven Planning in Grid Worlds with Large Language Models
by: Aravindan, Ashwath Vaithinathan, et al.
Published: (2025)

On Active Privacy Auditing in Supervised Fine-tuning for White-Box Language Models
by: Sun, Qian, et al.
Published: (2024)

Automating Security Audit Using Large Language Model based Agent: An Exploration Experiment
by: Chin, Jia Hui, et al.
Published: (2025)

ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code
by: Filho, Elzo Brito dos Santos
Published: (2026)

Regulator-Manufacturer AI Agents Modeling: Mathematical Feedback-Driven Multi-Agent LLM Framework
by: Han, Yu, et al.
Published: (2024)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
by: Councilman, Aaron, et al.
Published: (2025)

Babysit A Language Model From Scratch: Interactive Language Learning by Trials and Demonstrations
by: Ma, Ziqiao, et al.
Published: (2024)

LLM2Rec: Large Language Models Are Powerful Embedding Models for Sequential Recommendation
by: He, Yingzhi, et al.
Published: (2025)

Code Driven Planning with Domain-Adaptive Critic
by: Tian, Zikang, et al.
Published: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
by: Florath, Andreas
Published: (2024)

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
by: Blain, Dominik, et al.
Published: (2026)

Auditing Disability Representation in Vision-Language Models
by: Panda, Srikant, et al.
Published: (2026)

Planning In Natural Language Improves LLM Search For Code Generation
by: Wang, Evan, et al.
Published: (2024)