{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ZFVRTAVTX5FKCUJTQ2FZCCAI2V","short_pith_number":"pith:ZFVRTAVT","schema_version":"1.0","canonical_sha256":"c96b1982b3bf4aa15133868b910808d57b4848a14a1eebcbad6fceb8f453ea17","source":{"kind":"arxiv","id":"2412.14933","version":1},"attestation_state":"computed","paper":{"title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Aleksey Vorobiev, Alexander S. Kulikov, Daniil Averkov, Daniil Levtsov, Fedor Kurmazov, Georgie Levtsov, Gregory Emdin, Mikhail Goncharov, Tatiana Belova, Viktoriia Krivogornitsyna, Vsevolod Vaskin","submitted_at":"2024-12-19T15:10:31Z","abstract_excerpt":"We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits (computing, in particular, symmetric and arithmetic functions) that have been optimized intensively by the community for the last three years. The tool helped us to win the IWLS 2024 Programming Contest. In 2023, it was Google DeepMind who took the first place in the competition. We were able to red"},"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":"2412.14933","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-19T15:10:31Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d987d7904ad6a60f4d896739ba7c111fa8e366bfac5f8f3781264ef7af4d9cac","abstract_canon_sha256":"b5ab5447c76bffb197c6c73a2c67580c4d239771a1830bfee0a2765129fdcc38"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:51:54.501056Z","signature_b64":"71mlJjSiFDGiC6Fnp5rB+qyLW9Cp5+5I+B0QySBf8JG9yFWOlM3uJdBZHP7T6uJVX8YeILpAS4OY33/D6yLvDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c96b1982b3bf4aa15133868b910808d57b4848a14a1eebcbad6fceb8f453ea17","last_reissued_at":"2026-07-05T09:51:54.500578Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:51:54.500578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Aleksey Vorobiev, Alexander S. Kulikov, Daniil Averkov, Daniil Levtsov, Fedor Kurmazov, Georgie Levtsov, Gregory Emdin, Mikhail Goncharov, Tatiana Belova, Viktoriia Krivogornitsyna, Vsevolod Vaskin","submitted_at":"2024-12-19T15:10:31Z","abstract_excerpt":"We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits (computing, in particular, symmetric and arithmetic functions) that have been optimized intensively by the community for the last three years. The tool helped us to win the IWLS 2024 Programming Contest. In 2023, it was Google DeepMind who took the first place in the competition. We were able to red"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.14933","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/2412.14933/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":"2412.14933","created_at":"2026-07-05T09:51:54.500635+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.14933v1","created_at":"2026-07-05T09:51:54.500635+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.14933","created_at":"2026-07-05T09:51:54.500635+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZFVRTAVTX5FK","created_at":"2026-07-05T09:51:54.500635+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZFVRTAVTX5FKCUJT","created_at":"2026-07-05T09:51:54.500635+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZFVRTAVT","created_at":"2026-07-05T09:51:54.500635+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/ZFVRTAVTX5FKCUJTQ2FZCCAI2V","json":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V.json","graph_json":"https://pith.science/api/pith-number/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/graph.json","events_json":"https://pith.science/api/pith-number/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/events.json","paper":"https://pith.science/paper/ZFVRTAVT"},"agent_actions":{"view_html":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V","download_json":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V.json","view_paper":"https://pith.science/paper/ZFVRTAVT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.14933&json=true","fetch_graph":"https://pith.science/api/pith-number/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/graph.json","fetch_events":"https://pith.science/api/pith-number/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/action/storage_attestation","attest_author":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/action/author_attestation","sign_citation":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/action/citation_signature","submit_replication":"https://pith.science/pith/ZFVRTAVTX5FKCUJTQ2FZCCAI2V/action/replication_record"}},"created_at":"2026-07-05T09:51:54.500635+00:00","updated_at":"2026-07-05T09:51:54.500635+00:00"}