Isabelle
Datasets
All datasets matching “Isabelle”marin-starcoderdata_isabellecollatz-isabelle
Collatz Isabelle
This repository contains an Isabelle/HOL formalization of information-theoretic barriers for trace-based proof strategies for the Collatz conjecture.
Current Version and Source Code
The current version of the Isabelle/HOL project is maintained in the
CollatzConjecture GitHub repository.
Related Paper
Craig Alan Feinstein, “The Collatz 3n+1 Conjecture is Unprovable.”
Read the paper on arXiv.
Archive
The project is… See the full description on the dataset page: https://huggingface.co/datasets/cafeinst/collatz-isabelle.so101_gear_20260623_113237This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"fps": 30,
"features": {
"action": {
"dtype": "float32",
"shape": [
6
],
"names": [
"shoulder_pan.pos",
"shoulder_lift.pos",
"elbow_flex.pos",
"wrist_flex.pos",
"wrist_roll.pos",
"gripper.pos"… See the full description on the dataset page: https://huggingface.co/datasets/isabelle248/so101_gear_20260623_113237.so101_gear1-5_20260624_154058This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"fps": 30,
"features": {
"action": {
"dtype": "float32",
"shape": [
6
],
"names": [
"shoulder_pan.pos",
"shoulder_lift.pos",
"elbow_flex.pos",
"wrist_flex.pos",
"wrist_roll.pos",
"gripper.pos"… See the full description on the dataset page: https://huggingface.co/datasets/isabelle248/so101_gear1-5_20260624_154058.so101_movebattery2.75_20260618_172821This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"fps": 30,
"features": {
"action": {
"dtype": "float32",
"shape": [
6
],
"names": [
"shoulder_pan.pos",
"shoulder_lift.pos",
"elbow_flex.pos",
"wrist_flex.pos",
"wrist_roll.pos",
"gripper.pos"… See the full description on the dataset page: https://huggingface.co/datasets/isabelle248/so101_movebattery2.75_20260618_172821.so101_battery1_20260615_175255This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"fps": 30,
"features": {
"action": {
"dtype": "float32",
"shape": [
6
],
"names": [
"shoulder_pan.pos",
"shoulder_lift.pos",
"elbow_flex.pos",
"wrist_flex.pos",
"wrist_roll.pos",
"gripper.pos"… See the full description on the dataset page: https://huggingface.co/datasets/isabelle248/so101_battery1_20260615_175255.