DiagramNet supplies a new multimodal dataset and progressive training pipeline with decoupled multi-agent workflow, allowing a 3B model to outperform GPT-5, Claude-Sonnet-4, and Gemini-2.5-Pro by over 2x on system-level diagram tasks while generalizing to other benchmarks.
In2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
ATLAS uses large language models to automatically generate formal security properties from threat models and vulnerability databases, detecting 39 of 48 CWEs and producing correct assertions for 33 on three HACK@DAC benchmarks.
citing papers explorer
-
DiagramNet: An End-to-End Recognition Framework and Dataset for Non-Standard System-Level Diagrams
DiagramNet supplies a new multimodal dataset and progressive training pipeline with decoupled multi-agent workflow, allowing a 3B model to outperform GPT-5, Claude-Sonnet-4, and Gemini-2.5-Pro by over 2x on system-level diagram tasks while generalizing to other benchmarks.
-
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
ATLAS uses large language models to automatically generate formal security properties from threat models and vulnerability databases, detecting 39 of 48 CWEs and producing correct assertions for 33 on three HACK@DAC benchmarks.