{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:WX4ZUXPD3DBKWW4ENVTFJR4LV5","short_pith_number":"pith:WX4ZUXPD","schema_version":"1.0","canonical_sha256":"b5f99a5de3d8c2ab5b846d6654c78baf67c0b55db32b6496e90b9c1c902cbfec","source":{"kind":"arxiv","id":"2501.15618","version":3},"attestation_state":"computed","paper":{"title":"Your Learned Constraint is Secretly a Backward Reachable Tube","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.RO","authors_text":"Andrea Bajcsy, Gokul Swamy, Jonathan Francis, Michael Kaess, Mohamad Qadri","submitted_at":"2025-01-26T17:54:43Z","abstract_excerpt":"Inverse Constraint Learning (ICL) is the problem of inferring constraints from safe (i.e., constraint-satisfying) demonstrations. The hope is that these inferred constraints can then be used downstream to search for safe policies for new tasks and, potentially, under different dynamics. Our paper explores the question of what mathematical entity ICL recovers. Somewhat surprisingly, we show that both in theory and in practice, ICL recovers the set of states where failure is inevitable, rather than the set of states where failure has already happened. In the language of safe control, this means "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2501.15618","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-01-26T17:54:43Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"9a38737b240aa2f04cfe7884c1801be992b4f5fb1782e9a2183de14744a81d20","abstract_canon_sha256":"3def29ad1bc317daf5405efd53ed350be5f0d97a841374a40d91c3fce043c38b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:47:18.334900Z","signature_b64":"YOmufyOmaPLpG/FHhsYWejQ6L6vJebdOfAEBZKRMP2EaDJH5HX+mqBE/0xdzelqnA1QboGlexMlpBWj7tkjXAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5f99a5de3d8c2ab5b846d6654c78baf67c0b55db32b6496e90b9c1c902cbfec","last_reissued_at":"2026-07-05T11:47:18.334271Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:47:18.334271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Your Learned Constraint is Secretly a Backward Reachable Tube","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.RO","authors_text":"Andrea Bajcsy, Gokul Swamy, Jonathan Francis, Michael Kaess, Mohamad Qadri","submitted_at":"2025-01-26T17:54:43Z","abstract_excerpt":"Inverse Constraint Learning (ICL) is the problem of inferring constraints from safe (i.e., constraint-satisfying) demonstrations. The hope is that these inferred constraints can then be used downstream to search for safe policies for new tasks and, potentially, under different dynamics. Our paper explores the question of what mathematical entity ICL recovers. Somewhat surprisingly, we show that both in theory and in practice, ICL recovers the set of states where failure is inevitable, rather than the set of states where failure has already happened. In the language of safe control, this means "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.15618","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.15618/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2501.15618","created_at":"2026-07-05T11:47:18.334344+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.15618v3","created_at":"2026-07-05T11:47:18.334344+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.15618","created_at":"2026-07-05T11:47:18.334344+00:00"},{"alias_kind":"pith_short_12","alias_value":"WX4ZUXPD3DBK","created_at":"2026-07-05T11:47:18.334344+00:00"},{"alias_kind":"pith_short_16","alias_value":"WX4ZUXPD3DBKWW4E","created_at":"2026-07-05T11:47:18.334344+00:00"},{"alias_kind":"pith_short_8","alias_value":"WX4ZUXPD","created_at":"2026-07-05T11:47:18.334344+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5","json":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5.json","graph_json":"https://pith.science/api/pith-number/WX4ZUXPD3DBKWW4ENVTFJR4LV5/graph.json","events_json":"https://pith.science/api/pith-number/WX4ZUXPD3DBKWW4ENVTFJR4LV5/events.json","paper":"https://pith.science/paper/WX4ZUXPD"},"agent_actions":{"view_html":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5","download_json":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5.json","view_paper":"https://pith.science/paper/WX4ZUXPD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.15618&json=true","fetch_graph":"https://pith.science/api/pith-number/WX4ZUXPD3DBKWW4ENVTFJR4LV5/graph.json","fetch_events":"https://pith.science/api/pith-number/WX4ZUXPD3DBKWW4ENVTFJR4LV5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5/action/storage_attestation","attest_author":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5/action/author_attestation","sign_citation":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5/action/citation_signature","submit_replication":"https://pith.science/pith/WX4ZUXPD3DBKWW4ENVTFJR4LV5/action/replication_record"}},"created_at":"2026-07-05T11:47:18.334344+00:00","updated_at":"2026-07-05T11:47:18.334344+00:00"}