batteries
XCT_Data_of_Retired_Large_Capacity_Prismatic_BatteriesThis dataset provides 3D XCT reconstruction results for eight retired and one fresh LiFePO4 (LFP) prismatic batteries. These samples were manufactured by REPT BATTERO Energy Co., Ltd. in 2021 and sourced from Dongfeng E70 electric vehicles. Each battery has a nominal voltage of 3.2 V and a rated capacity of 135 Ah (dimensions: 148 mm × 80 mm × 105 mm). Compared to the fresh control sample (136.7 Ah), the retired batteries exhibit varying degrees of degradation, with measured capacities ranging… See the full description on the dataset page: https://huggingface.co/datasets/JiaWeiDong/XCT_Data_of_Retired_Large_Capacity_Prismatic_Batteries.so101-sorting-pens-batteriesThis dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"robot_type": "so_follower",
"total_episodes": 50,
"total_frames": 16858,
"total_tasks": 1,
"chunks_size": 1000,
"data_files_size_in_mb": 100,
"video_files_size_in_mb": 200,
"fps": 15,
"splits": {
"train": "0:50"
},
"data_path": "data/chunk-{chunk_index:03d}/file-{file_index:03d}.parquet",
"video_path":… See the full description on the dataset page: https://huggingface.co/datasets/Renegade-888/so101-sorting-pens-batteries.grab-gold-batteries-ver1This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"fps": 30,
"features": {
"action": {
"dtype": "float32",
"names": [
"shoulder_pan.pos",
"shoulder_lift.pos",
"elbow_flex.pos",
"wrist_flex.pos",
"wrist_roll.pos",
"gripper.pos"
],
"shape": [
6… See the full description on the dataset page: https://huggingface.co/datasets/kadowski/grab-gold-batteries-ver1.Lean4-Batteries
Lean4-Batteries
Structured dataset from Lean 4 Batteries - the community standard library extensions.
Source
Repository: https://github.com/leanprover-community/batteries
Commit: 41680f5d84023c7406c841d08ef83bf15a9782a6
Files: 187
License: apache-2.0
Schema
Column
Type
Description
statement
string
Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof
proof
string
Verbatim… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Lean4-Batteries.electrode_materials_for_ca-based_rechargeable_batteries
Cite this dataset Dompablo, M. E. A., and Casals, J. L. electrode materials for ca-based rechargeable batteries. ColabFit, 2024. https://doi.org/10.60732/134fd579
This dataset has been curated and formatted for the ColabFit Exchange
This dataset is also available on the ColabFit Exchange:
https://materials.colabfit.org/id/DS_swl40hdnt479_0
Visit the ColabFit Exchange to search additional datasets by author, description, element content and more.… See the full description on the dataset page: https://huggingface.co/datasets/colabfit/electrode_materials_for_ca-based_rechargeable_batteries.cathode_materials_for_rechargeable_Ca_batteries_CM2021
Cite this dataset Dompablo, M. E. A., and Casals, J. L. cathode materials for rechargeable Ca batteries CM2021. ColabFit, 2023. https://doi.org/10.60732/49ecd7c5
This dataset has been curated and formatted for the ColabFit Exchange
This dataset is also available on the ColabFit Exchange:
https://materials.colabfit.org/id/DS_s00e64z80ujy_0
Visit the ColabFit Exchange to search additional datasets by author, description, element content and more.… See the full description on the dataset page: https://huggingface.co/datasets/colabfit/cathode_materials_for_rechargeable_Ca_batteries_CM2021.