{"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/symbolic-regression/papers/ran/1","list_of":"/task/symbolic-regression","task":"Symbolic Regression","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,33],"of":33,"counts":{"archive_papers_tagged":418,"with_a_code_link":155,"where_syntology_ran_a_sample":33,"not_listed_spam_title":0,"listed":418,"listed_where_code_ran":33,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":29,"every_run_a_failure_of_syntologys_instrument":4,"listed_with_a_run_with_no_instrument_failure":29,"listed_every_run_a_failure_of_syntologys_instrument":4,"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/symbolic-regression/papers/ran/1","prev":null,"next":null,"papers":[{"url":"/paper/improving-memory-efficiency-for-training-kans","slug":"improving-memory-efficiency-for-training-kans","title":"Improving Memory Efficiency for Training KANs via Meta Learning","date":"2025-06-09","arxiv_id":"2506.07549","repositories_listed":1,"syntology":{"n":9,"n_ran":3,"n_constructed":2,"n_ran_checked":2,"n_instrument":1,"n_unverified":6,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":9,"phrase":"3 ran (of which 2 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) · 6 unverified","sample_list":"/paper/improving-memory-efficiency-for-training-kans#ran","syntology_url":"https://syntology.ai/paper/2506.07549","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2506.07549"}},"official":{"repos":["murphyzc/metakan"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":2,"n_ran_no_instrument_failure":2,"n_unverified":6,"ran_from_kinds":["official"]}}},{"url":"/paper/improving-genetic-programming-for-symbolic","slug":"improving-genetic-programming-for-symbolic","title":"Improving Genetic Programming for Symbolic Regression with Equality Graphs","date":"2025-01-29","arxiv_id":"2501.17848","repositories_listed":2,"syntology":{"n":2,"n_ran":2,"n_constructed":0,"n_ran_checked":1,"n_instrument":1,"n_unverified":0,"n_honours":1,"n_violates":0,"n_no_contract":0,"n_pointer_only":0,"phrase":"2 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 1 honoured, 0 violated, 0 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/improving-genetic-programming-for-symbolic#ran","syntology_url":"https://syntology.ai/paper/2501.17848","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2501.17848"}},"official":{"repos":["folivetti/eggp_paper_GECCO","folivetti/srtree"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":1,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/ab-initio-nonparametric-variable-selection","slug":"ab-initio-nonparametric-variable-selection","title":"Ab Initio Nonparametric Variable Selection for Scalable Symbolic Regression with Large $p$","date":"2024-10-17","arxiv_id":"2410.13681","repositories_listed":1,"syntology":{"n":3,"n_ran":3,"n_constructed":0,"n_ran_checked":3,"n_instrument":0,"n_unverified":0,"n_honours":1,"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; 3 with no instrument failure: 1 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/ab-initio-nonparametric-variable-selection#ran","syntology_url":"https://syntology.ai/paper/2410.13681","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2410.13681"}},"official":{"repos":["mattsheng/PAN_SR"],"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/discovering-symbolic-expressions-with","slug":"discovering-symbolic-expressions-with","title":"Discovering symbolic expressions with parallelized tree search","date":"2024-07-05","arxiv_id":"2407.04405","repositories_listed":1,"syntology":{"n":10,"n_ran":8,"n_constructed":0,"n_ran_checked":8,"n_instrument":0,"n_unverified":2,"n_honours":0,"n_violates":0,"n_no_contract":8,"n_pointer_only":0,"phrase":"8 ran (of which 0 constructed an object rather than computing a result; 8 with no instrument failure: 0 honoured, 0 violated, 8 with no contract checked; 0 where Syntology's instrument failed) · 2 unverified","sample_list":"/paper/discovering-symbolic-expressions-with#ran","syntology_url":"https://syntology.ai/paper/2407.04405","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2407.04405"}},"official":{"repos":["intell-sci-comput/pts"],"state":"official (archive's flag): 8 ran","n_ran":8,"n_constructed":0,"n_ran_no_instrument_failure":8,"n_unverified":2,"ran_from_kinds":["official"]}}},{"url":"/paper/in-context-symbolic-regression-leveraging","slug":"in-context-symbolic-regression-leveraging","title":"In-Context Symbolic Regression: Leveraging Large Language Models for Function Discovery","date":"2024-04-29","arxiv_id":"2404.19094","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/in-context-symbolic-regression-leveraging#ran","syntology_url":"https://syntology.ai/paper/2404.19094","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2404.19094"}},"official":{"repos":["merlerm/in-context-symbolic-regression"],"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/the-causal-chambers-real-physical-systems-as","slug":"the-causal-chambers-real-physical-systems-as","title":"The Causal Chambers: Real Physical Systems as a Testbed for AI Methodology","date":"2024-04-17","arxiv_id":"2404.11341","repositories_listed":2,"syntology":{"n":29,"n_ran":20,"n_constructed":0,"n_ran_checked":20,"n_instrument":0,"n_unverified":9,"n_honours":0,"n_violates":1,"n_no_contract":19,"n_pointer_only":5,"phrase":"20 ran (of which 0 constructed an object rather than computing a result; 20 with no instrument failure: 0 honoured, 1 violated, 19 with no contract checked; 0 where Syntology's instrument failed) · 9 unverified","sample_list":"/paper/the-causal-chambers-real-physical-systems-as#ran","syntology_url":"https://syntology.ai/paper/2404.11341","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2404.11341"}},"official":{"repos":["juangamella/causal-chamber-paper"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":0,"n_ran_no_instrument_failure":6,"n_unverified":6,"ran_from_kinds":["listed","official"]}}},{"url":"/paper/shape-arithmetic-expressions-advancing","slug":"shape-arithmetic-expressions-advancing","title":"Shape Arithmetic Expressions: Advancing Scientific Discovery Beyond Closed-Form Equations","date":"2024-04-15","arxiv_id":"2404.09788","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":7,"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/shape-arithmetic-expressions-advancing#ran","syntology_url":"https://syntology.ai/paper/2404.09788","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2404.09788"}},"official":{"repos":["krzysztof-kacprzyk/shares"],"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/automated-discovery-of-symbolic-laws","slug":"automated-discovery-of-symbolic-laws","title":"Automated discovery of symbolic laws governing skill acquisition from naturally occurring data","date":"2024-04-08","arxiv_id":"2404.05689","repositories_listed":1,"syntology":{"n":3,"n_ran":2,"n_constructed":0,"n_ran_checked":2,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":3,"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) · 1 unverified","sample_list":"/paper/automated-discovery-of-symbolic-laws#ran","syntology_url":"https://syntology.ai/paper/2404.05689","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2404.05689"}},"official":{"repos":["ccnu-mathits/adm"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":2,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/opening-the-ai-black-box-program-synthesis","slug":"opening-the-ai-black-box-program-synthesis","title":"Opening the AI black box: program synthesis via mechanistic interpretability","date":"2024-02-07","arxiv_id":"2402.05110","repositories_listed":1,"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":4,"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/opening-the-ai-black-box-program-synthesis#ran","syntology_url":"https://syntology.ai/paper/2402.05110","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2402.05110"}},"official":{"repos":["ejmichaud/neural-verification"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":0,"n_ran_no_instrument_failure":3,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/vertical-symbolic-regression-via-deep-policy","slug":"vertical-symbolic-regression-via-deep-policy","title":"Vertical Symbolic Regression via Deep Policy Gradient","date":"2024-02-01","arxiv_id":"2402.00254","repositories_listed":1,"syntology":{"n":6,"n_ran":6,"n_constructed":0,"n_ran_checked":5,"n_instrument":1,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":5,"n_pointer_only":6,"phrase":"6 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; 1 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/vertical-symbolic-regression-via-deep-policy#ran","syntology_url":"https://syntology.ai/paper/2402.00254","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2402.00254"}},"official":{"repos":["jiangnanhugo/vsr-dpg"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":0,"n_ran_no_instrument_failure":5,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/deep-generative-symbolic-regression","slug":"deep-generative-symbolic-regression","title":"Deep Generative Symbolic Regression","date":"2023-12-30","arxiv_id":"2401.00282","repositories_listed":2,"syntology":{"n":5,"n_ran":3,"n_constructed":0,"n_ran_checked":3,"n_instrument":0,"n_unverified":2,"n_honours":0,"n_violates":0,"n_no_contract":3,"n_pointer_only":5,"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) · 2 unverified","sample_list":"/paper/deep-generative-symbolic-regression#ran","syntology_url":"https://syntology.ai/paper/2401.00282","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2401.00282"}},"official":{"repos":["samholt/deepgenerativesymbolicregression","vanderschaarlab/deepgenerativesymbolicregression"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":0,"n_ran_no_instrument_failure":3,"n_unverified":2,"ran_from_kinds":["official"]}}},{"url":"/paper/physical-symbolic-optimization","slug":"physical-symbolic-optimization","title":"Physical Symbolic Optimization","date":"2023-12-06","arxiv_id":"2312.03612","repositories_listed":1,"syntology":{"n":8,"n_ran":7,"n_constructed":0,"n_ran_checked":7,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":7,"n_pointer_only":7,"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) · 1 unverified","sample_list":"/paper/physical-symbolic-optimization#ran","syntology_url":"https://syntology.ai/paper/2312.03612","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2312.03612"}},"official":{"repos":["wassimtenachi/physo"],"state":"official: harvested, nothing ran","n_ran":0,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":1,"ran_from_kinds":["found_in_text"]}}},{"url":"/paper/odeformer-symbolic-regression-of-dynamical","slug":"odeformer-symbolic-regression-of-dynamical","title":"ODEFormer: Symbolic Regression of Dynamical Systems with Transformers","date":"2023-10-09","arxiv_id":"2310.05573","repositories_listed":1,"syntology":{"n":10,"n_ran":7,"n_constructed":0,"n_ran_checked":6,"n_instrument":1,"n_unverified":3,"n_honours":0,"n_violates":0,"n_no_contract":6,"n_pointer_only":0,"phrase":"7 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; 1 where Syntology's instrument failed) · 3 unverified","sample_list":"/paper/odeformer-symbolic-regression-of-dynamical#ran","syntology_url":"https://syntology.ai/paper/2310.05573","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2310.05573"}},"official":{"repos":["sdascoli/odeformer"],"state":"official (archive's flag): 7 ran","n_ran":7,"n_constructed":0,"n_ran_no_instrument_failure":6,"n_unverified":3,"ran_from_kinds":["official"]}}},{"url":"/paper/snip-bridging-mathematical-symbolic-and","slug":"snip-bridging-mathematical-symbolic-and","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","date":"2023-10-03","arxiv_id":"2310.02227","repositories_listed":2,"syntology":{"n":5,"n_ran":5,"n_constructed":0,"n_ran_checked":2,"n_instrument":3,"n_unverified":0,"n_honours":2,"n_violates":0,"n_no_contract":0,"n_pointer_only":1,"phrase":"5 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; 3 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/snip-bridging-mathematical-symbolic-and#ran","syntology_url":"https://syntology.ai/paper/2310.02227","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2310.02227"}},"official":{"repos":["deep-symbolic-mathematics/Multimodal-Math-Pretraining","deep-symbolic-mathematics/Multimodal-Symbolic-Regression"],"state":"official (archive's flag): 4 ran","n_ran":4,"n_constructed":0,"n_ran_no_instrument_failure":2,"n_unverified":0,"ran_from_kinds":["official","unlocated"]}}},{"url":"/paper/a-neural-guided-dynamic-symbolic-network-for","slug":"a-neural-guided-dynamic-symbolic-network-for","title":"A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data","date":"2023-09-24","arxiv_id":"2309.13705","repositories_listed":1,"syntology":{"n":11,"n_ran":7,"n_constructed":3,"n_ran_checked":4,"n_instrument":3,"n_unverified":4,"n_honours":0,"n_violates":0,"n_no_contract":4,"n_pointer_only":0,"phrase":"7 ran (of which 3 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 3 where Syntology's instrument failed) · 4 unverified","sample_list":"/paper/a-neural-guided-dynamic-symbolic-network-for#ran","syntology_url":"https://syntology.ai/paper/2309.13705","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2309.13705"}},"official":{"repos":["ailwq/dysymnet"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":3,"n_ran_no_instrument_failure":3,"n_unverified":4,"ran_from_kinds":["found_in_text","official"]}}},{"url":"/paper/interpretable-machine-learning-for-science","slug":"interpretable-machine-learning-for-science","title":"Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl","date":"2023-05-02","arxiv_id":"2305.01582","repositories_listed":4,"syntology":{"n":29,"n_ran":22,"n_constructed":0,"n_ran_checked":21,"n_instrument":1,"n_unverified":7,"n_honours":1,"n_violates":0,"n_no_contract":20,"n_pointer_only":0,"phrase":"22 ran (of which 0 constructed an object rather than computing a result; 21 with no instrument failure: 1 honoured, 0 violated, 20 with no contract checked; 1 where Syntology's instrument failed) · 7 unverified","sample_list":"/paper/interpretable-machine-learning-for-science#ran","syntology_url":"https://syntology.ai/paper/2305.01582","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2305.01582"}},"official":{"repos":["MilesCranmer/PySR","milescranmer/pysr_paper","milescranmer/symbolicregression.jl"],"state":"official (archive's flag): 14 ran","n_ran":14,"n_constructed":0,"n_ran_no_instrument_failure":13,"n_unverified":4,"ran_from_kinds":["listed","official"]}}},{"url":"/paper/transformer-based-planning-for-symbolic-1","slug":"transformer-based-planning-for-symbolic-1","title":"Transformer-based Planning for Symbolic Regression","date":"2023-03-13","arxiv_id":"2303.06833","repositories_listed":1,"syntology":{"n":8,"n_ran":4,"n_constructed":2,"n_ran_checked":2,"n_instrument":2,"n_unverified":4,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":0,"phrase":"4 ran (of which 2 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 2 where Syntology's instrument failed) · 4 unverified","sample_list":"/paper/transformer-based-planning-for-symbolic-1#ran","syntology_url":"https://syntology.ai/paper/2303.06833","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2303.06833"}},"official":{"repos":["deep-symbolic-mathematics/TPSR"],"state":"official (archive's flag): 4 ran","n_ran":4,"n_constructed":2,"n_ran_no_instrument_failure":2,"n_unverified":4,"ran_from_kinds":["official"]}}},{"url":"/paper/scimed-a-computational-framework-for-physics","slug":"scimed-a-computational-framework-for-physics","title":"A computational framework for physics-informed symbolic regression with straightforward integration of domain knowledge","date":"2022-09-13","arxiv_id":"2209.06257","repositories_listed":1,"syntology":{"n":5,"n_ran":5,"n_constructed":0,"n_ran_checked":5,"n_instrument":0,"n_unverified":0,"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) · 0 unverified","sample_list":"/paper/scimed-a-computational-framework-for-physics#ran","syntology_url":"https://syntology.ai/paper/2209.06257","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2209.06257"}},"official":{"repos":["lironsimon/scimed"],"state":"official (archive's flag): 5 ran","n_ran":5,"n_constructed":0,"n_ran_no_instrument_failure":5,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/automated-discovery-of-interpretable","slug":"automated-discovery-of-interpretable","title":"Automated discovery of interpretable gravitational-wave population models","date":"2022-07-25","arxiv_id":"2207.12409","repositories_listed":1,"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/automated-discovery-of-interpretable#ran","syntology_url":"https://syntology.ai/paper/2207.12409","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2207.12409"}},"official":{"repos":["kazewong/symbolicgwpopulation_paper"],"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/deep-learning-and-symbolic-regression-for","slug":"deep-learning-and-symbolic-regression-for","title":"Deep Learning and Symbolic Regression for Discovering Parametric Equations","date":"2022-07-01","arxiv_id":"2207.00529","repositories_listed":1,"syntology":{"n":3,"n_ran":3,"n_constructed":0,"n_ran_checked":0,"n_instrument":3,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":3,"phrase":"3 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; 3 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/deep-learning-and-symbolic-regression-for#ran","syntology_url":"https://syntology.ai/paper/2207.00529","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2207.00529"}},"official":{"repos":["samuelkim314/parametric-eql"],"state":"official (archive's flag): 3 ran","n_ran":3,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/rethinking-symbolic-regression-datasets-and","slug":"rethinking-symbolic-regression-datasets-and","title":"Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery","date":"2022-06-21","arxiv_id":"2206.10540","repositories_listed":1,"syntology":{"n":2,"n_ran":2,"n_constructed":0,"n_ran_checked":0,"n_instrument":2,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":0,"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) · 0 unverified","sample_list":"/paper/rethinking-symbolic-regression-datasets-and#ran","syntology_url":"https://syntology.ai/paper/2206.10540","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2206.10540"}},"official":{"repos":["omron-sinicx/srsd-benchmark"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/end-to-end-symbolic-regression-with","slug":"end-to-end-symbolic-regression-with","title":"End-to-end symbolic regression with transformers","date":"2022-04-22","arxiv_id":"2204.10532","repositories_listed":3,"syntology":{"n":4,"n_ran":4,"n_constructed":1,"n_ran_checked":0,"n_instrument":4,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":0,"phrase":"4 ran (of which 1 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 4 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/end-to-end-symbolic-regression-with#ran","syntology_url":"https://syntology.ai/paper/2204.10532","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2204.10532"}},"official":{"repos":["facebookresearch/symbolicregression"],"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":["listed","official"]}}},{"url":"/paper/dimensionless-machine-learning-imposing-exact","slug":"dimensionless-machine-learning-imposing-exact","title":"Dimensionless machine learning: Imposing exact units equivariance","date":"2022-04-02","arxiv_id":"2204.00887","repositories_listed":1,"syntology":{"n":17,"n_ran":15,"n_constructed":0,"n_ran_checked":15,"n_instrument":0,"n_unverified":2,"n_honours":0,"n_violates":1,"n_no_contract":14,"n_pointer_only":1,"phrase":"15 ran (of which 0 constructed an object rather than computing a result; 15 with no instrument failure: 0 honoured, 1 violated, 14 with no contract checked; 0 where Syntology's instrument failed) · 2 unverified","sample_list":"/paper/dimensionless-machine-learning-imposing-exact#ran","syntology_url":"https://syntology.ai/paper/2204.00887","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2204.00887"}},"official":{"repos":["weichiyao/scalaremlp"],"state":"official (archive's flag): 15 ran","n_ran":15,"n_constructed":0,"n_ran_no_instrument_failure":15,"n_unverified":2,"ran_from_kinds":["official"]}}},{"url":"/paper/on-neural-differential-equations","slug":"on-neural-differential-equations","title":"On Neural Differential Equations","date":"2022-02-04","arxiv_id":"2202.02435","repositories_listed":4,"syntology":{"n":4,"n_ran":4,"n_constructed":0,"n_ran_checked":1,"n_instrument":3,"n_unverified":0,"n_honours":0,"n_violates":1,"n_no_contract":0,"n_pointer_only":0,"phrase":"4 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 1 violated, 0 with no contract checked; 3 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/on-neural-differential-equations#ran","syntology_url":"https://syntology.ai/paper/2202.02435","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2202.02435"}},"official":{"repos":["patrick-kidger/diffrax","DiffEqML/torchdyn","rtqichen/torchdiffeq"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":0,"n_ran_no_instrument_failure":1,"n_unverified":0,"ran_from_kinds":["listed","official"]}}},{"url":"/paper/discovering-state-variables-hidden-in","slug":"discovering-state-variables-hidden-in","title":"Discovering State Variables Hidden in Experimental Data","date":"2021-12-20","arxiv_id":"2112.10755","repositories_listed":1,"syntology":{"n":16,"n_ran":15,"n_constructed":0,"n_ran_checked":15,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":15,"n_pointer_only":0,"phrase":"15 ran (of which 0 constructed an object rather than computing a result; 15 with no instrument failure: 0 honoured, 0 violated, 15 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/discovering-state-variables-hidden-in#ran","syntology_url":"https://syntology.ai/paper/2112.10755","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2112.10755"}},"official":null}},{"url":"/paper/symbolic-regression-via-neural-guided-genetic","slug":"symbolic-regression-via-neural-guided-genetic","title":"Symbolic Regression via Neural-Guided Genetic Programming Population Seeding","date":"2021-10-29","arxiv_id":"2111.00053","repositories_listed":2,"syntology":{"n":12,"n_ran":11,"n_constructed":0,"n_ran_checked":11,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":11,"n_pointer_only":0,"phrase":"11 ran (of which 0 constructed an object rather than computing a result; 11 with no instrument failure: 0 honoured, 0 violated, 11 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified","sample_list":"/paper/symbolic-regression-via-neural-guided-genetic#ran","syntology_url":"https://syntology.ai/paper/2111.00053","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2111.00053"}},"official":{"repos":["brendenpetersen/deep-symbolic-optimization"],"state":"official (archive's flag): 10 ran","n_ran":10,"n_constructed":0,"n_ran_no_instrument_failure":10,"n_unverified":0,"ran_from_kinds":["listed","official"]}}},{"url":"/paper/contemporary-symbolic-regression-methods-and","slug":"contemporary-symbolic-regression-methods-and","title":"Contemporary Symbolic Regression Methods and their Relative Performance","date":"2021-07-29","arxiv_id":"2107.14351","repositories_listed":5,"syntology":{"n":8,"n_ran":8,"n_constructed":0,"n_ran_checked":8,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":8,"n_pointer_only":0,"phrase":"8 ran (of which 0 constructed an object rather than computing a result; 8 with no instrument failure: 0 honoured, 0 violated, 8 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/contemporary-symbolic-regression-methods-and#ran","syntology_url":"https://syntology.ai/paper/2107.14351","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2107.14351"}},"official":{"repos":["EpistasisLab/srbench","heal-research/operon","lacava/ode-strogatz","marcovirgolin/GP-GOMEA"],"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/symbolicgpt-a-generative-transformer-model","slug":"symbolicgpt-a-generative-transformer-model","title":"SymbolicGPT: A Generative Transformer Model for Symbolic Regression","date":"2021-06-27","arxiv_id":"2106.14131","repositories_listed":2,"syntology":{"n":9,"n_ran":9,"n_constructed":0,"n_ran_checked":8,"n_instrument":1,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":8,"n_pointer_only":0,"phrase":"9 ran (of which 0 constructed an object rather than computing a result; 8 with no instrument failure: 0 honoured, 0 violated, 8 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/symbolicgpt-a-generative-transformer-model#ran","syntology_url":"https://syntology.ai/paper/2106.14131","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2106.14131"}},"official":{"repos":["git.uwaterloo.ca/data-analytics-lab/symbolicgpt2"],"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/neural-symbolic-regression-that-scales","slug":"neural-symbolic-regression-that-scales","title":"Neural Symbolic Regression that Scales","date":"2021-06-11","arxiv_id":"2106.06427","repositories_listed":2,"syntology":{"n":7,"n_ran":4,"n_constructed":4,"n_ran_checked":4,"n_instrument":0,"n_unverified":3,"n_honours":0,"n_violates":0,"n_no_contract":4,"n_pointer_only":0,"phrase":"4 ran (of which 4 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 0 where Syntology's instrument failed) · 3 unverified; every one of the 4 samples that ran constructed an object rather than computing a result","sample_list":"/paper/neural-symbolic-regression-that-scales#ran","syntology_url":"https://syntology.ai/paper/2106.06427","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2106.06427"}},"official":{"repos":["SymposiumOrganization/NeuralSymbolicRegressionThatScales"],"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/discovering-symbolic-models-from-deep","slug":"discovering-symbolic-models-from-deep","title":"Discovering Symbolic Models from Deep Learning with Inductive Biases","date":"2020-06-19","arxiv_id":"2006.11287","repositories_listed":3,"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/discovering-symbolic-models-from-deep#ran","syntology_url":"https://syntology.ai/paper/2006.11287","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2006.11287"}},"official":{"repos":["MilesCranmer/PySR","MilesCranmer/symbolic_deep_learning"],"state":"official (archive's flag): 5 ran","n_ran":5,"n_constructed":0,"n_ran_no_instrument_failure":5,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/ai-feynman-2-0-pareto-optimal-symbolic","slug":"ai-feynman-2-0-pareto-optimal-symbolic","title":"AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity","date":"2020-06-18","arxiv_id":"2006.10782","repositories_listed":2,"syntology":{"n":20,"n_ran":12,"n_constructed":0,"n_ran_checked":8,"n_instrument":4,"n_unverified":8,"n_honours":0,"n_violates":1,"n_no_contract":7,"n_pointer_only":0,"phrase":"12 ran (of which 0 constructed an object rather than computing a result; 8 with no instrument failure: 0 honoured, 1 violated, 7 with no contract checked; 4 where Syntology's instrument failed) · 8 unverified","sample_list":"/paper/ai-feynman-2-0-pareto-optimal-symbolic#ran","syntology_url":"https://syntology.ai/paper/2006.10782","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2006.10782"}},"official":null}},{"url":"/paper/learning-a-formula-of-interpretability-to","slug":"learning-a-formula-of-interpretability-to","title":"Learning a Formula of Interpretability to Learn Interpretable Formulas","date":"2020-04-23","arxiv_id":"2004.11170","repositories_listed":3,"syntology":{"n":4,"n_ran":4,"n_constructed":0,"n_ran_checked":4,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":4,"n_pointer_only":0,"phrase":"4 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified","sample_list":"/paper/learning-a-formula-of-interpretability-to#ran","syntology_url":"https://syntology.ai/paper/2004.11170","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2004.11170"}},"official":{"repos":["MaLeLabTs/GPFormulasInterpretability","marcovirgolin/pyNSGP"],"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/grammar-variational-autoencoder","slug":"grammar-variational-autoencoder","title":"Grammar Variational Autoencoder","date":"2017-03-06","arxiv_id":"1703.01925","repositories_listed":4,"syntology":{"n":19,"n_ran":8,"n_constructed":0,"n_ran_checked":5,"n_instrument":3,"n_unverified":11,"n_honours":0,"n_violates":1,"n_no_contract":4,"n_pointer_only":3,"phrase":"8 ran (of which 0 constructed an object rather than computing a result; 5 with no instrument failure: 0 honoured, 1 violated, 4 with no contract checked; 3 where Syntology's instrument failed) · 11 unverified","sample_list":"/paper/grammar-variational-autoencoder#ran","syntology_url":"https://syntology.ai/paper/1703.01925","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1703.01925"}},"official":null}}],"record_sha256":"1bbcee038468dd449a5e1d152e5e61af95a65a028550ebed9e9a4f1d5530687e","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}