align / code /docs

1.03 MB

Ctrl+K

1 contributor

History: 2 commits

viai957

Add files using upload-large-folder tool

63f41a6 verified 15 days ago

evidence
Add files using upload-large-folder tool 15 days ago
research
Add files using upload-large-folder tool 15 days ago
results
Add files using upload-large-folder tool 15 days ago
workbook
Add files using upload-large-folder tool 15 days ago
ARCHITECTURE.md

35.7 kB
Add files using upload-large-folder tool 15 days ago
ARCHITECTURE_V2_PROPOSAL.md

82.6 kB
Add files using upload-large-folder tool 15 days ago
DEPENDENCY_POLICY.md

13.5 kB
Add files using upload-large-folder tool 15 days ago
IMPLEMENTATION_LANES.md

4.82 kB
Add files using upload-large-folder tool 15 days ago
K5_LEVERS.md

19.1 kB
Add files using upload-large-folder tool 15 days ago
KIMINA_BASE.md

6.81 kB
Add files using upload-large-folder tool 15 days ago
KIMINA_SERVER_BACKEND.md

6.61 kB
Add files using upload-large-folder tool 15 days ago
LEAN_SANDBOX.md

16.6 kB
Add files using upload-large-folder tool 15 days ago
LEAN_VERIFIER.md

38.4 kB
Add files using upload-large-folder tool 15 days ago
MEASUREMENTS.md

59.8 kB
Add files using upload-large-folder tool 15 days ago
P2.md

54.6 kB
Add files using upload-large-folder tool 15 days ago
P3_ENGINE.md

42.7 kB
Add files using upload-large-folder tool 15 days ago
PREREG_SOTA.md

14.5 kB
Add files using upload-large-folder tool 15 days ago
REFERENCE_GAP_ANALYSIS.md

39.2 kB
Add files using upload-large-folder tool 15 days ago
RL_LEAN.md

5.06 kB
Add files using upload-large-folder tool 15 days ago
ROADMAP.md

38.1 kB
Add files using upload-large-folder tool 15 days ago
SELF_DISTILLATION.md

21.6 kB
Add files using upload-large-folder tool 15 days ago
SOTA_PLAN.md

18.5 kB
Add files using upload-large-folder tool 15 days ago
SOTA_TARGETS.md

20.2 kB
Add files using upload-large-folder tool 15 days ago
TEACHERS.md

22 kB
Add files using upload-large-folder tool 15 days ago