{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:YZUGV6K4EOG75IGKWMHQGAYLUE","short_pith_number":"pith:YZUGV6K4","schema_version":"1.0","canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","source":{"kind":"arxiv","id":"2302.13482","version":3},"attestation_state":"computed","paper":{"title":"PyReason: Software for Open World Temporal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.LO","authors_text":"Abhiraj Chaudhary, Dyuman Aditya, Kaustuv Mukherji, Paulo Shakarian, Srikar Balasubramanian","submitted_at":"2023-02-27T02:40:05Z","abstract_excerpt":"The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software framework based on generalized annotated logic that both captures the current cohort of differentiable logics and temporal extensions to support inference over finite periods of time with capabilities for open world reasoning. Further, PyReason is implemented to directly support reasoning over graphical structures (e.g., knowledge graphs, social networks, biological networks, etc.), produces fully explainable traces of "},"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":"2302.13482","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-02-27T02:40:05Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"6549b4f230848b8a9289a58fba1206514cd619cb6dc39661cf2cb851a1d63eba","abstract_canon_sha256":"a6aa1236beb6121b30f5cc6deec485891457572b8b32c234dc57e8fc613c4954"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:48:06.598756Z","signature_b64":"Nzbezdr8Ad+jXPJzrec9MVkER+CYOhYKS41omDUDhH5iHLNLzflKZ1sdAKPxsGQUSji95E89zSDS6hn1/O08BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","last_reissued_at":"2026-07-05T05:48:06.598310Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:48:06.598310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PyReason: Software for Open World Temporal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.LO","authors_text":"Abhiraj Chaudhary, Dyuman Aditya, Kaustuv Mukherji, Paulo Shakarian, Srikar Balasubramanian","submitted_at":"2023-02-27T02:40:05Z","abstract_excerpt":"The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software framework based on generalized annotated logic that both captures the current cohort of differentiable logics and temporal extensions to support inference over finite periods of time with capabilities for open world reasoning. Further, PyReason is implemented to directly support reasoning over graphical structures (e.g., knowledge graphs, social networks, biological networks, etc.), produces fully explainable traces of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.13482","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/2302.13482/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":"2302.13482","created_at":"2026-07-05T05:48:06.598379+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.13482v3","created_at":"2026-07-05T05:48:06.598379+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.13482","created_at":"2026-07-05T05:48:06.598379+00:00"},{"alias_kind":"pith_short_12","alias_value":"YZUGV6K4EOG7","created_at":"2026-07-05T05:48:06.598379+00:00"},{"alias_kind":"pith_short_16","alias_value":"YZUGV6K4EOG75IGK","created_at":"2026-07-05T05:48:06.598379+00:00"},{"alias_kind":"pith_short_8","alias_value":"YZUGV6K4","created_at":"2026-07-05T05:48:06.598379+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2601.15599","citing_title":"Autonomous Business System via Neuro-symbolic AI","ref_index":46,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE","json":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE.json","graph_json":"https://pith.science/api/pith-number/YZUGV6K4EOG75IGKWMHQGAYLUE/graph.json","events_json":"https://pith.science/api/pith-number/YZUGV6K4EOG75IGKWMHQGAYLUE/events.json","paper":"https://pith.science/paper/YZUGV6K4"},"agent_actions":{"view_html":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE","download_json":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE.json","view_paper":"https://pith.science/paper/YZUGV6K4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.13482&json=true","fetch_graph":"https://pith.science/api/pith-number/YZUGV6K4EOG75IGKWMHQGAYLUE/graph.json","fetch_events":"https://pith.science/api/pith-number/YZUGV6K4EOG75IGKWMHQGAYLUE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/action/storage_attestation","attest_author":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/action/author_attestation","sign_citation":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/action/citation_signature","submit_replication":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/action/replication_record"}},"created_at":"2026-07-05T05:48:06.598379+00:00","updated_at":"2026-07-05T05:48:06.598379+00:00"}