{"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/extract-sections","entry":"extract_sections","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":6,"n_papers_ran":4,"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":6,"n_samples_ran":4,"n_samples_fingerprinted":3,"n_places":6,"n_places_pointer_only":3,"by_status":{"ran_honours":0,"ran_violates":0,"ran_draft_wrong":4,"ran_fixture":0,"ran":0,"unverified":2},"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":"2604.10261","paper":"/paper/arxiv-2604-10261","title":"The Amazing Agent Race: Strong Tool Users, Weak Navigators","date":null,"month_inferred_from_arxiv_id":"2026-04","title_source":"syntology","repo":"minnesotanlp/the-amazing-agent-race","path":"src/trail/builder.py","file_url":"https://github.com/minnesotanlp/the-amazing-agent-race/blob/HEAD/src/trail/builder.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"16e79860878b0114","mcp_get_code":{"code_sha256":"16e79860878b0114"}},{"arxiv_id":"2506.04180","paper":"/paper/superwriter-reflection-driven-long-form","title":"SuperWriter: Reflection-Driven Long-Form Generation with Large Language Models","date":"2025-06-04","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"mozhu621/superwriter","path":"DPO/MCTS_inference.py","file_url":"https://github.com/mozhu621/superwriter/blob/HEAD/DPO/MCTS_inference.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"fe3e8a34085bf9a8","mcp_get_code":{"code_sha256":"fe3e8a34085bf9a8"}},{"arxiv_id":"2505.13934","paper":"/paper/rlvr-world-training-world-models-with","title":"RLVR-World: Training World Models with Reinforcement Learning","date":"2025-05-20","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"thuml/RLVR-World","path":"lang_wm/webagent/agent/world_model_agent.py","file_url":"https://github.com/thuml/RLVR-World/blob/HEAD/lang_wm/webagent/agent/world_model_agent.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"ff25903c58c30586","mcp_get_code":{"code_sha256":"ff25903c58c30586"}},{"arxiv_id":"2501.19201","paper":"/paper/efficient-reasoning-with-hidden-thinking","title":"Efficient Reasoning with Hidden Thinking","date":"2025-01-31","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"shawnricecake/Heima","path":"heima/main_python/1_1-organize_dataset-num_thinking_tokens-fix_num.py","file_url":"https://github.com/shawnricecake/Heima/blob/HEAD/heima/main_python/1_1-organize_dataset-num_thinking_tokens-fix_num.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"396e58efde50875b","mcp_get_code":{"code_sha256":"396e58efde50875b"}},{"arxiv_id":"2406.01940","paper":"/paper/process-driven-autoformalization-in-lean-4","title":"Process-Driven Autoformalization in Lean 4","date":"2024-06-04","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"rookie-joe/pda","path":"code/Dataset-Informalization/informalization_gemini.py","file_url":"https://github.com/rookie-joe/pda/blob/HEAD/code/Dataset-Informalization/informalization_gemini.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"fa8dfc944587b7b9","mcp_get_code":{"code_sha256":"fa8dfc944587b7b9"}},{"arxiv_id":"2112.05682","paper":"/paper/self-attention-does-not-need-o-n-2-memory","title":"Self-attention Does Not Need $O(n^2)$ Memory","date":"2021-12-10","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"X-iZhang/Libra","path":"libra/eval/radiology_report.py","file_url":"https://github.com/X-iZhang/Libra/blob/HEAD/libra/eval/radiology_report.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":"fa3bb9e402f7460c","mcp_get_code":{"code_sha256":"fa3bb9e402f7460c"}}]}