A bounded header validator written in pure Concrete. The first graduated Phase 7 flagship (2026-05-22) — every bar in AUDIT.md is met, every drift-enforced gate is ...
Abstract: Large language models (LLMs) have emerged as a promising tool for detecting code vulnerabilities, potentially offering advantages over traditional rule-based methods. This paper proposes an ...
Abstract: In industrial control systems, the generation and verification of Programmable Logic Controller (PLC) code are crucial for ensuring operational efficiency and safety. While Large Language ...
🔍 PDF parser for AI data extraction — Extract Markdown, JSON (with bounding boxes), and HTML from any PDF. #1 in benchmarks (0.907 overall). Deterministic local mode + AI hybrid mode for complex ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results