#semantic-verification News & Analysis

2 articles tagged with #semantic-verification. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBearisharXiv – CS AI · Jun 47/10

🧠

Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications

Researchers have identified widespread Description-Code Inconsistency (DCI) in Model Context Protocol servers, where tool descriptions don't match actual implementations. A study of 2,214 MCP servers found that 9.93% of description-code pairs exhibit inconsistencies, creating security vulnerabilities that enable operational failures and malicious behavior in LLM-powered applications.

AINeutralarXiv – CS AI · Jun 16/10

🧠

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling

Researchers introduce SAC-Opt, a framework that improves how large language models generate optimization code by grounding corrections in semantic accuracy rather than solver feedback alone. The approach achieves 7.7% average improvement in modeling accuracy across datasets, with gains up to 21.9% on complex problems, addressing silent logical errors in LLM-generated optimization models.