{"id":"28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624","title":"arXiv paper uses monotonicity to scale neural safety certification","argument":"Amirreza Alavi, Majid Zamani and Saber Jafarpour argue that monotonicity—a structural property of dynamical systems—can make safety certification more scalable when system models are unavailable. Their framework uses simulator queries to verify safety and synthesize safe controllers for unknown monotone systems. The authors’ central result is that, for monotone systems with upper-closed unsafe sets, safety is characterized by monotone inductive barrier certificates. This structure replaces checks across continuous state spaces with localized boundary checks over finitely many cells. They introduce Max-Monotone Networks to learn the certificates and a training and refinement algorithm that, upon successful termination, returns formally valid certificates. Under mild partition assumptions, the algorithm requires only O(n) simulator queries. The abstract reports safety certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, in regimes where prior approaches did not converge or exceeded memory limits. The authors present this as a way to address the sample-complexity problem they identify in methods that treat systems as black boxes.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The abstract does not state the partition assumptions behind the O(n) simulator-query result. The abstract reports benchmark outcomes but does not provide details of the benchmark setups or comparisons. Its evidence here is an abstract, not the full paper.","speaker":{"name":"Alavi, Amirreza, Zamani, Majid, Jafarpour, Saber","roleAtSource":"Article author"},"source":{"title":"Scalable Neural Safety Certification via Monotonicity","publisher":"arXiv eess.SY","format":"Article","url":"https://arxiv.org/abs/2611.11119","publishedAt":"2026-11-08","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors argue that monotonicity can help address the poor scaling of existing data-driven safety certification methods for complex dynamical systems.","excerpt":"existing data-driven methods often scale poorly: they treat the system as a black box, rely on dense discretizations or Lipschitz bounds, and consequently suffer from sample complexity that grows exponentially with dimension.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"},{"text":"For monotone systems with upper-closed unsafe sets, the authors say safety is characterized by monotone inductive barrier certificates, allowing localized boundary checks over finitely many cells.","excerpt":"for monotone systems with upper-closed unsafe sets, safety is completely characterized by the existence of monotone inductive barrier certificates. This structure reduces certificate verification over continuous state spaces to localized boundary checks over finitely many cells.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"},{"text":"The authors introduce Max-Monotone Networks and a training and refinement algorithm; upon successful termination, it returns formally valid neural barrier certificates and, under mild partition assumptions, requires O(n) simulator queries.","excerpt":"upon successful termination, returns formally valid neural barrier certificates and, under mild partition assumptions, requires only $O(n)$ simulator queries.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"},{"text":"The abstract reports certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, where prior approaches did not converge or exceeded memory limits.","excerpt":"including oscillator networks with up to $13{,}659$ states and traffic networks with $1{,}000$ states, our method certifies safety in regimes where prior approaches either do not converge or exceed memory limits.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.11119","checkedAt":"2026-11-10T18:48:08.582Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What are the partition assumptions under which the algorithm requires only O(n) simulator queries?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv paper uses monotonicity to scale neural safety certification","summary":"Amirreza Alavi, Majid Zamani and Saber Jafarpour argue that monotonicity—a structural property of dynamical systems—can make safety certification more scalable when system models are unavailable. Their framework uses simulator queries to verify safety and synthesize safe controllers for unknown monotone systems. The authors’ central result is that, for monotone systems with upper-closed unsafe sets, safety is characterized by monotone inductive barrier certificates. This structure replaces checks across continuous state spaces with localized boundary checks over finitely many cells. They introduce Max-Monotone Networks to learn the certificates and a training and refinement algorithm that, upon successful termination, returns formally valid certificates. Under mild partition assumptions, the algorithm requires only O(n) simulator queries. The abstract reports safety certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, in regimes where prior approaches did not converge or exceeded memory limits. The authors present this as a way to address the sample-complexity problem they identify in methods that treat systems as black boxes.","question":"What are the partition assumptions under which the algorithm requires only O(n) simulator queries?","claims":[{"text":"The authors argue that monotonicity can help address the poor scaling of existing data-driven safety certification methods for complex dynamical systems.","excerpt":"existing data-driven methods often scale poorly: they treat the system as a black box, rely on dense discretizations or Lipschitz bounds, and consequently suffer from sample complexity that grows exponentially with dimension.","support":"source-stated"},{"text":"For monotone systems with upper-closed unsafe sets, the authors say safety is characterized by monotone inductive barrier certificates, allowing localized boundary checks over finitely many cells.","excerpt":"for monotone systems with upper-closed unsafe sets, safety is completely characterized by the existence of monotone inductive barrier certificates. This structure reduces certificate verification over continuous state spaces to localized boundary checks over finitely many cells.","support":"source-stated"},{"text":"The authors introduce Max-Monotone Networks and a training and refinement algorithm; upon successful termination, it returns formally valid neural barrier certificates and, under mild partition assumptions, requires O(n) simulator queries.","excerpt":"upon successful termination, returns formally valid neural barrier certificates and, under mild partition assumptions, requires only $O(n)$ simulator queries.","support":"source-stated"},{"text":"The abstract reports certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, where prior approaches did not converge or exceeded memory limits.","excerpt":"including oscillator networks with up to $13{,}659$ states and traffic networks with $1{,}000$ states, our method certifies safety in regimes where prior approaches either do not converge or exceed memory limits.","support":"source-stated"}],"limitations":["The abstract does not state the partition assumptions behind the O(n) simulator-query result.","The abstract reports benchmark outcomes but does not provide details of the benchmark setups or comparisons. Its evidence here is an abstract, not the full paper."],"mediaId":"fb10956301a0488b4b0d69a4f9c5d2c7cb5c8fd533a2a74d22b99ee83c212f90","correctionReason":null,"id":"28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624","publicationId":"47cf766d-80dd-4467-83aa-34ae64da7149","version":1,"sourceUrl":"https://arxiv.org/abs/2611.11119","sourceTitle":"Scalable Neural Safety Certification via Monotonicity","publisher":"arXiv eess.SY","publishedAt":null,"originalPublished":{"value":"2026-11-08","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-10T08:36:44.018Z","createdAt":"2026-11-10T18:16:16.850Z","historical":false,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"fb10956301a0488b4b0d69a4f9c5d2c7cb5c8fd533a2a74d22b99ee83c212f90","kind":"article","url":"https://arxiv.org/abs/2611.11119","sourceUrl":"https://arxiv.org/abs/2611.11119","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-10T18:03:58.495Z","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.11119","checkedAt":"2026-11-10T18:48:08.582Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"fb10956301a0488b4b0d69a4f9c5d2c7cb5c8fd533a2a74d22b99ee83c212f90","confidence":0.78,"provider":"typesafe","model":"jev-1.13.0","inputHash":"1be9e135d174556bff0a6421bef27b5eb5b6fb9a658ce517af9df48c4fc0c94d","decidedAt":"2026-11-10T18:03:58.920Z"},"provenance":{"textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observationId":"b78f7e02c1ce57f1072179744a3ad4ad35c0f7799e928b99cb5a2deae1c1c7a3","retrievedAt":"2026-11-10T18:03:58.441Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"74206caf-b8f2-4d20-85c0-51e5955c8992"},"reviewer":{"model":"gpt-6-luna","runId":"03808d8c-a28f-4b19-8ceb-036b68e5aa97"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T18:16:16.850Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Alavi, Amirreza","url":null,"kind":"unknown"},{"name":"Zamani, Majid","url":null,"kind":"unknown"},{"name":"Jafarpour, Saber","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Alavi, Amirreza","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Alavi, Amirreza","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.11119","locator":"head/meta[name=author|citation_author]"},"assertionId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T18:48:08.582Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","sourceUrl":"https://arxiv.org/abs/2611.11119","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z"}},{"actor":{"name":"Zamani, Majid","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Zamani, Majid","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.11119","locator":"head/meta[name=author|citation_author]"},"assertionId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T18:48:08.582Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","sourceUrl":"https://arxiv.org/abs/2611.11119","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z"}},{"actor":{"name":"Jafarpour, Saber","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Jafarpour, Saber","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.11119","locator":"head/meta[name=author|citation_author]"},"assertionId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T18:48:08.582Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","sourceUrl":"https://arxiv.org/abs/2611.11119","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z"}}],"participationCoverage":{"total":3,"returned":3,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.11119","snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z","basis":"publisher-page-metadata","sourceLinks":45,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-paper-uses-monotonicity-to-scale-neural-safety-28f20bb9","formats":{"html":"/readings/arxiv-paper-uses-monotonicity-to-scale-neural-safety-28f20bb9","markdown":"/readings/arxiv-paper-uses-monotonicity-to-scale-neural-safety-28f20bb9.md","json":"/readings/arxiv-paper-uses-monotonicity-to-scale-neural-safety-28f20bb9.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-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":"28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624","revision":"47cf766d-80dd-4467-83aa-34ae64da7149","revisionKind":"publication-id","title":"arXiv paper uses monotonicity to scale neural safety certification","url":"https://escapemeridian.com/readings/arxiv-paper-uses-monotonicity-to-scale-neural-safety-28f20bb9"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.11119","revision":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","revisionKind":"sha256-source-text","title":"Scalable Neural Safety Certification via Monotonicity","url":"https://arxiv.org/abs/2611.11119"},"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":"28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624","title":"arXiv paper uses monotonicity to scale neural safety certification","argument":"Amirreza Alavi, Majid Zamani and Saber Jafarpour argue that monotonicity—a structural property of dynamical systems—can make safety certification more scalable when system models are unavailable. Their framework uses simulator queries to verify safety and synthesize safe controllers for unknown monotone systems. The authors’ central result is that, for monotone systems with upper-closed unsafe sets, safety is characterized by monotone inductive barrier certificates. This structure replaces checks across continuous state spaces with localized boundary checks over finitely many cells. They introduce Max-Monotone Networks to learn the certificates and a training and refinement algorithm that, upon successful termination, returns formally valid certificates. Under mild partition assumptions, the algorithm requires only O(n) simulator queries. The abstract reports safety certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, in regimes where prior approaches did not converge or exceeded memory limits. The authors present this as a way to address the sample-complexity problem they identify in methods that treat systems as black boxes.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The abstract does not state the partition assumptions behind the O(n) simulator-query result. The abstract reports benchmark outcomes but does not provide details of the benchmark setups or comparisons. Its evidence here is an abstract, not the full paper.","speaker":{"name":"Alavi, Amirreza, Zamani, Majid, Jafarpour, Saber","roleAtSource":"Article author"},"source":{"title":"Scalable Neural Safety Certification via Monotonicity","publisher":"arXiv eess.SY","format":"Article","url":"https://arxiv.org/abs/2611.11119","publishedAt":"2026-11-08","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors argue that monotonicity can help address the poor scaling of existing data-driven safety certification methods for complex dynamical systems.","excerpt":"existing data-driven methods often scale poorly: they treat the system as a black box, rely on dense discretizations or Lipschitz bounds, and consequently suffer from sample complexity that grows exponentially with dimension.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"},{"text":"For monotone systems with upper-closed unsafe sets, the authors say safety is characterized by monotone inductive barrier certificates, allowing localized boundary checks over finitely many cells.","excerpt":"for monotone systems with upper-closed unsafe sets, safety is completely characterized by the existence of monotone inductive barrier certificates. This structure reduces certificate verification over continuous state spaces to localized boundary checks over finitely many cells.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"},{"text":"The authors introduce Max-Monotone Networks and a training and refinement algorithm; upon successful termination, it returns formally valid neural barrier certificates and, under mild partition assumptions, requires O(n) simulator queries.","excerpt":"upon successful termination, returns formally valid neural barrier certificates and, under mild partition assumptions, requires only $O(n)$ simulator queries.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"},{"text":"The abstract reports certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, where prior approaches did not converge or exceeded memory limits.","excerpt":"including oscillator networks with up to $13{,}659$ states and traffic networks with $1{,}000$ states, our method certifies safety in regimes where prior approaches either do not converge or exceed memory limits.","url":"https://arxiv.org/abs/2611.11119","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.11119","checkedAt":"2026-11-10T18:48:08.582Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What are the partition assumptions under which the algorithm requires only O(n) simulator queries?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv paper uses monotonicity to scale neural safety certification","summary":"Amirreza Alavi, Majid Zamani and Saber Jafarpour argue that monotonicity—a structural property of dynamical systems—can make safety certification more scalable when system models are unavailable. Their framework uses simulator queries to verify safety and synthesize safe controllers for unknown monotone systems. The authors’ central result is that, for monotone systems with upper-closed unsafe sets, safety is characterized by monotone inductive barrier certificates. This structure replaces checks across continuous state spaces with localized boundary checks over finitely many cells. They introduce Max-Monotone Networks to learn the certificates and a training and refinement algorithm that, upon successful termination, returns formally valid certificates. Under mild partition assumptions, the algorithm requires only O(n) simulator queries. The abstract reports safety certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, in regimes where prior approaches did not converge or exceeded memory limits. The authors present this as a way to address the sample-complexity problem they identify in methods that treat systems as black boxes.","question":"What are the partition assumptions under which the algorithm requires only O(n) simulator queries?","claims":[{"text":"The authors argue that monotonicity can help address the poor scaling of existing data-driven safety certification methods for complex dynamical systems.","excerpt":"existing data-driven methods often scale poorly: they treat the system as a black box, rely on dense discretizations or Lipschitz bounds, and consequently suffer from sample complexity that grows exponentially with dimension.","support":"source-stated"},{"text":"For monotone systems with upper-closed unsafe sets, the authors say safety is characterized by monotone inductive barrier certificates, allowing localized boundary checks over finitely many cells.","excerpt":"for monotone systems with upper-closed unsafe sets, safety is completely characterized by the existence of monotone inductive barrier certificates. This structure reduces certificate verification over continuous state spaces to localized boundary checks over finitely many cells.","support":"source-stated"},{"text":"The authors introduce Max-Monotone Networks and a training and refinement algorithm; upon successful termination, it returns formally valid neural barrier certificates and, under mild partition assumptions, requires O(n) simulator queries.","excerpt":"upon successful termination, returns formally valid neural barrier certificates and, under mild partition assumptions, requires only $O(n)$ simulator queries.","support":"source-stated"},{"text":"The abstract reports certification across high-dimensional benchmarks, including oscillator networks with up to 13,659 states and traffic networks with 1,000 states, where prior approaches did not converge or exceeded memory limits.","excerpt":"including oscillator networks with up to $13{,}659$ states and traffic networks with $1{,}000$ states, our method certifies safety in regimes where prior approaches either do not converge or exceed memory limits.","support":"source-stated"}],"limitations":["The abstract does not state the partition assumptions behind the O(n) simulator-query result.","The abstract reports benchmark outcomes but does not provide details of the benchmark setups or comparisons. Its evidence here is an abstract, not the full paper."],"mediaId":"fb10956301a0488b4b0d69a4f9c5d2c7cb5c8fd533a2a74d22b99ee83c212f90","correctionReason":null,"id":"28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624","publicationId":"47cf766d-80dd-4467-83aa-34ae64da7149","version":1,"sourceUrl":"https://arxiv.org/abs/2611.11119","sourceTitle":"Scalable Neural Safety Certification via Monotonicity","publisher":"arXiv eess.SY","publishedAt":null,"originalPublished":{"value":"2026-11-08","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-10T08:36:44.018Z","createdAt":"2026-11-10T18:16:16.850Z","historical":false,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"fb10956301a0488b4b0d69a4f9c5d2c7cb5c8fd533a2a74d22b99ee83c212f90","kind":"article","url":"https://arxiv.org/abs/2611.11119","sourceUrl":"https://arxiv.org/abs/2611.11119","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-10T18:03:58.495Z","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.11119","checkedAt":"2026-11-10T18:48:08.582Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"fb10956301a0488b4b0d69a4f9c5d2c7cb5c8fd533a2a74d22b99ee83c212f90","confidence":0.78,"provider":"typesafe","model":"jev-1.13.0","inputHash":"1be9e135d174556bff0a6421bef27b5eb5b6fb9a658ce517af9df48c4fc0c94d","decidedAt":"2026-11-10T18:03:58.920Z"},"provenance":{"textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observationId":"b78f7e02c1ce57f1072179744a3ad4ad35c0f7799e928b99cb5a2deae1c1c7a3","retrievedAt":"2026-11-10T18:03:58.441Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"74206caf-b8f2-4d20-85c0-51e5955c8992"},"reviewer":{"model":"gpt-6-luna","runId":"03808d8c-a28f-4b19-8ceb-036b68e5aa97"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T18:16:16.850Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Alavi, Amirreza","url":null,"kind":"unknown"},{"name":"Zamani, Majid","url":null,"kind":"unknown"},{"name":"Jafarpour, Saber","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Alavi, Amirreza","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Alavi, Amirreza","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.11119","locator":"head/meta[name=author|citation_author]"},"assertionId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T18:48:08.582Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","sourceUrl":"https://arxiv.org/abs/2611.11119","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z"}},{"actor":{"name":"Zamani, Majid","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Zamani, Majid","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.11119","locator":"head/meta[name=author|citation_author]"},"assertionId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T18:48:08.582Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","sourceUrl":"https://arxiv.org/abs/2611.11119","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z"}},{"actor":{"name":"Jafarpour, Saber","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Jafarpour, Saber","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.11119","locator":"head/meta[name=author|citation_author]"},"assertionId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T18:48:08.582Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","sourceUrl":"https://arxiv.org/abs/2611.11119","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z"}}],"participationCoverage":{"total":3,"returned":3,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.11119","snapshotId":"802bc4a1acf91b1e07c682f7ff286461629c6517c128736e8daffc8143112f5d","contentSha256":"a147057147e899e8665ad650e713314a0830b5c6eab5709338060e2e2c7a0e08","textHash":"02e7e1ade5580e32dc302b3bdda1a64c33fe189058a3ace6ce87075d56c4a867","observedAt":"2026-11-10T18:48:08.582Z","basis":"publisher-page-metadata","sourceLinks":45,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/28f20bb9ad3925908f08d0fddd4d1a92f0f39425719147a7c8fc6dc51a408624/source"}}}],"audits":[{"publicationId":"47cf766d-80dd-4467-83aa-34ae64da7149","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The draft names the three listed authors and keeps the main result, algorithm properties and benchmark outcomes attributed to the authors or the abstract. It does not present them as established fact.","excerpt":"Authors:Amirreza Alavi, Majid Zamani, Saber Jafarpour"},{"dimension":"summary","status":"uncertain","explanation":"The reading is accurate, but its central contrast is muted. It mentions only a vague 'sample-complexity problem'. Repair: say prior methods' sample needs grow exponentially with dimension, versus O(n) queries here. Dropping 'completely' also slightly weakens the main result. Central terms need tooltips or brief plain-language glosses: monotonicity, barrier certificate, upper-closed unsafe sets, simulator queries and O(n). The reading also does not plainly say that 'safety certification' means formally proving a system stays out of unsafe states. Without these repairs, a non-specialist cannot grasp why the result matters.","excerpt":"consequently suffer from sample complexity that grows exponentially with dimension. This paper shows that a common structural property of dynamical systems--monotonicity--can be used to break this curse of dimensionality."},{"dimension":"date","status":"pass","explanation":"The originalPublished date of 2026-11-08 matches the v1 arXiv submission date. It is not the later feed date of 2026-11-10.","excerpt":"[Submitted on 8 Nov 2026]"},{"dimension":"support","status":"pass","explanation":"Each claim's excerpt supports it, and the draft keeps the source's conditions: 'upon successful termination' and 'under mild partition assumptions'. The question and limitations correctly identify that the abstract does not specify the partition assumptions. No unsupported benefits or costs are implied.","excerpt":"upon successful termination, returns formally valid neural barrier certificates and, under mild partition assumptions, requires only $O(n)$ simulator queries."},{"dimension":"media","status":"pass","explanation":"The selected media is the verified arXiv abstract page for this paper, the direct original source.","excerpt":null}],"createdAt":"2026-11-10T18:16:16.850Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}