{"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/is-float","entry":"is_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":14,"n_papers_ran":7,"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":14,"n_samples_ran":7,"n_samples_fingerprinted":0,"n_places":14,"n_places_pointer_only":4,"by_status":{"ran_honours":0,"ran_violates":4,"ran_draft_wrong":0,"ran_fixture":0,"ran":3,"unverified":7},"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.23264","paper":"/paper/arxiv-2604-23264","title":"MotionHiFlow: Text-to-Motion via Hierarchical Flow Matching","date":null,"month_inferred_from_arxiv_id":"2026-04","title_source":"syntology","repo":"ai-lh/MotionHiFlow","path":"src/utils/get_opt.py","file_url":"https://github.com/ai-lh/MotionHiFlow/blob/HEAD/src/utils/get_opt.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"b1f8a286e3a73b80","mcp_get_code":{"code_sha256":"b1f8a286e3a73b80"}},{"arxiv_id":"2507.05158","paper":null,"title":"arXiv:2507.05158","date":null,"month_inferred_from_arxiv_id":"2025-07","title_source":null,"repo":"chili-lab/InfoSteer","path":"compute_metrics.py","file_url":"https://github.com/chili-lab/InfoSteer/blob/HEAD/compute_metrics.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"89965743efdf5e23","mcp_get_code":{"code_sha256":"89965743efdf5e23"}},{"arxiv_id":"2405.17767","paper":"/paper/linguistic-collapse-neural-collapse-in-large","title":"Linguistic Collapse: Neural Collapse in (Large) Language Models","date":"2024-05-28","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"rhubarbwu/linguistic-collapse","path":"lib/utils.py","file_url":"https://github.com/rhubarbwu/linguistic-collapse/blob/HEAD/lib/utils.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"cc0336c0a472132a","mcp_get_code":{"code_sha256":"cc0336c0a472132a"}},{"arxiv_id":"2403.05307","paper":"/paper/tapilot-crossing-benchmarking-and-evolving","title":"Tapilot-Crossing: Benchmarking and Evolving LLMs Towards Interactive Data Analysis Agents","date":"2024-03-08","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"tapilot-crossing/tapilot_code","path":"eval/eval_code_gen.py","file_url":"https://github.com/tapilot-crossing/tapilot_code/blob/HEAD/eval/eval_code_gen.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"8fc4a6d9995f1727","mcp_get_code":{"code_sha256":"8fc4a6d9995f1727"}},{"arxiv_id":"2403.05266","paper":"/paper/erbench-an-entity-relationship-based","title":"ERBench: An Entity-Relationship based Automatically Verifiable Hallucination Benchmark for Large Language Models","date":"2024-03-08","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"dilab-kaist/erbench","path":"binary/run_qa.py","file_url":"https://github.com/dilab-kaist/erbench/blob/HEAD/binary/run_qa.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"4a2b8a8b145fe6d9","mcp_get_code":{"code_sha256":"4a2b8a8b145fe6d9"}},{"arxiv_id":"2402.11456","paper":"/paper/factpico-factuality-evaluation-for-plain","title":"FactPICO: Factuality Evaluation for Plain Language Summarization of Medical Evidence","date":"2024-02-18","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"lilywchen/FactPICO","path":"code/llm_evaluations/llm_gen.py","file_url":"https://github.com/lilywchen/FactPICO/blob/HEAD/code/llm_evaluations/llm_gen.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"5fdd61ab572b7602","mcp_get_code":{"code_sha256":"5fdd61ab572b7602"}},{"arxiv_id":"2306.00245","paper":"/paper/from-pixels-to-ui-actions-learning-to-follow","title":"From Pixels to UI Actions: Learning to Follow Instructions via Graphical User Interfaces","date":"2023-05-31","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"google-deepmind/pix2act","path":"pix2act/common/env_utils.py","file_url":"https://github.com/google-deepmind/pix2act/blob/HEAD/pix2act/common/env_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":"5e85cc9e77027c04","mcp_get_code":{"code_sha256":"5e85cc9e77027c04"}},{"arxiv_id":"2302.12604","paper":"/paper/neural-laplace-control-for-continuous-time","title":"Neural Laplace Control for Continuous-time Delayed Systems","date":"2023-02-24","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"samholt/neurallaplacecontrol","path":"process_results/process_logs.py","file_url":"https://github.com/samholt/neurallaplacecontrol/blob/HEAD/process_results/process_logs.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"e2448496ae21bf51","mcp_get_code":{"code_sha256":"e2448496ae21bf51"}},{"arxiv_id":"2209.09475","paper":"/paper/revisiting-image-pyramid-structure-for-high","title":"Revisiting Image Pyramid Structure for High Resolution Salient Object Detection","date":"2022-09-20","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"plemeri/transparent-background","path":"transparent_background/gui.py","file_url":"https://github.com/plemeri/transparent-background/blob/HEAD/transparent_background/gui.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"614f3ec915d613e1","mcp_get_code":{"code_sha256":"614f3ec915d613e1"}},{"arxiv_id":"2207.13176","paper":"/paper/exploring-the-unprecedented-privacy-risks-of","title":"Exploring the Privacy Risks of Adversarial VR Game Design","date":null,"month_inferred_from_arxiv_id":"2022-07","title_source":"archive","repo":"metaguard/metadata","path":"Scripts/Arms.py","file_url":"https://github.com/metaguard/metadata/blob/HEAD/Scripts/Arms.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"ba752018484ab36f","mcp_get_code":{"code_sha256":"ba752018484ab36f"}},{"arxiv_id":"2205.06733","paper":"/paper/improving-the-numerical-reasoning-skills-of","title":"Arithmetic-Based Pretraining -- Improving Numeracy of Pretrained Language Models","date":"2022-05-13","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ukplab/emnlp2022-reasoning-aware-pretraining","path":"utils.py","file_url":"https://github.com/ukplab/emnlp2022-reasoning-aware-pretraining/blob/HEAD/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":"0327ea5057921c8d","mcp_get_code":{"code_sha256":"0327ea5057921c8d"}},{"arxiv_id":"2109.09262","paper":"/paper/neural-unit-test-suggestions","title":"TOGA: A Neural Method for Test Oracle Generation","date":null,"month_inferred_from_arxiv_id":"2021-09","title_source":"archive","repo":"microsoft/toga","path":"model/assertion_data.py","file_url":"https://github.com/microsoft/toga/blob/HEAD/model/assertion_data.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"3867c570f55a2b22","mcp_get_code":{"code_sha256":"3867c570f55a2b22"}},{"arxiv_id":"1902.01046","paper":"/paper/towards-federated-learning-at-scale-system","title":"Towards Federated Learning at Scale: System Design","date":"2019-02-04","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"MTC-ETH/Federated-Learning-source","path":"nodeserver/data_wrapper_dummy_new/dummy_wrapper.py","file_url":"https://github.com/MTC-ETH/Federated-Learning-source/blob/HEAD/nodeserver/data_wrapper_dummy_new/dummy_wrapper.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":"eaabe002c4f1eb3d","mcp_get_code":{"code_sha256":"eaabe002c4f1eb3d"}},{"arxiv_id":"1603.01360","paper":"/paper/neural-architectures-for-named-entity","title":"Neural Architectures for Named Entity Recognition","date":"2016-03-04","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"marekrei/sequence-labeler","path":"experiment.py","file_url":"https://github.com/marekrei/sequence-labeler/blob/HEAD/experiment.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"0a315a31212d041f","mcp_get_code":{"code_sha256":"0a315a31212d041f"}}]}