<?xml version='1.0' encoding='utf-8'?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <url><loc>https://haivian.com/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/pricing/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/evidence/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/evaluation/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/contact/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/privacy/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/terms/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/refunds/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/security/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/deployment/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/watchdog/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/factory/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/council/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/steward/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/qonduit/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/shield/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/explorer/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/suite/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/qonduit/journal/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/council/journal/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/suite/journal/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/research/the-quantum-result-that-said-not-yet/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/research/before-a-quantum-fraud-model/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/research/two-reynolds-number-labels-one-physical-case/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/qonduit/why-qonduit-did-not-force-an-eon-quantum-run/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/qonduit/before-the-hybrid-experiment/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/qonduit/airbus-preflight-more-evidence-required/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/council/passing-the-test-is-not-permission-to-act/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/journal/council/what-ai-council-added-to-eon-evidence/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/research-journal/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/research-journal/browse/by-date/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/research-journal/browse/by-topic/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/validation-journal/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/validation-journal/browse/by-date/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/validation-journal/browse/by-topic/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/research-audit/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/when-an-ai-says-it-is-confident/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/can-white-box-ai-monitors-survive-evasion/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/onconotebert-low-perplexity-is-not-clinical-validation/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/why-n-1-9992-matters-for-3sum/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/openai-722-maths-manuscripts-verification-bottleneck/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/discoveries/ai-grothendieck-constant-human-research-judgment/</loc><changefreq>weekly</changefreq></url>
  <url><loc>https://haivian.com/research-journal/reconciling-nondimensional-forms-decaying-taylor-green-vortex/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/validation-journal/version-bounded-verification-nondimensional-taylor-green-vortex-reconciliation/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/research-journal/exact-rational-computation-exchange/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/validation-journal/validating-exact-rational-computation-exchange/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/journal/company/independent-mathematics-science-research-audits-live/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/journal/company/scientific-audit-taylor-green-vortex-reconciliation/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/journal/company/exact-rational-computation-exchange-research-audit/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/validation-journal/seymours-second-neighborhood-conjecture-mathematical-audit-formal-verification/</loc><lastmod>2026-10-16</lastmod></url>
  <url><loc>https://haivian.com/validation-journal/boolean-functions-beyond-square-root-degree-bound-mathematical-formal-audit/</loc><lastmod>2026-10-17</lastmod></url>
  <url><loc>https://haivian.com/validation-journal/nine-dimensions-two-formal-targets-auditing-borsuk-covering-counterexample/</loc><lastmod>2026-10-17</lastmod></url>
  <url><loc>https://haivian.com/validation-journal/finite-host-sidorenko-counterexample-audit-formal-verification/</loc><lastmod>2026-10-17</lastmod></url>
  <url><loc>https://haivian.com/discoveries/four-openai-mathematics-results-haivian-audit-pipeline/</loc><lastmod>2026-10-17</lastmod></url>
<url><loc>https://haivian.com/research-audit/mathematical-proof-verification/</loc><lastmod>2026-10-17</lastmod><changefreq>weekly</changefreq></url><url><loc>https://haivian.com/research-audit/computational-reproducibility/</loc><lastmod>2026-10-17</lastmod><changefreq>weekly</changefreq></url><url><loc>https://haivian.com/research-audit/ai-research/</loc><lastmod>2026-10-17</lastmod><changefreq>weekly</changefreq></url><url><loc>https://haivian.com/journal/company/how-to-choose-a-research-audit-service/</loc><lastmod>2026-10-17</lastmod><changefreq>monthly</changefreq></url>  <url><loc>https://haivian.com/validation-journal/non-abelian-quantum-signal-processing-gaussian-rotation-audit/</loc><lastmod>2026-10-17</lastmod></url>
  <url><loc>https://haivian.com/discoveries/quantum-research-audit-gaussian-controlled-rotation/</loc><lastmod>2026-10-17</lastmod></url>
</urlset>