Assembly Robot Grasp Stability Proof Verification Dataset
- Records
- 5000
- Size
- 0.3GB
- Format
- JSON
- Provider
MOBIUSI INC- Updated
- v1.02026-11-04
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.
Overview
Dataset Insights
Preview
Sample Examples
Schema
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. |
Trust
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
FAQ
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
High-quality data, ready for your next AI breakthrough.
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?dataset_scene_cate_type=5},
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.