Research-Stack/3-Mathematical-Models/math_raw_summary.json
Brandon Schneider c0641ea875 integrate stashed changes: math model data updates + 4 receipt dirs + container config
- Update 3-Mathematical-Models JSON datasets (NUVMAP index, mass proofs,
  math_centric_samples, math_raw_summary, math_self_discovered +1.5M lines,
  structural_discovery, unified_9pattern_samples, unknown_discovery_report)
- Add adjacent_coprime_classification receipt (Lean proof + manifest)
- Add codebase-memory-receipt (Rust crate + manifests)
- Add desi_model_projection receipt (Lean proofs + manifest)
- Add deterministic_build_receipt (Lean build proof)
- Add Containerfile, run-container.sh, cupfox-config.nix
- Restore .github assets and changes.zip
2026-05-17 12:03:19 -05:00

46 lines
No EOL
1 KiB
JSON

{
"timestamp": "20260504_145319",
"total_equations": 1512873,
"has_refined_text": 1512873,
"columns": [
"uuid",
"equation",
"refined_equation"
],
"dropped_columns": [
"equation_id",
"pattern",
"domain",
"confidence",
"source",
"source_type",
"category",
"year",
"title",
"authors",
"doi",
"length",
"has_operator",
"has_derivative",
"has_integral",
"has_sum",
"has_product",
"has_fraction",
"has_matrix",
"has_vector",
"has_function_call",
"has_subscript",
"has_superscript",
"has_sqrt",
"is_short",
"is_medium",
"is_long",
"num_operators",
"num_variables",
"extracted_at",
"text_to_classify",
"unified_pattern"
],
"input_file": "/home/allaun/Documents/Research Stack/3-Mathematical-Models/equations_parquet_tagged/equations_unified_9pattern.parquet",
"output_file": "/home/allaun/Documents/Research Stack/3-Mathematical-Models/equations_parquet_tagged/equations_math_raw.parquet"
}