{"about":{"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.","site":"https://codewithpapers.app","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","syntology":{"site":"https://syntology.ai","developers":"https://syntology.ai/developers","mcp":{"server":"https://syntology.ai/mcp","transport":"streamable-http","server_card":"https://syntology.ai/.well-known/mcp/server-card.json","auth":{"type":"trial token, no account","trial_token":"https://syntology.ai/api/oauth/trial/token","method":"POST","docs":"https://syntology.ai/developers"}},"have":"https://syntology.ai/api/graph/have?x=<method, arXiv id or title> (free, answers coverage only)","paper_base":"https://syntology.ai/paper/","atlas_base":"https://app.syntology.ai/?focus="},"machine_readable":[{"url":"https://codewithpapers.app/llms.txt","what":"the machine catalog: every machine-readable file, counted"},{"url":"https://codewithpapers.app/index/manifest.json","what":"paper-to-code index by arXiv id, with Syntology's counts"},{"url":"https://codewithpapers.app/search/manifest.json","what":"site search index (titles, authors) and its files"},{"url":"https://codewithpapers.app/download","what":"bulk files: Syntology's layer, described there"},{"url":"https://codewithpapers.app/build_manifest.json","what":"the build record: inputs, counts, exclusions, probes"}]},"url":"/task/collision-avoidance/papers/ran/1","list_of":"/task/collision-avoidance","task":"Collision Avoidance","archive":{"snapshot":"2025-07-28"},"key_notes":{"n_ran_checked":"legacy name, kept unchanged so existing readers do not break: it counts the samples that ran with no instrument failure (honoured, violated, and ran with no contract checked); it does not mean a contract was checked, and the pages print it as 'K with no instrument failure', not 'K checked'","n_constructed":"a sub-count of the samples that ran, never subtracted from them and never a failure: an executed sample whose run returned an instance of its own class (fixture_out_type equals the entry name): the run built an object and did not compute a result (Syntology's RAN record, counts.constructed)"},"syntology_read_at":"2026-09-28T10:30:06+00:00","order":"ran","order_definition":"only papers where Syntology ran at least one harvested sample; date (newest first), ties by arXiv id","caption":"We ran code from the paper's repository; we did not run it on this task or check it against the task's benchmarks.","absence":"A paper missing from this list is not a recorded non-run: it may have no arXiv id, no harvested code, or only samples that have not run yet.","page":1,"pages_in_order":1,"rows_per_page":100,"rows":[1,16],"of":16,"counts":{"archive_papers_tagged":569,"with_a_code_link":122,"where_syntology_ran_a_sample":16,"not_listed_spam_title":0,"listed":569,"listed_where_code_ran":16,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":14,"every_run_a_failure_of_syntologys_instrument":2,"listed_with_a_run_with_no_instrument_failure":14,"listed_every_run_a_failure_of_syntologys_instrument":2,"filter":{"states":["a run with no instrument failure","any run, instrument failures included"],"default":"a run with no instrument failure","note":"on the 'only where code ran' pages the default hides, in the browser, the rows where every run was a failure of Syntology's instrument; the second state shows them again. Rows are hidden, never re-ordered; these twins list every row"}},"definition":"distinct papers the archive tags; 'where Syntology ran a sample' counts papers with at least one harvested sample that ran, which is not a correctness claim"},"first_page":"/task/collision-avoidance/papers/ran/1","prev":null,"next":null,"papers":[{"url":"/paper/provably-safe-neural-network-controllers-via","slug":"provably-safe-neural-network-controllers-via","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","date":"2024-02-16","arxiv_id":"2402.10998","repositories_listed":1,"syntology":{"n":3,"n_ran":3,"n_constructed":0,"n_ran_checked":3,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":3,"n_pointer_only":3,"phrase":"3 ran (of which 0 constructed an object rather than computing a result; 3 with no instrument failure: 0 honoured, 0 violated, 3 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/provably-safe-neural-network-controllers-via#ran","syntology_url":"https://syntology.ai/paper/2402.10998","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2402.10998"}},"official":{"repos":["samysweb/ncubev"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":0,"n_ran_no_instrument_failure":3,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/neural-graph-control-barrier-functions-guided","slug":"neural-graph-control-barrier-functions-guided","title":"Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control","date":"2023-11-21","arxiv_id":"2311.13014","repositories_listed":1,"syntology":{"n":3,"n_ran":3,"n_constructed":0,"n_ran_checked":2,"n_instrument":1,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":3,"phrase":"3 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/neural-graph-control-barrier-functions-guided#ran","syntology_url":"https://syntology.ai/paper/2311.13014","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2311.13014"}},"official":{"repos":["MIT-REALM/gcbf-pytorch"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":0,"n_ran_no_instrument_failure":2,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/high-cadence-thermospheric-density-estimation","slug":"high-cadence-thermospheric-density-estimation","title":"High-Cadence Thermospheric Density Estimation enabled by Machine Learning on Solar Imagery","date":"2023-11-12","arxiv_id":"2312.06845","repositories_listed":1,"syntology":{"n":3,"n_ran":3,"n_constructed":0,"n_ran_checked":3,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":3,"n_pointer_only":0,"phrase":"3 ran (of which 0 constructed an object rather than computing a result; 3 with no instrument failure: 0 honoured, 0 violated, 3 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/high-cadence-thermospheric-density-estimation#ran","syntology_url":"https://syntology.ai/paper/2312.06845","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2312.06845"}},"official":{"repos":["spaceml-org/karman"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":0,"n_ran_no_instrument_failure":3,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/edmp-ensemble-of-costs-guided-diffusion-for","slug":"edmp-ensemble-of-costs-guided-diffusion-for","title":"EDMP: Ensemble-of-costs-guided Diffusion for Motion Planning","date":"2023-09-20","arxiv_id":"2309.11414","repositories_listed":1,"syntology":{"n":2,"n_ran":2,"n_constructed":0,"n_ran_checked":2,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":0,"phrase":"2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/edmp-ensemble-of-costs-guided-diffusion-for#ran","syntology_url":"https://syntology.ai/paper/2309.11414","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2309.11414"}},"official":{"repos":["vishal-2000/EDMP"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":2,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/avoidds-aircraft-vision-based-intruder-1","slug":"avoidds-aircraft-vision-based-intruder-1","title":"AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator","date":"2023-06-19","arxiv_id":"2306.11203","repositories_listed":1,"syntology":{"n":7,"n_ran":6,"n_constructed":0,"n_ran_checked":6,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":6,"n_pointer_only":0,"phrase":"6 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/avoidds-aircraft-vision-based-intruder-1#ran","syntology_url":"https://syntology.ai/paper/2306.11203","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2306.11203"}},"official":{"repos":["sisl/visionbasedaircraftdaa"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":0,"n_ran_no_instrument_failure":6,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/drip-domain-refinement-iteration-with","slug":"drip-domain-refinement-iteration-with","title":"DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops","date":"2022-12-09","arxiv_id":"2212.04646","repositories_listed":1,"syntology":{"n":5,"n_ran":2,"n_constructed":0,"n_ran_checked":2,"n_instrument":0,"n_unverified":3,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":0,"phrase":"2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 3 unverified","sample_list":"/paper/drip-domain-refinement-iteration-with#ran","syntology_url":"https://syntology.ai/paper/2212.04646","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2212.04646"}},"official":null}},{"url":"/paper/scalable-multi-agent-reinforcement-learning-2","slug":"scalable-multi-agent-reinforcement-learning-2","title":"Scalable Multi-Agent Reinforcement Learning through Intelligent Information Aggregation","date":"2022-11-03","arxiv_id":"2211.02127","repositories_listed":2,"syntology":{"n":1,"n_ran":1,"n_constructed":0,"n_ran_checked":0,"n_instrument":1,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":0,"phrase":"1 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/scalable-multi-agent-reinforcement-learning-2#ran","syntology_url":"https://syntology.ai/paper/2211.02127","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2211.02127"}},"official":{"repos":["nsidn98/informarl"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/self-supervised-point-cloud-prediction-using","slug":"self-supervised-point-cloud-prediction-using","title":"Self-supervised Point Cloud Prediction Using 3D Spatio-temporal Convolutional Networks","date":"2021-09-28","arxiv_id":"2110.04076","repositories_listed":1,"syntology":{"n":7,"n_ran":7,"n_constructed":0,"n_ran_checked":7,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":7,"n_pointer_only":0,"phrase":"7 ran (of which 0 constructed an object rather than computing a result; 7 with no instrument failure: 0 honoured, 0 violated, 7 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/self-supervised-point-cloud-prediction-using#ran","syntology_url":"https://syntology.ai/paper/2110.04076","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2110.04076"}},"official":{"repos":["prbonn/point-cloud-prediction"],"state":"official (archive's flag): 7 ran","n_ran":7,"n_constructed":0,"n_ran_no_instrument_failure":7,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/3d-object-detection-for-autonomous-driving-a","slug":"3d-object-detection-for-autonomous-driving-a","title":"3D Object Detection for Autonomous Driving: A Survey","date":"2021-06-21","arxiv_id":"2106.10823","repositories_listed":1,"syntology":{"n":3,"n_ran":2,"n_constructed":0,"n_ran_checked":0,"n_instrument":2,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":3,"phrase":"2 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 2 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/3d-object-detection-for-autonomous-driving-a#ran","syntology_url":"https://syntology.ai/paper/2106.10823","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2106.10823"}},"official":{"repos":["rui-qian/SoTA-3D-Object-Detection"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/provable-repair-of-deep-neural-networks","slug":"provable-repair-of-deep-neural-networks","title":"Provable Repair of Deep Neural Networks","date":"2021-04-09","arxiv_id":"2104.04413","repositories_listed":2,"syntology":{"n":4,"n_ran":3,"n_constructed":0,"n_ran_checked":3,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":3,"n_pointer_only":0,"phrase":"3 ran (of which 0 constructed an object rather than computing a result; 3 with no instrument failure: 0 honoured, 0 violated, 3 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/provable-repair-of-deep-neural-networks#ran","syntology_url":"https://syntology.ai/paper/2104.04413","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2104.04413"}},"official":{"repos":["95616ARG/PRDNN"],"state":"official: harvested, nothing ran","n_ran":0,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":1,"ran_from_kinds":["listed"]}}},{"url":"/paper/model-based-safe-reinforcement-learning-using","slug":"model-based-safe-reinforcement-learning-using","title":"Model-based Constrained Reinforcement Learning using Generalized Control Barrier Function","date":"2021-03-02","arxiv_id":"2103.01556","repositories_listed":1,"syntology":{"n":2,"n_ran":2,"n_constructed":0,"n_ran_checked":2,"n_instrument":0,"n_unverified":0,"n_honours":2,"n_violates":0,"n_no_contract":0,"n_pointer_only":2,"phrase":"2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 2 honoured, 0 violated, 0 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/model-based-safe-reinforcement-learning-using#ran","syntology_url":"https://syntology.ai/paper/2103.01556","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2103.01556"}},"official":{"repos":["mahaitongdae/safe_exp_env"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":2,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/guaranteeing-safety-for-neural-network-based","slug":"guaranteeing-safety-for-neural-network-based","title":"Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems","date":"2019-12-15","arxiv_id":"1912.07084","repositories_listed":1,"syntology":{"n":2,"n_ran":1,"n_constructed":0,"n_ran_checked":1,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":1,"n_pointer_only":0,"phrase":"1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/guaranteeing-safety-for-neural-network-based#ran","syntology_url":"https://syntology.ai/paper/1912.07084","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1912.07084"}},"official":{"repos":["sisl/horizontalcas"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":0,"n_ran_no_instrument_failure":1,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/art-abstraction-refinement-guided-training","slug":"art-abstraction-refinement-guided-training","title":"ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks","date":"2019-07-17","arxiv_id":"1907.10662","repositories_listed":1,"syntology":{"n":6,"n_ran":6,"n_constructed":0,"n_ran_checked":6,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":6,"n_pointer_only":0,"phrase":"6 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/art-abstraction-refinement-guided-training#ran","syntology_url":"https://syntology.ai/paper/1907.10662","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1907.10662"}},"official":{"repos":["XuankangLin/ART"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":0,"n_ran_no_instrument_failure":6,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/motion-planning-among-dynamic-decision-making","slug":"motion-planning-among-dynamic-decision-making","title":"Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning","date":"2018-05-04","arxiv_id":"1805.01956","repositories_listed":6,"syntology":{"n":6,"n_ran":5,"n_constructed":0,"n_ran_checked":5,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":5,"n_pointer_only":0,"phrase":"5 ran (of which 0 constructed an object rather than computing a result; 5 with no instrument failure: 0 honoured, 0 violated, 5 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/motion-planning-among-dynamic-decision-making#ran","syntology_url":"https://syntology.ai/paper/1805.01956","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1805.01956"}},"official":{"repos":["mfe7/cadrl_ros"],"state":"community repositories only","n_ran":0,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":0,"ran_from_kinds":["listed"]}}},{"url":"/paper/formal-security-analysis-of-neural-networks","slug":"formal-security-analysis-of-neural-networks","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","date":"2018-04-28","arxiv_id":"1804.10829","repositories_listed":4,"syntology":{"n":15,"n_ran":6,"n_constructed":0,"n_ran_checked":6,"n_instrument":0,"n_unverified":9,"n_honours":0,"n_violates":0,"n_no_contract":6,"n_pointer_only":0,"phrase":"6 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 0 where Syntology's instrument failed) · 9 unverified","sample_list":"/paper/formal-security-analysis-of-neural-networks#ran","syntology_url":"https://syntology.ai/paper/1804.10829","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1804.10829"}},"official":null}},{"url":"/paper/social-gan-socially-acceptable-trajectories","slug":"social-gan-socially-acceptable-trajectories","title":"Social GAN: Socially Acceptable Trajectories with Generative Adversarial Networks","date":"2018-03-29","arxiv_id":"1803.10892","repositories_listed":8,"syntology":{"n":10,"n_ran":10,"n_constructed":0,"n_ran_checked":6,"n_instrument":4,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":6,"n_pointer_only":4,"phrase":"10 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 4 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/social-gan-socially-acceptable-trajectories#ran","syntology_url":"https://syntology.ai/paper/1803.10892","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1803.10892"}},"official":{"repos":["agrimgupta92/sgan"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":0,"n_ran_no_instrument_failure":6,"n_unverified":0,"ran_from_kinds":["listed","official"]}}}],"record_sha256":"cfe61aad27fd478e639fe4df547f6fd9479eb5301a1dbbf01c2874c280025740","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}