Auto57%Harbor: pendingKnowledge & ReasoningAgentic / Tool Use

MOF-VERIFY

MOF-Verify: A Failure-Aware Agentic Harness for MOF Hypothesis Verification

A diagnostic benchmark with four task families (structural, synthesis, evidence-sufficiency, computational) for evaluating LLM-based MOF hypothesis verification under controlled evidence settings.

How to run

ltb · mof-verify
$ npm i -g lettokenburn-cli
$ ltb bench info mof-verify

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

10 sourced entries
HarnessSourceConfidenceLink
Claude Opus 4.862.8N/AIndependentmediumOct 2, 2026arxiv.org
Claude Opus 562.8N/AIndependentmediumOct 2, 2026arxiv.org
Claude Sonnet 562.8N/AIndependentmediumOct 2, 2026arxiv.org
DeepSeek V4 Pro62.8N/AIndependentmediumOct 2, 2026arxiv.org
Gemini 3.7 Flash62.8N/AIndependentmediumOct 2, 2026arxiv.org
GPT-4o62.8N/AIndependentmediumOct 2, 2026arxiv.org
GPT-5.462.8N/AIndependentmediumOct 2, 2026arxiv.org
GPT-5.6 Sol62.8N/AIndependentmediumOct 2, 2026arxiv.org
GPT-5.6-terra62.8N/AIndependentmediumOct 2, 2026arxiv.org
Qwen3.7 Max62.8N/AIndependentmediumOct 2, 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

The benchmark comprises four task families (T-MOF-1 to T-MOF-4) covering structural grounding, synthesis verification, evidence sufficiency, and MLIP-based computation. It uses a 3x3 diagnostic matrix (closed-book, retrieval, oracle) to localize failure modes in AI Co-Scientists.

Scoring involves predicting Yes/No/Uncertain or computational outcomes. The associated MOF-Verify harness significantly improves performance over baselines by addressing identified bottlenecks through specialized agentic modules.