move lean progress into lean_dojo_v2

durant42040 · durant42040 · commit bf376b1a686b · 2025-11-17T13:36:00.000+08:00
diff --git a/README.md b/README.md
@@ -231,11 +231,11 @@ The generated artifacts flow into the `DynamicDatabase`, which keeps repositorie
 
 - Generate a JSONL dataset with remaining-step targets (or replace it with your own LeanProgress export):
   ```sh
-  python examples/leanprogress/create_sample_dataset.py --output raid/data/sample_leanprogress_dataset.jsonl
+  python -m lean_dojo_v2.lean_progress.create_sample_dataset --output raid/data/sample_leanprogress_dataset.jsonl
   ```
 - Fine-tune a regression head that predicts `steps_remaining`:
   ```sh
-  python examples/leanprogress/train_steps_model.py \
+  python -m lean_dojo_v2.lean_progress.train_steps_model \
     --dataset raid/data/sample_leanprogress_dataset.jsonl \
     --output-dir raid/checkpoints/leanprogress_steps \
     --model-name bert-base-uncased
diff --git a/lean_dojo_v2/lean_progress/__init__.py b/lean_dojo_v2/lean_progress/__init__.py
diff --git a/lean_dojo_v2/lean_progress/create_sample_dataset.py b/lean_dojo_v2/lean_progress/create_sample_dataset.py
@@ -69,3 +69,4 @@ def main() -> None:
 
 if __name__ == "__main__":
     main()
+
diff --git a/lean_dojo_v2/lean_progress/train_steps_model.py b/lean_dojo_v2/lean_progress/train_steps_model.py
@@ -150,3 +150,4 @@ def main() -> None:
 
 if __name__ == "__main__":
     main()
+
diff --git a/lean_dojo_v2/tests/test_deepseek_loading.py b/lean_dojo_v2/tests/test_deepseek_loading.py
diff --git a/lean_dojo_v2/tests/test_leanprogress_examples.py b/lean_dojo_v2/tests/test_leanprogress_examples.py
@@ -1,7 +1,7 @@
 import json
 from types import SimpleNamespace
 
-from examples.leanprogress import create_sample_dataset, train_steps_model
+from lean_dojo_v2.lean_progress import create_sample_dataset, train_steps_model
 
 
 def test_create_sample_dataset_writes_expected_jsonl(tmp_path, monkeypatch):

Original file line number	Diff line number	Diff line change
`@@ -69,3 +69,4 @@ def main() -> None:`
`69`	`69`
`70`	`70`	`if __name__ == "__main__":`
`71`	`71`	`main()`
	`72`	`+`
Original file line number	Diff line number	Diff line change
`@@ -150,3 +150,4 @@ def main() -> None:`
`150`	`150`
`151`	`151`	`if __name__ == "__main__":`
`152`	`152`	`main()`
	`153`	`+`