Auto57%Harbor: pendingKnowledge & ReasoningAbstract Reasoning

LOGIC

LOGIC: An LLM Benchmark for Intent-Grounded Change Impact in Aerospace Electrical Systems

A 168-scenario benchmark evaluating LLMs on grounding engineering requests to specific changes in aerospace electrical systems before impact propagation.

How to run

ltb · logic
$ npm i -g lettokenburn-cli
$ ltb bench info logic

External harness. No Harbor adapter has been generated for this benchmark yet. `ltb bench info` prints the known links.

Runs happen on your machine with your own subscription; only the score summary is pushed. CLI docs

Scores

3 sourced entries
HarnessSourceConfidenceLink
Qwen2.5-7B-Instruct0.8N/AIndependentmediumOct 6, 2026arxiv.org
Llama-3.1-8B-Instruct0.8N/AIndependentmediumOct 6, 2026arxiv.org
Mistral 7B0.7N/AIndependentmediumOct 6, 2026arxiv.org

Every number links to where it was published. Low-confidence rows are muted and need per-cell verification.

Reproduced by the community

All runs
Loading community runs…

About

LOGIC comprises 168 controlled scenarios (144 selection, 24 abstention) involving aerospace electrical design revisions with concurrent changes. It separates intent-grounded candidate selection from deterministic graph propagation.

Scoring uses F1 for candidate selection and accuracy for propagation/abstention. LLMs outperform lexical matching on relational paraphrases but struggle with abstention and conflicting evidence.