| { | |
| "experiment": "P-MATH-INK-06-BOUNDARY-JOINT-001", | |
| "generated_at": "2026-07-23T19:21:14.776485+00:00", | |
| "seed": 17, | |
| "device": "cuda", | |
| "cuda_device": "NVIDIA GeForce GTX 1650", | |
| "training_contract": { | |
| "layouts": [ | |
| "same_row", | |
| "superscript", | |
| "subscript", | |
| "fraction_slots", | |
| "wide_infix_sides" | |
| ], | |
| "rehearsal_samples": 4800, | |
| "boundary_samples": 2400, | |
| "opened_modules": [ | |
| "trajectory_encoder.blocks.3", | |
| "trajectory_encoder.attention", | |
| "exact_head", | |
| "family_head", | |
| "boundary_head" | |
| ] | |
| }, | |
| "baseline_validation": { | |
| "samples": 4261, | |
| "exact_top1": 0.8195259328796057, | |
| "family_top1": 0.8892278807791598 | |
| }, | |
| "winner_validation": { | |
| "epoch": 8, | |
| "loss": 0.7003648030130487, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8272705937573339, | |
| "family_top1": 0.899319408589533 | |
| }, | |
| "boundary": { | |
| "threshold": 0.525, | |
| "accuracy": 0.9854166666666667, | |
| "f1": 0.9854711498547115, | |
| "roc_auc": 0.9985020833333333, | |
| "single_symbol_recall": 0.9816666666666667, | |
| "cross_boundary_recall": 0.9891666666666666, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| "history": [ | |
| { | |
| "epoch": 1, | |
| "loss": 0.881991362885425, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8202299929593992, | |
| "family_top1": 0.8950950481107721 | |
| }, | |
| "boundary": { | |
| "threshold": 0.49999999999999994, | |
| "accuracy": 0.9741666666666666, | |
| "f1": 0.9744013212221305, | |
| "roc_auc": 0.9960451388888889, | |
| "single_symbol_recall": 0.965, | |
| "cross_boundary_recall": 0.9833333333333333, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 2, | |
| "loss": 0.8389572375699094, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8237502933583666, | |
| "family_top1": 0.8990847218962685 | |
| }, | |
| "boundary": { | |
| "threshold": 0.525, | |
| "accuracy": 0.9775, | |
| "f1": 0.9776490066225165, | |
| "roc_auc": 0.9967159722222222, | |
| "single_symbol_recall": 0.9708333333333333, | |
| "cross_boundary_recall": 0.9841666666666666, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 3, | |
| "loss": 0.7969623349214855, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8246890401314245, | |
| "family_top1": 0.897911288429946 | |
| }, | |
| "boundary": { | |
| "threshold": 0.575, | |
| "accuracy": 0.9791666666666666, | |
| "f1": 0.9791666666666666, | |
| "roc_auc": 0.9972236111111111, | |
| "single_symbol_recall": 0.9791666666666666, | |
| "cross_boundary_recall": 0.9791666666666666, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 4, | |
| "loss": 0.7688765478761572, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.825393100211218, | |
| "family_top1": 0.8997887819760619 | |
| }, | |
| "boundary": { | |
| "threshold": 0.5499999999999999, | |
| "accuracy": 0.9820833333333333, | |
| "f1": 0.9820907955018742, | |
| "roc_auc": 0.9976666666666667, | |
| "single_symbol_recall": 0.9816666666666667, | |
| "cross_boundary_recall": 0.9825, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 5, | |
| "loss": 0.7481182076429066, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8256277869044825, | |
| "family_top1": 0.901196902135649 | |
| }, | |
| "boundary": { | |
| "threshold": 0.5499999999999999, | |
| "accuracy": 0.9833333333333333, | |
| "f1": 0.9833748960931006, | |
| "roc_auc": 0.9978784722222223, | |
| "single_symbol_recall": 0.9808333333333333, | |
| "cross_boundary_recall": 0.9858333333333333, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 6, | |
| "loss": 0.730723782589561, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8275052804505985, | |
| "family_top1": 0.9021356489087069 | |
| }, | |
| "boundary": { | |
| "threshold": 0.49999999999999994, | |
| "accuracy": 0.9845833333333334, | |
| "f1": 0.9846025801081981, | |
| "roc_auc": 0.9981006944444446, | |
| "single_symbol_recall": 0.9833333333333333, | |
| "cross_boundary_recall": 0.9858333333333333, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 7, | |
| "loss": 0.7125202746767747, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8265665336775405, | |
| "family_top1": 0.9016662755221779 | |
| }, | |
| "boundary": { | |
| "threshold": 0.525, | |
| "accuracy": 0.9845833333333334, | |
| "f1": 0.9846025801081981, | |
| "roc_auc": 0.99830625, | |
| "single_symbol_recall": 0.9833333333333333, | |
| "cross_boundary_recall": 0.9858333333333333, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| }, | |
| { | |
| "epoch": 8, | |
| "loss": 0.7003648030130487, | |
| "authentic": { | |
| "samples": 4261, | |
| "exact_top1": 0.8272705937573339, | |
| "family_top1": 0.899319408589533 | |
| }, | |
| "boundary": { | |
| "threshold": 0.525, | |
| "accuracy": 0.9854166666666667, | |
| "f1": 0.9854711498547115, | |
| "roc_auc": 0.9985020833333333, | |
| "single_symbol_recall": 0.9816666666666667, | |
| "cross_boundary_recall": 0.9891666666666666, | |
| "recall_gate_passed": true | |
| }, | |
| "eligible": true | |
| } | |
| ], | |
| "baseline_test": { | |
| "samples": 3782, | |
| "exact_top1": 0.7459016393442623, | |
| "family_top1": 0.8344791115811739 | |
| }, | |
| "official_test": { | |
| "authentic": { | |
| "samples": 3782, | |
| "exact_top1": 0.7765732416710736, | |
| "family_top1": 0.8622421998942359 | |
| }, | |
| "boundary": { | |
| "threshold": 0.525, | |
| "accuracy": 0.9783333333333334, | |
| "f1": 0.9785655399835119, | |
| "roc_auc": 0.9964729166666666, | |
| "single_symbol_recall": 0.9675, | |
| "cross_boundary_recall": 0.9891666666666666 | |
| }, | |
| "deltas": { | |
| "exact_top1_pp": 3.067160232681121, | |
| "family_top1_pp": 2.7763088313061957 | |
| } | |
| }, | |
| "decision": { | |
| "validation_adopted": true, | |
| "official_gate_passed": true, | |
| "release_adopted": true | |
| }, | |
| "checkpoint": "research\\runs\\math_ink_06_p_boundary_joint_seed17_20260724\\boundary_joint_delta.pt", | |
| "checkpoint_sha256": "e770b5e75f7e3819acbfa30cdc46a8c95b80af1747351bacf4eeca2996f2eb73", | |
| "track": "P_with_obligations", | |
| "product_validation": false, | |
| "interpretation_limit": "분리된 P 고립기호의 formula-layout 합성 proxy이며 실제 연속식 제품 gate가 아니다." | |
| } | |