{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:3AINTNMOPCSRGI7CUNPDDZ3WKW","short_pith_number":"pith:3AINTNMO","schema_version":"1.0","canonical_sha256":"d810d9b58e78a51323e2a35e31e77655b9e671d6ca448a980f4d3e8f5e43555d","source":{"kind":"arxiv","id":"1503.06480","version":1},"attestation_state":"computed","paper":{"title":"Model Checking Tap Withdrawal in C. Elegans","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.SY","q-bio.NC"],"primary_cat":"cs.LO","authors_text":"Chuchu Fan, Md. Ariful Islam, Radu Grosu, Richard DeFrancisco, Sayan Mitra, Scott A. Smolka","submitted_at":"2015-03-22T21:12:42Z","abstract_excerpt":"We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \\emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \\emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is"},"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":"1503.06480","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-22T21:12:42Z","cross_cats_sorted":["cs.CE","cs.SY","q-bio.NC"],"title_canon_sha256":"0fde6127c8ec6cad19f906a9cbdc4d7ad37ff08d84274e34787699387a2f6bad","abstract_canon_sha256":"69ae091cc757123de5456b892a78592a0d8bef334f7ce06f7b66db69a6817ce6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:20:38.258084Z","signature_b64":"ZHN+7OMPBoUXFTiYf7e83DGPHiKoKrCxQ1e/SJ/CALc41g223bLfm/iyhD1GDBDBkESVKZ64KP2VSPFHEGm6Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d810d9b58e78a51323e2a35e31e77655b9e671d6ca448a980f4d3e8f5e43555d","last_reissued_at":"2026-05-18T02:20:38.257401Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:20:38.257401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model Checking Tap Withdrawal in C. Elegans","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.SY","q-bio.NC"],"primary_cat":"cs.LO","authors_text":"Chuchu Fan, Md. Ariful Islam, Radu Grosu, Richard DeFrancisco, Sayan Mitra, Scott A. Smolka","submitted_at":"2015-03-22T21:12:42Z","abstract_excerpt":"We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \\emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \\emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.06480","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":""},"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":"1503.06480","created_at":"2026-05-18T02:20:38.257501+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.06480v1","created_at":"2026-05-18T02:20:38.257501+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.06480","created_at":"2026-05-18T02:20:38.257501+00:00"},{"alias_kind":"pith_short_12","alias_value":"3AINTNMOPCSR","created_at":"2026-05-18T12:29:02.477457+00:00"},{"alias_kind":"pith_short_16","alias_value":"3AINTNMOPCSRGI7C","created_at":"2026-05-18T12:29:02.477457+00:00"},{"alias_kind":"pith_short_8","alias_value":"3AINTNMO","created_at":"2026-05-18T12:29:02.477457+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/3AINTNMOPCSRGI7CUNPDDZ3WKW","json":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW.json","graph_json":"https://pith.science/api/pith-number/3AINTNMOPCSRGI7CUNPDDZ3WKW/graph.json","events_json":"https://pith.science/api/pith-number/3AINTNMOPCSRGI7CUNPDDZ3WKW/events.json","paper":"https://pith.science/paper/3AINTNMO"},"agent_actions":{"view_html":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW","download_json":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW.json","view_paper":"https://pith.science/paper/3AINTNMO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.06480&json=true","fetch_graph":"https://pith.science/api/pith-number/3AINTNMOPCSRGI7CUNPDDZ3WKW/graph.json","fetch_events":"https://pith.science/api/pith-number/3AINTNMOPCSRGI7CUNPDDZ3WKW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW/action/storage_attestation","attest_author":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW/action/author_attestation","sign_citation":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW/action/citation_signature","submit_replication":"https://pith.science/pith/3AINTNMOPCSRGI7CUNPDDZ3WKW/action/replication_record"}},"created_at":"2026-05-18T02:20:38.257501+00:00","updated_at":"2026-05-18T02:20:38.257501+00:00"}