diff --git a/tests/test_rearc.py b/tests/test_rearc.py
new file mode 100644
index 00000000..3e10ee2f
--- /dev/null
+++ b/tests/test_rearc.py
@@ -0,0 +1,92 @@
+import pytest
+
+from reasoning_gym import create_dataset
+from reasoning_gym.arc.rearc import ReArcConfig, ReArcDataset
+from reasoning_gym.arc.rearc_board_format import format_board
+
+
+def test_rearc_config_validation():
+    """Test validation of ReArc configuration parameters"""
+    with pytest.raises(AssertionError):
+        ReArcConfig(diff_lb=0.5, diff_ub=0.3).validate()
+
+    with pytest.raises(AssertionError):
+        ReArcConfig(size=0).validate()
+
+
+def test_rearc_deterministic():
+    """Test dataset reproducibility with fixed seed"""
+    config = ReArcConfig(seed=42, size=500, diff_lb=0, diff_ub=1)
+    ds1 = ReArcDataset(config)
+    ds2 = ReArcDataset(config)
+
+    for i in range(len(ds1)):
+        assert ds1[i] == ds2[i], "ReArc datasets with same seed should match exactly"
+
+
+def test_rearc_items():
+    """Test basic structure and metadata of generated items"""
+    config = ReArcConfig(seed=42, size=500, diff_lb=0, diff_ub=1)
+    dataset = ReArcDataset(config)
+
+    for item in dataset:
+        assert isinstance(item, dict)
+        assert "question" in item
+        assert "answer" in item
+        assert "metadata" in item
+
+        meta = item["metadata"]
+        assert "input" in meta
+        assert "output" in meta
+        assert "task_id" in meta
+        assert "rng" in meta
+        assert "pso" in meta
+
+        # Validate difficulty bounds
+        assert config.diff_lb <= meta["rng"] <= config.diff_ub
+        assert config.diff_lb <= meta["pso"] <= config.diff_ub
+
+
+def test_rearc_solution_validation():
+    """Test solution verification and scoring"""
+    config = ReArcConfig(size=500, seed=123)
+    dataset = ReArcDataset(config)
+
+    for item in dataset:
+        # Test correct solution
+        correct = format_board(item["metadata"]["output"], dataset.board_format_opts)
+        assert dataset.score_answer(correct, item["metadata"]) == 1.0
+
+        ## Test invalid format
+        # assert dataset.score_answer("invalid_grid", item["metadata"]) == 0.05
+
+        # Test empty answer
+        # assert dataset.score_answer(None, item["metadata"]) == 0.0
+
+
+def test_rearc_scoring_edge_cases():
+    """Test scoring for partial and malformed answers"""
+    config = ReArcConfig(size=500, seed=456)
+    dataset = ReArcDataset(config)
+
+    for item in dataset:
+        # Partial match
+        partial = format_board([[0, 0], [0, 0]], dataset.board_format_opts)
+        assert 0.0 < dataset.score_answer(partial, item["metadata"]) < 1.0
+
+        # Malformed answer
+        assert dataset.score_answer("[[invalid", item["metadata"]) == 0.01
+
+        # Case sensitivity
+        answer = format_board(item["metadata"]["output"], dataset.board_format_opts).lower()
+        assert dataset.score_answer(answer, item["metadata"]) == 1.0
+
+
+def test_rearc_visualization():
+    """Test visualization function runs without errors"""
+    config = ReArcConfig(size=2, seed=789)
+    dataset = ReArcDataset(config)
+
+    for item in dataset:
+        dataset.visualise_pair(item)
+        # No assertion needed - just verify no exceptions