Spaces:

build-small-hackathon
/

proofkit

Running on Zero

App Files Files

proofkit / scripts

125 kB

Ctrl+K

Ctrl+K

6 contributors

History: 22 commits

visprogithub

Refactor code structure for improved readability and maintainability

7cb4895 3 days ago

apply_claude_judge.py

2.83 kB
Refactor code structure for improved readability and maintainability 3 days ago
build_embeddings.py

4.67 kB
Refactor code structure for improved readability and maintainability 14 days ago
build_kb.py

2.02 kB
Add Kaggle + Hugging Face dataset ingestion with periodic refresh 17 days ago
capture_screenshots.py

5.93 kB
Refactor artifact selection logic and enhance user experience 4 days ago
convert_to_gguf.py

2.83 kB
Refactor model configurations and fine-tuning process to use openai/gpt-oss-20b 11 days ago
distill_generate.py

10.4 kB
Add comprehensive specifications and user stories for ProofKit 6 days ago
eval_charts.py

6.51 kB
Add evaluation analysis and judging scripts for ProofKit models 5 days ago
export_openai_evals.py

6.61 kB
Add evaluation analysis and judging scripts for ProofKit models 5 days ago
finetune_lora.py

10.9 kB
Add comprehensive specifications and user stories for ProofKit 6 days ago
modal_convert_qwen_gguf.py

6.54 kB
Refactor code structure for improved readability and maintainability 3 days ago
modal_distill.py

10.9 kB
Add comprehensive specifications and user stories for ProofKit 6 days ago
modal_eval_sweep.py

16.3 kB
Refactor code structure for improved readability and maintainability 3 days ago
modal_train_gpt_oss.py

9.96 kB
Add comprehensive specifications and user stories for ProofKit 6 days ago
publish_model.py

3.89 kB
Refactor model configurations and fine-tuning process to use openai/gpt-oss-20b 11 days ago
rejudge_eval.py

6.64 kB
Add evaluation analysis and judging scripts for ProofKit models 5 days ago
repair_eval_results.py

6.27 kB
Add evaluation analysis and judging scripts for ProofKit models 5 days ago
train_gpt_oss.py

5.18 kB
Refactor fine-tuning scripts and documentation for ProofKit 8 days ago
train_qwen0.5b_7k_local.py

4.2 kB
Add comprehensive specifications and user stories for ProofKit 6 days ago
upload_trace.py

2.73 kB
Add local-first/llama.cpp backend, fine-tune pipeline, traces, custom UI 14 days ago