Assembly Robot Grasp Stability Proof Verification Dataset

#grasp stability verification #mechanical constraint reasoning #force-closure analysis #robotic assembly automation #robotic grasp stability assessment #industrial robot safety verification

5000
0.3GB
JSON
CATL
MOBIUSI INC

Updated:2026-11-04

AI Analysis & Value Prop

0This dataset contains mathematical problems and candidate proofs concerning grasp stability in assembly robotics, covering contact definitions, force and moment balance equations, stability conditions, and force-closure criteria. Each example indicates whether the conclusion follows sufficiently from the stated conditions and includes a verification explanation and verdict summary, supporting model training and evaluation in mechanical proof reasoning. It is suited to robotic gripping, part manipulation, and grasp stability analysis.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
proof_problem	string	The source mathematical statement, including contact definitions, force and moment balance equations, stability conditions, force-closure criteria, the proposed conclusion, and the candidate proof.
verdict_summary	string	A concise summary of the proof assessment, such as valid, invalid, or insufficiently justified.
conclusion_follows	boolean	Whether the candidate proof establishes that the conclusion follows sufficiently from the stated conditions.
verification_explanation	string	A mathematical explanation supporting the assessment, identifying the relevant conditions, inference steps, and any gaps or invalid reasoning.

Compliance Statement

Authorization Type	Proprietary - Commercial AI Training License (No Redistribution)
Commercial Use	Requires exclusive subscription or authorization contract (monthly or per-invocation charging)
Privacy and Anonymization	No PII, no real company names, simulated scenarios follow industry standards
Compliance System	Compliant with China's Data Security Law / EU GDPR / supports enterprise data access logs

Frequently Asked Questions

What does the dataset contain?: It contains mathematical problems and candidate proofs about grasp stability, including contact definitions, force and moment balance, stability conditions, and force-closure criteria. Examples also include a conclusion assessment, verification explanation, and verdict summary.

Which capabilities can it support?: The dataset can support training and evaluation of mathematical proof verification, sufficiency assessment, and mechanical reasoning, especially for stability arguments in robotic grasping and gripping.

What assessment information is provided for each example?: Each example indicates whether the candidate proof sufficiently establishes the stated conclusion. Its explanation identifies relevant conditions and reasoning steps, as well as potential gaps or invalid inferences.

How can I access the data and check its license?: Refer to the dataset product page for available access methods, file formats, and licensing terms. Before use, review the applicable license to confirm permitted uses, including any commercial use.

Can't find the data you need?

Post a request and let data providers reach out to you.

Get this Dataset

Verified for Enterprise Use

Cite this Work

@dataset{Mobiusi2026,
  title={Assembly Robot Grasp Stability Proof Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/e57e33847a77dd34fd7cbccb74bf7d2a},
  urldate={2026-10-21},
  keywords={assembly robot dataset,grasp stability,proof verification,robotic grasping,force closure,moment balance,math SFT,mechanical reasoning},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Scene

Domain

Modality

Task