ENTITY
structured text
structured text
PulseAugur coverage of structured text — every cluster mentioning structured text across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New benchmark PLCWorld tests LLM-generated industrial control programs
Researchers have introduced PLCWorld, a new benchmark designed to evaluate the performance of large language models (LLMs) in generating programs for programmable logic controllers (PLCs). This benchmark includes 100 sy…
-
New benchmark suite targets formal verification of industrial PLC programs
Researchers have developed a new benchmark suite for formally verifying IEC 61131-3 ladder diagram programs, addressing a lack of standard evaluation tools in the field. This suite includes 50 programs across ten indust…