{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RSY3VFDZLA2C7X6HQLG5ED3PRX","short_pith_number":"pith:RSY3VFDZ","canonical_record":{"source":{"id":"2607.08339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-09T10:29:15Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"987aab0af4b9945a27fc27df5d4ba9d005254f268a3418c1b4cc5148b5c03cc1","abstract_canon_sha256":"dac1b69452f7ec7eb165038ddd7147e189b694a397421a041176cb3ee9099f66"},"schema_version":"1.0"},"canonical_sha256":"8cb1ba947958342fdfc782cdd20f6f8dca3c1f7b0cdbbb1ee9e2b3808463f8c2","source":{"kind":"arxiv","id":"2607.08339","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08339","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08339v1","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08339","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"pith_short_12","alias_value":"RSY3VFDZLA2C","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"pith_short_16","alias_value":"RSY3VFDZLA2C7X6H","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"pith_short_8","alias_value":"RSY3VFDZ","created_at":"2026-07-10T01:19:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RSY3VFDZLA2C7X6HQLG5ED3PRX","target":"record","payload":{"canonical_record":{"source":{"id":"2607.08339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-09T10:29:15Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"987aab0af4b9945a27fc27df5d4ba9d005254f268a3418c1b4cc5148b5c03cc1","abstract_canon_sha256":"dac1b69452f7ec7eb165038ddd7147e189b694a397421a041176cb3ee9099f66"},"schema_version":"1.0"},"canonical_sha256":"8cb1ba947958342fdfc782cdd20f6f8dca3c1f7b0cdbbb1ee9e2b3808463f8c2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-10T01:19:47.598298Z","signature_b64":"nimhJIj6h19CphXMcmSls8aDeWvTYcBLLpfRJN94ZCj6GKHCX8Kw3LoPoF8apbPcH2KRYHukeKV519+n0594Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8cb1ba947958342fdfc782cdd20f6f8dca3c1f7b0cdbbb1ee9e2b3808463f8c2","last_reissued_at":"2026-07-10T01:19:47.597906Z","signature_status":"signed_v1","first_computed_at":"2026-07-10T01:19:47.597906Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.08339","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T01:19:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+JL1RWAHogzZ8Pk9ZlmKqYWLmEytR6KKJgTA8IclUCaMUV910XQmuzBAqHU1cgbblllaSDKHsaXOf3kISccUDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T08:47:11.161623Z"},"content_sha256":"bb1777b6380542bec922da6d4970a045577f12418e4d72480821b65a8b99cff5","schema_version":"1.0","event_id":"sha256:bb1777b6380542bec922da6d4970a045577f12418e4d72480821b65a8b99cff5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RSY3VFDZLA2C7X6HQLG5ED3PRX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TypeProbe: Recovering Type Representations from Hidden States of Pre-trained Code Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.CL","authors_text":"Fausto Carcassi, Giuliano Gorgone","submitted_at":"2026-07-09T10:29:15Z","abstract_excerpt":"State-of-the-art code models achieve impressive performance, yet the extent to which they internally encode type information remains poorly understood. We probe the residual streams of pretrained code models for internal type representations using a parallel dataset of Java and Python code examples. Our results show that cross-lingual type representations emerge even from untyped code. Moreover, we test whether hidden states linearly encode the result type implied by typed function application by training probes on one language to infer argument and result types in the other. Finally, we find "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08339","kind":"arxiv","version":1},"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/2607.08339/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T01:19:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7HVZZAIXeY3coDCo00wyQ5PIDyQEUACwvecC/HHG+DssxZdpiyTCqeHkgHNurklMDKvXFcn3HwHXLcTrz7yaDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T08:47:11.162095Z"},"content_sha256":"b8d1b6c54156f9b22c91d258388b802b94f4aa1542998ab338334a4577888866","schema_version":"1.0","event_id":"sha256:b8d1b6c54156f9b22c91d258388b802b94f4aa1542998ab338334a4577888866"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX/bundle.json","state_url":"https://pith.science/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-04T08:47:11Z","links":{"resolver":"https://pith.science/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX","bundle":"https://pith.science/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX/bundle.json","state":"https://pith.science/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RSY3VFDZLA2C7X6HQLG5ED3PRX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RSY3VFDZLA2C7X6HQLG5ED3PRX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"dac1b69452f7ec7eb165038ddd7147e189b694a397421a041176cb3ee9099f66","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-09T10:29:15Z","title_canon_sha256":"987aab0af4b9945a27fc27df5d4ba9d005254f268a3418c1b4cc5148b5c03cc1"},"schema_version":"1.0","source":{"id":"2607.08339","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08339","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08339v1","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08339","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"pith_short_12","alias_value":"RSY3VFDZLA2C","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"pith_short_16","alias_value":"RSY3VFDZLA2C7X6H","created_at":"2026-07-10T01:19:47Z"},{"alias_kind":"pith_short_8","alias_value":"RSY3VFDZ","created_at":"2026-07-10T01:19:47Z"}],"graph_snapshots":[{"event_id":"sha256:b8d1b6c54156f9b22c91d258388b802b94f4aa1542998ab338334a4577888866","target":"graph","created_at":"2026-07-10T01:19:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.08339/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"State-of-the-art code models achieve impressive performance, yet the extent to which they internally encode type information remains poorly understood. We probe the residual streams of pretrained code models for internal type representations using a parallel dataset of Java and Python code examples. Our results show that cross-lingual type representations emerge even from untyped code. Moreover, we test whether hidden states linearly encode the result type implied by typed function application by training probes on one language to infer argument and result types in the other. Finally, we find ","authors_text":"Fausto Carcassi, Giuliano Gorgone","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-09T10:29:15Z","title":"TypeProbe: Recovering Type Representations from Hidden States of Pre-trained Code Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08339","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bb1777b6380542bec922da6d4970a045577f12418e4d72480821b65a8b99cff5","target":"record","created_at":"2026-07-10T01:19:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"dac1b69452f7ec7eb165038ddd7147e189b694a397421a041176cb3ee9099f66","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-09T10:29:15Z","title_canon_sha256":"987aab0af4b9945a27fc27df5d4ba9d005254f268a3418c1b4cc5148b5c03cc1"},"schema_version":"1.0","source":{"id":"2607.08339","kind":"arxiv","version":1}},"canonical_sha256":"8cb1ba947958342fdfc782cdd20f6f8dca3c1f7b0cdbbb1ee9e2b3808463f8c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cb1ba947958342fdfc782cdd20f6f8dca3c1f7b0cdbbb1ee9e2b3808463f8c2","first_computed_at":"2026-07-10T01:19:47.597906Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-10T01:19:47.597906Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nimhJIj6h19CphXMcmSls8aDeWvTYcBLLpfRJN94ZCj6GKHCX8Kw3LoPoF8apbPcH2KRYHukeKV519+n0594Bw==","signature_status":"signed_v1","signed_at":"2026-07-10T01:19:47.598298Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.08339","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb1777b6380542bec922da6d4970a045577f12418e4d72480821b65a8b99cff5","sha256:b8d1b6c54156f9b22c91d258388b802b94f4aa1542998ab338334a4577888866"],"state_sha256":"4d816a562e1a46cf877c120878985af3bf8aa9c51c8e93018d15f0ccf41ccf42"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0BQEJN5SaqqzFoem6pxd0mHCS7mshXePV/EQZpmKc2L4oLhJSDbA/cvplfsA2622LLMAkN7NXwpr48bdKFtDDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T08:47:11.166434Z","bundle_sha256":"c09cb60e2ec944982bcb9ceb54ea4ee188e8e97c27e7307e9e27a905a49684dd"}}