{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/code/load-model-config","entry":"load_model_config","source":"Syntology graph, per-sample; not an archive number","read_at":"2026-09-24T18:15:14+00:00","claim":"Names are grouped by exact entry-name string. Same-named routines are NOT asserted to be equivalent; 'ran' means executed on a synthesized fixture, not correctness. n_samples_ran = sum of by_status over every status except 'unverified' (ran_draft_wrong and ran_fixture are failures of Syntology's instrument, not of the code); n_papers_ran = papers with at least one such sample.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"},"n_papers":8,"n_papers_ran":2,"units":"n_samples, n_samples_ran, n_samples_fingerprinted and by_status count distinct code bodies (code_sha256); n_places and n_places_pointer_only count places, one per (paper, code body) pair, which is also the unit of the samples list","n_samples":8,"n_samples_ran":2,"n_samples_fingerprinted":0,"n_places":8,"n_places_pointer_only":3,"by_status":{"ran_honours":0,"ran_violates":0,"ran_draft_wrong":0,"ran_fixture":0,"ran":2,"unverified":6},"syntology":{"atlas_url":null,"mcp":null,"mcp_per_sample":{"tool":"get_code","arguments_in":"samples[].mcp_get_code"},"developers":"https://syntology.ai/developers"},"samples":[{"arxiv_id":"2607.19374","paper":"/paper/arxiv-2607-19374","title":"Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean","date":null,"month_inferred_from_arxiv_id":"2026-07","title_source":"syntology","repo":"tlb-22/Euclean","path":"src/codex_scheduler.py","file_url":"https://github.com/tlb-22/Euclean/blob/HEAD/src/codex_scheduler.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"b6d57fd9ba0c49ff","mcp_get_code":{"code_sha256":"b6d57fd9ba0c49ff"}},{"arxiv_id":"2601.21173","paper":"/paper/arxiv-2601-21173","title":"Multimodal Benchmark for Safety Assessment in Industrial Inspection Scenarios","date":null,"month_inferred_from_arxiv_id":"2026-01","title_source":"syntology","repo":"CVHub520/X-AnyLabeling","path":"anylabeling/services/auto_labeling/model.py","file_url":"https://github.com/CVHub520/X-AnyLabeling/blob/HEAD/anylabeling/services/auto_labeling/model.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"GPL-3.0","inline_ok":false,"code_sha256_prefix":"43f88c9cb503f0e7","mcp_get_code":{"code_sha256":"43f88c9cb503f0e7"}},{"arxiv_id":"2505.23281","paper":"/paper/matharena-evaluating-llms-on-uncontaminated","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","date":"2025-05-29","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"eth-sri/matharena","path":"src/matharena/arxivbench_utils.py","file_url":"https://github.com/eth-sri/matharena/blob/HEAD/src/matharena/arxivbench_utils.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"1556226ccd07a184","mcp_get_code":{"code_sha256":"1556226ccd07a184"}},{"arxiv_id":"2409.20553","paper":"/paper/maia-2-a-unified-model-for-human-ai-alignment","title":"Maia-2: A Unified Model for Human-AI Alignment in Chess","date":"2024-09-30","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"CSSLab/maia-chess","path":"blunder_prediction/maia_chess_backend/model_loader.py","file_url":"https://github.com/CSSLab/maia-chess/blob/HEAD/blunder_prediction/maia_chess_backend/model_loader.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"GPL-3.0","inline_ok":false,"code_sha256_prefix":"09eda5e6f21ccdab","mcp_get_code":{"code_sha256":"09eda5e6f21ccdab"}},{"arxiv_id":"2310.17504","paper":"/paper/revisiting-the-distillation-of-image","title":"Three Pillars improving Vision Foundation Model Distillation for Lidar","date":"2023-10-26","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"valeoai/scalr","path":"finetune.py","file_url":"https://github.com/valeoai/scalr/blob/HEAD/finetune.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"code_sha256_prefix":"8c3d171b49409c40","mcp_get_code":{"code_sha256":"8c3d171b49409c40"}},{"arxiv_id":"2310.16818","paper":"/paper/dreamcraft3d-hierarchical-3d-generation-with","title":"DreamCraft3D: Hierarchical 3D Generation with Bootstrapped Diffusion Prior","date":"2023-10-25","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"deepseek-ai/dreamcraft3d","path":"gradio_app.py","file_url":"https://github.com/deepseek-ai/dreamcraft3d/blob/HEAD/gradio_app.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"d83baa3f73241bc1","mcp_get_code":{"code_sha256":"d83baa3f73241bc1"}},{"arxiv_id":"2212.04356","paper":"/paper/robust-speech-recognition-via-large-scale-1","title":"Robust Speech Recognition via Large-Scale Weak Supervision","date":"2022-12-06","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ggerganov/whisper.cpp","path":"models/convert-parakeet-to-ggml.py","file_url":"https://github.com/ggerganov/whisper.cpp/blob/HEAD/models/convert-parakeet-to-ggml.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"ba1be9f251ecd80a","mcp_get_code":{"code_sha256":"ba1be9f251ecd80a"}},{"arxiv_id":"2204.13957","paper":"/paper/pie-a-parameter-and-inference-efficient","title":"PIE: a Parameter and Inference Efficient Solution for Large Scale Knowledge Graph Embedding Reasoning","date":"2022-04-29","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"alipay/parameter_inference_efficient_pie","path":"candidate/utils.py","file_url":"https://github.com/alipay/parameter_inference_efficient_pie/blob/HEAD/candidate/utils.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"fe11f904a96ceb2c","mcp_get_code":{"code_sha256":"fe11f904a96ceb2c"}}]}