{"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/safe-float","entry":"safe_float","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":11,"n_papers_ran":6,"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":12,"n_samples_ran":6,"n_samples_fingerprinted":6,"n_places":12,"n_places_pointer_only":7,"by_status":{"ran_honours":1,"ran_violates":0,"ran_draft_wrong":0,"ran_fixture":0,"ran":5,"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":"2608.13711","paper":"/paper/arxiv-2608-13711","title":"TRUE-Colon: Exposing a Consistent Transfer Asymmetry in Real-Time Polyp Detection","date":null,"month_inferred_from_arxiv_id":"2026-08","title_source":"syntology","repo":"sdoerrich97/true-colon","path":"true_colon/_geometry.py","file_url":"https://github.com/sdoerrich97/true-colon/blob/HEAD/true_colon/_geometry.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"code_sha256_prefix":"94421aaa5239a75a","mcp_get_code":{"code_sha256":"94421aaa5239a75a"}},{"arxiv_id":"2606.30560","paper":"/paper/arxiv-2606-30560","title":"TraceLab: Characterizing Coding Agent Workloads for LLM Serving","date":null,"month_inferred_from_arxiv_id":"2026-06","title_source":"syntology","repo":"uw-syfi/TraceLab","path":"artifacts/utils/accumulators.py","file_url":"https://github.com/uw-syfi/TraceLab/blob/HEAD/artifacts/utils/accumulators.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"74d94aacaaaaf474","mcp_get_code":{"code_sha256":"74d94aacaaaaf474"}},{"arxiv_id":"2605.17693","paper":"/paper/arxiv-2605-17693","title":"Fine-tuning Pocket-Aware Diffusion Models via Denoising Policy Optimization","date":null,"month_inferred_from_arxiv_id":"2026-05","title_source":"syntology","repo":"xy9485/DePPA","path":"summarize_pocket_scores.py","file_url":"https://github.com/xy9485/DePPA/blob/HEAD/summarize_pocket_scores.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"3eb5d34460ab9e79","mcp_get_code":{"code_sha256":"3eb5d34460ab9e79"}},{"arxiv_id":"2605.17453","paper":"/paper/arxiv-2605-17453","title":"Trust No Tool: Evaluating and Defending LLM Agents under Untrusted Tool Feedback","date":null,"month_inferred_from_arxiv_id":"2026-05","title_source":"syntology","repo":"idwts/TRUST-BENCH","path":"code/risk_utils.py","file_url":"https://github.com/idwts/TRUST-BENCH/blob/HEAD/code/risk_utils.py","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"a1f87cba66347cf2","mcp_get_code":{"code_sha256":"a1f87cba66347cf2"}},{"arxiv_id":"2605.02063","paper":"/paper/arxiv-2605-02063","title":"Coopetition-Gym v1: A Formally Grounded Platform for Mixed-Motive Multi-Agent Reinforcement Learning under Strategic Coopetition","date":null,"month_inferred_from_arxiv_id":"2026-05","title_source":"syntology","repo":"vikpant/strategic-coopetition","path":"coopetition_gym/experiments/analyze.py","file_url":"https://github.com/vikpant/strategic-coopetition/blob/HEAD/coopetition_gym/experiments/analyze.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"code_sha256_prefix":"d0982e04629db25e","mcp_get_code":{"code_sha256":"d0982e04629db25e"}},{"arxiv_id":"2604.24348","paper":"/paper/arxiv-2604-24348","title":"OS-SPEAR: A Toolkit for the Safety, Performance, Efficiency, and Robustness Analysis of OS Agents","date":null,"month_inferred_from_arxiv_id":"2026-04","title_source":"syntology","repo":"Wuzheng02/OS-SPEAR","path":"report/evaluate.py","file_url":"https://github.com/Wuzheng02/OS-SPEAR/blob/HEAD/report/evaluate.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"32350ee94c299bb0","mcp_get_code":{"code_sha256":"32350ee94c299bb0"}},{"arxiv_id":"2604.20043","paper":"/paper/arxiv-2604-20043","title":"TriEx: A Game-based Tri-View Framework for Explaining Internal Reasoning in Multi-Agent LLMs","date":null,"month_inferred_from_arxiv_id":"2026-04","title_source":"syntology","repo":"Einsam1819/TriEx","path":"experiments/exp1_rulebase/exp1_rulebase.py","file_url":"https://github.com/Einsam1819/TriEx/blob/HEAD/experiments/exp1_rulebase/exp1_rulebase.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"ae32806475f85f95","mcp_get_code":{"code_sha256":"ae32806475f85f95"}},{"arxiv_id":"2604.20043","paper":"/paper/arxiv-2604-20043","title":"TriEx: A Game-based Tri-View Framework for Explaining Internal Reasoning in Multi-Agent LLMs","date":null,"month_inferred_from_arxiv_id":"2026-04","title_source":"syntology","repo":"Einsam1819/TriEx","path":"experiments/exp3a_oracle/3A_Ex.py","file_url":"https://github.com/Einsam1819/TriEx/blob/HEAD/experiments/exp3a_oracle/3A_Ex.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"168374ac8b49b0a4","mcp_get_code":{"code_sha256":"168374ac8b49b0a4"}},{"arxiv_id":"2602.02139","paper":"/paper/arxiv-2602-02139","title":"EvoMU: Evolutionary Machine Unlearning","date":null,"month_inferred_from_arxiv_id":"2026-02","title_source":"syntology","repo":"Batorskq/EvoMU","path":"summarize.py","file_url":"https://github.com/Batorskq/EvoMU/blob/HEAD/summarize.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"e77c8a3be2e573f9","mcp_get_code":{"code_sha256":"e77c8a3be2e573f9"}},{"arxiv_id":"2601.00223","paper":"/paper/arxiv-2601-00223","title":"JP-TL-Bench: Anchored Pairwise LLM Evaluation for Bidirectional Japanese-English Translation","date":null,"month_inferred_from_arxiv_id":"2026-01","title_source":"syntology","repo":"lhl/liquid-ai-hackathon-tokyo","path":"eval/tui-viewer.py","file_url":"https://github.com/lhl/liquid-ai-hackathon-tokyo/blob/HEAD/eval/tui-viewer.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"e54ec90657074faf","mcp_get_code":{"code_sha256":"e54ec90657074faf"}},{"arxiv_id":"2507.03009","paper":null,"title":"arXiv:2507.03009","date":null,"month_inferred_from_arxiv_id":"2025-07","title_source":null,"repo":"byaidu/pdfmathtranslate","path":"pdf2zh/pdfinterp.py","file_url":"https://github.com/byaidu/pdfmathtranslate/blob/HEAD/pdf2zh/pdfinterp.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"AGPL-3.0","inline_ok":false,"code_sha256_prefix":"601c93ad519c491d","mcp_get_code":{"code_sha256":"601c93ad519c491d"}},{"arxiv_id":"2301.04195","paper":"/paper/orbit-a-unified-simulation-framework-for","title":"Orbit: A Unified Simulation Framework for Interactive Robot Learning Environments","date":"2023-01-10","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"NVIDIA-Omniverse/Orbit","path":".github/actions/run-tests/junit_summary.py","file_url":"https://github.com/NVIDIA-Omniverse/Orbit/blob/HEAD/.github/actions/run-tests/junit_summary.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"BSD-3-Clause","inline_ok":true,"code_sha256_prefix":"932ffb5860009a25","mcp_get_code":{"code_sha256":"932ffb5860009a25"}}]}