Spaces:

adamm-hf
/

P-NP

Paused

App Files Files Community

P-NP / tools

80.8 kB

Ctrl+K

Ctrl+K

1 contributor

History: 11 commits

adamm-hf's picture

adamm-hf HF Staff

2.0 fable 5.1 max simplification

f24c7be verified 20 days ago

__pycache__
1.8 about 1 month ago
audit_provenance.py
807 Bytes
1.8 about 1 month ago
benchmark_brain.py

2.71 kB
1.5 about 1 month ago
benchmark_v110_startup.py
5.31 kB
v1.10 big about 1 month ago
bundle_drive_research_snapshot.py
1.18 kB
v1.12 turns the lab from a claim-centric research loop into a **theorem-graph system that tracks exact proof obligations, evidence, dependencies, counterexamples, and bottlenecks—and automatically directs stronger models and research budget toward the unresolved steps with the highest mathematical leverage. about 1 month ago
create_provenance_snapshot.py
774 Bytes
1.8 about 1 month ago
export_research_handoff.py

1.5 kB
1.9 (need to fix startup speed) about 1 month ago
export_support.py

684 Bytes
1.5 about 1 month ago
import_research_handoff.py

1.56 kB
1.9 (need to fix startup speed) about 1 month ago
make_demo_root.py
3.11 kB
2.0 fable 5.1 max simplification 20 days ago
probe_v110_integration.py
932 Bytes
1.11 multi folded in, lots of thinking about 1 month ago
replay_experiment.py
899 Bytes
v 1.13 about 1 month ago
restore_test_snapshot.py
696 Bytes
1.8 about 1 month ago
run_cycle_offline.py
2.39 kB
2.0 fable 5.1 max simplification 20 days ago
run_scientific_qualification.py
1.62 kB
1.8 about 1 month ago
run_v110_qualification.py
321 Bytes
v1.10 big about 1 month ago
run_v111_performance_qualification.py
2.39 kB
1.11 multi folded in, lots of thinking about 1 month ago
run_v111_qualification.py
286 Bytes
1.11 multi folded in, lots of thinking about 1 month ago
run_v111_synthetic_soak.py
7.08 kB
1.11 multi folded in, lots of thinking about 1 month ago
run_v112_qualification.py
622 Bytes
v1.12 turns the lab from a claim-centric research loop into a **theorem-graph system that tracks exact proof obligations, evidence, dependencies, counterexamples, and bottlenecks—and automatically directs stronger models and research budget toward the unresolved steps with the highest mathematical leverage. about 1 month ago
run_v113_qualification.py
4.72 kB
v 1.13 about 1 month ago
run_v115_qualification.py
10.6 kB
v1.15 fable enforcement attribution economy about 1 month ago
run_v19_qualification.py
320 Bytes
1.9 (need to fix startup speed) about 1 month ago
validate_release.py
4.57 kB
v1.10 big about 1 month ago
verify_normative_standard.py
568 Bytes
1.8 about 1 month ago