Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
build-small-hackathon
/
proofkit
like
0
Running
on
Zero
App
Files
Files
Fetching metadata from the HF Docker repository...
main
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