2 papers
cs.CL2025
DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models
DeepSeek-AI, Aixin Liu, Aoxue Mei +260
We introduce DeepSeek-V3.2, a model that harmonizes high computational efficiency with superior reasoning and agent performance. The key technical breakthroughs of DeepSeek-V3.2 ar…
cs.CR2025
Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation
Haiyang Wei, Ligeng Chen, Zhengjie Du +7
State machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due…