{"id":"244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a","title":"arXiv cs.AI: Efficient NPN Classification for Large Functions using Graph Neural Network","argument":"The authors argue that exact NPN classification becomes impractical as Boolean functions gain inputs because it requires exhaustive enumeration of input permutations and negations. NPN equivalence means that one function can be transformed into another by negating inputs, permuting inputs, or negating the output. Their proposed learning-based method predicts those NPN actions from AND-Inverter Graphs (AIGs), using a bidirectional heterogeneous graph neural network. Graph rewriting is intended to reduce structural ambiguity and recover useful symmetries before prediction. The authors report that NPN action prediction is learnable and that their method improves canonicalization quality over heuristic baselines. On practical benchmarks, they say it approaches exact methods on tractable cases and scales to functions with up to 16 inputs. The approach targets a classification task the authors identify as valuable in logic synthesis, quantum computing, and information theory. The abstract does not give benchmark-specific measurements, so the size of the improvement and the range of cases where it holds cannot be assessed from this evidence alone.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the paper's abstract; it does not provide benchmark-specific measurements or describe which practical benchmarks and cases support the reported comparison.","speaker":{"name":"Cao, Chengdi, Wang, Hanyu, Lin, Wan-Hsuan, Cong, Jason","roleAtSource":"Article author"},"source":{"title":"Efficient NPN Classification for Large Functions using Graph Neural Network","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.00339","publishedAt":"2026-10-30","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors say exact NPN classification requires exhaustive enumeration of input permutations and negations, making it impractical for larger functions as complexity grows exponentially.","excerpt":"exact NPN classification demands exhaustive enumeration of all possible input permutations and negations. Its complexity grows exponentially","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"},{"text":"The authors propose learning-based NPN action prediction using Boolean functions represented as AND-Inverter Graphs and a bidirectional heterogeneous graph neural network.","excerpt":"Our method represents Boolean functions as AND-Inverter Graphs (AIGs) and applies a bidirectional heterogeneous graph neural network to predict input negations, output negation, and input permutations.","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"},{"text":"The authors report improved canonicalization quality over heuristic baselines and say the method approaches exact methods on tractable practical benchmarks, scaling to functions with up to 16 inputs.","excerpt":"the resulting canonicalization quality improves over heuristic baselines, and that on practical benchmarks our method approaches exact methods on tractable cases while scaling to functions with up to 16 inputs.","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"},{"text":"The authors identify logic synthesis, quantum computing, and information theory as fields where efficient NPN classification is valuable.","excerpt":"Efficient NPN classification is valuable in fields such as logic synthesis, quantum computing, and information theory.","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.00339","checkedAt":"2026-11-10T08:40:11.002Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"On which practical benchmarks, and for what cases, does the method approach exact methods?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI: Efficient NPN Classification for Large Functions using Graph Neural Network","summary":"The authors argue that exact NPN classification becomes impractical as Boolean functions gain inputs because it requires exhaustive enumeration of input permutations and negations. NPN equivalence means that one function can be transformed into another by negating inputs, permuting inputs, or negating the output. Their proposed learning-based method predicts those NPN actions from AND-Inverter Graphs (AIGs), using a bidirectional heterogeneous graph neural network. Graph rewriting is intended to reduce structural ambiguity and recover useful symmetries before prediction. The authors report that NPN action prediction is learnable and that their method improves canonicalization quality over heuristic baselines. On practical benchmarks, they say it approaches exact methods on tractable cases and scales to functions with up to 16 inputs. The approach targets a classification task the authors identify as valuable in logic synthesis, quantum computing, and information theory. The abstract does not give benchmark-specific measurements, so the size of the improvement and the range of cases where it holds cannot be assessed from this evidence alone.","question":"On which practical benchmarks, and for what cases, does the method approach exact methods?","claims":[{"text":"The authors say exact NPN classification requires exhaustive enumeration of input permutations and negations, making it impractical for larger functions as complexity grows exponentially.","excerpt":"exact NPN classification demands exhaustive enumeration of all possible input permutations and negations. Its complexity grows exponentially","support":"source-stated"},{"text":"The authors propose learning-based NPN action prediction using Boolean functions represented as AND-Inverter Graphs and a bidirectional heterogeneous graph neural network.","excerpt":"Our method represents Boolean functions as AND-Inverter Graphs (AIGs) and applies a bidirectional heterogeneous graph neural network to predict input negations, output negation, and input permutations.","support":"source-stated"},{"text":"The authors report improved canonicalization quality over heuristic baselines and say the method approaches exact methods on tractable practical benchmarks, scaling to functions with up to 16 inputs.","excerpt":"the resulting canonicalization quality improves over heuristic baselines, and that on practical benchmarks our method approaches exact methods on tractable cases while scaling to functions with up to 16 inputs.","support":"source-stated"},{"text":"The authors identify logic synthesis, quantum computing, and information theory as fields where efficient NPN classification is valuable.","excerpt":"Efficient NPN classification is valuable in fields such as logic synthesis, quantum computing, and information theory.","support":"source-stated"}],"limitations":["The evidence is the paper's abstract; it does not provide benchmark-specific measurements or describe which practical benchmarks and cases support the reported comparison."],"mediaId":"fa8128a3a5fd0cf406ee4631d7fe9baad3b1908fc91bf25ee54042384b0a23c9","correctionReason":null,"id":"244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a","publicationId":"e4294dd9-4bf0-4f77-847b-e5436ddad695","version":1,"sourceUrl":"https://arxiv.org/abs/2611.00339","sourceTitle":"Efficient NPN Classification for Large Functions using Graph Neural Network","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-30","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-03T09:04:27.056Z","createdAt":"2026-11-10T08:09:01.505Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"fa8128a3a5fd0cf406ee4631d7fe9baad3b1908fc91bf25ee54042384b0a23c9","kind":"article","url":"https://arxiv.org/abs/2611.00339","sourceUrl":"https://arxiv.org/abs/2611.00339","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-04T04:49:05.690Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.00339","checkedAt":"2026-11-10T08:40:11.002Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"fa8128a3a5fd0cf406ee4631d7fe9baad3b1908fc91bf25ee54042384b0a23c9","confidence":0.71,"provider":"typesafe","model":"jev-1.13.0","inputHash":"d77ec974964688d7dd8dc286dec3e3bfbe2c915183e5257eada108ed0697941c","decidedAt":"2026-11-04T04:49:06.861Z","redecided":{"from":"stream-admission-v5","under":"stream-admission-v5+confidence-0.5"}},"provenance":{"textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observationId":"c401641206400138c849bb5c0892cf86232887dfdce632881a78983151b62bc7","retrievedAt":"2026-11-04T04:49:05.521Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"f8474d77-9bc1-4894-844f-0fcfc4a56118"},"reviewer":{"model":"gpt-6-luna","runId":"c0d51fb8-0489-4f49-82a8-df64a6b06418"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T08:09:01.505Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Cao, Chengdi","url":null,"kind":"unknown"},{"name":"Wang, Hanyu","url":null,"kind":"unknown"},{"name":"Lin, Wan-Hsuan","url":null,"kind":"unknown"},{"name":"Cong, Jason","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Cao, Chengdi","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Cao, Chengdi","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}},{"actor":{"name":"Wang, Hanyu","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wang, Hanyu","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}},{"actor":{"name":"Lin, Wan-Hsuan","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Lin, Wan-Hsuan","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}},{"actor":{"name":"Cong, Jason","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Cong, Jason","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:3","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}}],"participationCoverage":{"total":4,"returned":4,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.00339","snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z","basis":"publisher-page-metadata","sourceLinks":43,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-cs-ai-efficient-npn-classification-for-large-functions-244cd178","formats":{"html":"/readings/arxiv-cs-ai-efficient-npn-classification-for-large-functions-244cd178","markdown":"/readings/arxiv-cs-ai-efficient-npn-classification-for-large-functions-244cd178.md","json":"/readings/arxiv-cs-ai-efficient-npn-classification-for-large-functions-244cd178.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","maintainedGuideLinks":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[{"id":"term-neural-network","name":"Neural network","explanation":"A system of connected simple calculations, loosely inspired by the brain, that learns patterns from data.","referenceUrl":"https://developers.google.com/machine-learning/glossary#neural-network"},{"id":"term-benchmark","name":"Benchmark","explanation":"A defined set of tests used to compare systems. Results depend on the tasks and measures selected.","referenceUrl":"https://arxiv.org/abs/2211.09110"}],"entities":[{"id":"arxiv","name":"arXiv","kind":"organization","context":"arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.","referenceUrls":["https://arxiv.org/","https://info.arxiv.org/help/api/index.html"],"path":"/entities/arxiv","json":"/entities/arxiv.json","markdown":"/entities/arxiv.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a","revision":"e4294dd9-4bf0-4f77-847b-e5436ddad695","revisionKind":"publication-id","title":"arXiv cs.AI: Efficient NPN Classification for Large Functions using Graph Neural Network","url":"https://escapemeridian.com/readings/arxiv-cs-ai-efficient-npn-classification-for-large-functions-244cd178"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.00339","revision":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","revisionKind":"sha256-source-text","title":"Efficient NPN Classification for Large Functions using Graph Neural Network","url":"https://arxiv.org/abs/2611.00339"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a","title":"arXiv cs.AI: Efficient NPN Classification for Large Functions using Graph Neural Network","argument":"The authors argue that exact NPN classification becomes impractical as Boolean functions gain inputs because it requires exhaustive enumeration of input permutations and negations. NPN equivalence means that one function can be transformed into another by negating inputs, permuting inputs, or negating the output. Their proposed learning-based method predicts those NPN actions from AND-Inverter Graphs (AIGs), using a bidirectional heterogeneous graph neural network. Graph rewriting is intended to reduce structural ambiguity and recover useful symmetries before prediction. The authors report that NPN action prediction is learnable and that their method improves canonicalization quality over heuristic baselines. On practical benchmarks, they say it approaches exact methods on tractable cases and scales to functions with up to 16 inputs. The approach targets a classification task the authors identify as valuable in logic synthesis, quantum computing, and information theory. The abstract does not give benchmark-specific measurements, so the size of the improvement and the range of cases where it holds cannot be assessed from this evidence alone.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the paper's abstract; it does not provide benchmark-specific measurements or describe which practical benchmarks and cases support the reported comparison.","speaker":{"name":"Cao, Chengdi, Wang, Hanyu, Lin, Wan-Hsuan, Cong, Jason","roleAtSource":"Article author"},"source":{"title":"Efficient NPN Classification for Large Functions using Graph Neural Network","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.00339","publishedAt":"2026-10-30","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors say exact NPN classification requires exhaustive enumeration of input permutations and negations, making it impractical for larger functions as complexity grows exponentially.","excerpt":"exact NPN classification demands exhaustive enumeration of all possible input permutations and negations. Its complexity grows exponentially","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"},{"text":"The authors propose learning-based NPN action prediction using Boolean functions represented as AND-Inverter Graphs and a bidirectional heterogeneous graph neural network.","excerpt":"Our method represents Boolean functions as AND-Inverter Graphs (AIGs) and applies a bidirectional heterogeneous graph neural network to predict input negations, output negation, and input permutations.","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"},{"text":"The authors report improved canonicalization quality over heuristic baselines and say the method approaches exact methods on tractable practical benchmarks, scaling to functions with up to 16 inputs.","excerpt":"the resulting canonicalization quality improves over heuristic baselines, and that on practical benchmarks our method approaches exact methods on tractable cases while scaling to functions with up to 16 inputs.","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"},{"text":"The authors identify logic synthesis, quantum computing, and information theory as fields where efficient NPN classification is valuable.","excerpt":"Efficient NPN classification is valuable in fields such as logic synthesis, quantum computing, and information theory.","url":"https://arxiv.org/abs/2611.00339","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.00339","checkedAt":"2026-11-10T08:40:11.002Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"On which practical benchmarks, and for what cases, does the method approach exact methods?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI: Efficient NPN Classification for Large Functions using Graph Neural Network","summary":"The authors argue that exact NPN classification becomes impractical as Boolean functions gain inputs because it requires exhaustive enumeration of input permutations and negations. NPN equivalence means that one function can be transformed into another by negating inputs, permuting inputs, or negating the output. Their proposed learning-based method predicts those NPN actions from AND-Inverter Graphs (AIGs), using a bidirectional heterogeneous graph neural network. Graph rewriting is intended to reduce structural ambiguity and recover useful symmetries before prediction. The authors report that NPN action prediction is learnable and that their method improves canonicalization quality over heuristic baselines. On practical benchmarks, they say it approaches exact methods on tractable cases and scales to functions with up to 16 inputs. The approach targets a classification task the authors identify as valuable in logic synthesis, quantum computing, and information theory. The abstract does not give benchmark-specific measurements, so the size of the improvement and the range of cases where it holds cannot be assessed from this evidence alone.","question":"On which practical benchmarks, and for what cases, does the method approach exact methods?","claims":[{"text":"The authors say exact NPN classification requires exhaustive enumeration of input permutations and negations, making it impractical for larger functions as complexity grows exponentially.","excerpt":"exact NPN classification demands exhaustive enumeration of all possible input permutations and negations. Its complexity grows exponentially","support":"source-stated"},{"text":"The authors propose learning-based NPN action prediction using Boolean functions represented as AND-Inverter Graphs and a bidirectional heterogeneous graph neural network.","excerpt":"Our method represents Boolean functions as AND-Inverter Graphs (AIGs) and applies a bidirectional heterogeneous graph neural network to predict input negations, output negation, and input permutations.","support":"source-stated"},{"text":"The authors report improved canonicalization quality over heuristic baselines and say the method approaches exact methods on tractable practical benchmarks, scaling to functions with up to 16 inputs.","excerpt":"the resulting canonicalization quality improves over heuristic baselines, and that on practical benchmarks our method approaches exact methods on tractable cases while scaling to functions with up to 16 inputs.","support":"source-stated"},{"text":"The authors identify logic synthesis, quantum computing, and information theory as fields where efficient NPN classification is valuable.","excerpt":"Efficient NPN classification is valuable in fields such as logic synthesis, quantum computing, and information theory.","support":"source-stated"}],"limitations":["The evidence is the paper's abstract; it does not provide benchmark-specific measurements or describe which practical benchmarks and cases support the reported comparison."],"mediaId":"fa8128a3a5fd0cf406ee4631d7fe9baad3b1908fc91bf25ee54042384b0a23c9","correctionReason":null,"id":"244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a","publicationId":"e4294dd9-4bf0-4f77-847b-e5436ddad695","version":1,"sourceUrl":"https://arxiv.org/abs/2611.00339","sourceTitle":"Efficient NPN Classification for Large Functions using Graph Neural Network","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-30","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-03T09:04:27.056Z","createdAt":"2026-11-10T08:09:01.505Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"fa8128a3a5fd0cf406ee4631d7fe9baad3b1908fc91bf25ee54042384b0a23c9","kind":"article","url":"https://arxiv.org/abs/2611.00339","sourceUrl":"https://arxiv.org/abs/2611.00339","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-04T04:49:05.690Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.00339","checkedAt":"2026-11-10T08:40:11.002Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"fa8128a3a5fd0cf406ee4631d7fe9baad3b1908fc91bf25ee54042384b0a23c9","confidence":0.71,"provider":"typesafe","model":"jev-1.13.0","inputHash":"d77ec974964688d7dd8dc286dec3e3bfbe2c915183e5257eada108ed0697941c","decidedAt":"2026-11-04T04:49:06.861Z","redecided":{"from":"stream-admission-v5","under":"stream-admission-v5+confidence-0.5"}},"provenance":{"textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observationId":"c401641206400138c849bb5c0892cf86232887dfdce632881a78983151b62bc7","retrievedAt":"2026-11-04T04:49:05.521Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"f8474d77-9bc1-4894-844f-0fcfc4a56118"},"reviewer":{"model":"gpt-6-luna","runId":"c0d51fb8-0489-4f49-82a8-df64a6b06418"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T08:09:01.505Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Cao, Chengdi","url":null,"kind":"unknown"},{"name":"Wang, Hanyu","url":null,"kind":"unknown"},{"name":"Lin, Wan-Hsuan","url":null,"kind":"unknown"},{"name":"Cong, Jason","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Cao, Chengdi","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Cao, Chengdi","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}},{"actor":{"name":"Wang, Hanyu","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wang, Hanyu","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}},{"actor":{"name":"Lin, Wan-Hsuan","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Lin, Wan-Hsuan","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}},{"actor":{"name":"Cong, Jason","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Cong, Jason","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.00339","locator":"head/meta[name=author|citation_author]"},"assertionId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131:participation:3","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T08:40:11.002Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","sourceUrl":"https://arxiv.org/abs/2611.00339","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z"}}],"participationCoverage":{"total":4,"returned":4,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.00339","snapshotId":"ad2d1427db68a8a0a3400d059ff0d5f88f386d803cdddfc60a3fcdd911274131","contentSha256":"77d6a0947952b8f43279469f37ecd75a6e15fe49c4cc050eadd54ac881ce28cc","textHash":"14e3d876893aee073509f60e39b5df5230b0356e73c10b73faacb1625a66ed3f","observedAt":"2026-11-10T08:40:11.002Z","basis":"publisher-page-metadata","sourceLinks":43,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/244cd178a08503a8d824f03a42bd111662fad75eb755c8734d616829eabefc7a/source"}}}],"audits":[{"publicationId":"e4294dd9-4bf0-4f77-847b-e5436ddad695","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The reading attributes the problem statement, method and results to the paper's authors (Cao, Wang, Lin, Cong) via 'the authors argue/report/say'. Reported outcomes stay framed as author claims rather than established facts.","excerpt":"Authors:Chengdi Cao, Hanyu Wang, Wan-Hsuan Lin, Jason Cong"},{"dimension":"summary","status":"uncertain","explanation":"The summary is faithful and explains NPN equivalence. However, central terms are left unexplained for a non-specialist reader: 'Boolean function', 'canonicalization' (which the key result depends on), 'AND-Inverter Graphs' and 'graph neural network'. It also never says in plain terms why logic synthesis matters, such as its role in circuit design. Smallest repair: add tooltips or brief plain-language glosses for 'Boolean function', 'canonicalization' and 'AIG', keeping the technical terms exact. The title and question are otherwise fine.","excerpt":"the resulting canonicalization quality improves over heuristic baselines"},{"dimension":"date","status":"pass","explanation":"originalPublished is 2026-10-30, which matches the arXiv v1 submission date. The feed date of 2026-11-03 is correctly not used.","excerpt":"[Submitted on 30 Oct 2026]"},{"dimension":"support","status":"pass","explanation":"Every claim matches the abstract. The reading keeps the hedges 'approaches exact methods on tractable cases' and 'up to 16 inputs', and it correctly notes that the abstract gives no benchmark-specific numbers. It invents no benefits, costs or forecasts. The question follows from that gap without leading.","excerpt":"on practical benchmarks our method approaches exact methods on tractable cases while scaling to functions with up to 16 inputs"},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct arXiv abstract page for this paper, which is the most direct access to the source.","excerpt":null}],"createdAt":"2026-11-10T08:09:01.505Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}