| { | |
| "algorithm": "audited structural error classifier", | |
| "labels": [ | |
| "completed", | |
| "invalid_rewrite", | |
| "missing_import", | |
| "tactic_failure", | |
| "type_mismatch", | |
| "unsolved_goal" | |
| ], | |
| "metrics": { | |
| "test": { | |
| "accuracy": 1.0, | |
| "majority_baseline": 0.16666666666666666, | |
| "rows": 6 | |
| }, | |
| "train": { | |
| "accuracy": 1.0, | |
| "majority_baseline": 0.16666666666666666, | |
| "rows": 24 | |
| }, | |
| "validation": { | |
| "accuracy": 1.0, | |
| "majority_baseline": 0.16666666666666666, | |
| "rows": 6 | |
| } | |
| }, | |
| "model_type": "lean_proof_repair_classifier", | |
| "proofs_executed": false, | |
| "training_data": "dougdotcon/douvras-lean-proof-repair train split only" | |
| } | |