@font-face{font-family:"Source Sans 3";font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/source-sans-3-latin-400-normal.DQi5PRDE.woff2)format("woff2"),url(/_astro/source-sans-3-latin-400-normal.AFMiCETP.woff)format("woff")}@font-face{font-family:"Source Sans 3";font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/source-sans-3-latin-500-normal.DiWS0tcR.woff2)format("woff2"),url(/_astro/source-sans-3-latin-500-normal.BtDzq-z9.woff)format("woff")}@font-face{font-family:"Source Sans 3";font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/source-sans-3-latin-600-normal.DeckBYAU.woff2)format("woff2"),url(/_astro/source-sans-3-latin-600-normal.BvDVuF-j.woff)format("woff")}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/source-serif-4-latin-400-normal.DJ5YJwmz.woff2)format("woff2"),url(/_astro/source-serif-4-latin-400-normal.Dn3IlU-Z.woff)format("woff")}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/source-serif-4-latin-400-italic.0j97Jm6B.woff2)format("woff2"),url(/_astro/source-serif-4-latin-400-italic.Dv9jnFA_.woff)format("woff")}@layer reset{*,:before,:after{box-sizing:border-box}body,h1,h2,h3,p,figure{margin:0}img,svg{max-width:100%;display:block}img{height:auto}button,input,select{font:inherit}button,a{-webkit-tap-highlight-color:transparent}}@layer base{:root{--paper:#fff;--ink:#243247;--muted:#536176;--blue:#2454c6;--blue-dark:#153f9e;--wash:#f3f6fa;--line:#d8e0ea;--serif:"Source Serif 4", Georgia, serif;--sans:"Source Sans 3", "Noto Sans SC", sans-serif}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{font-family:var(--sans);color:var(--ink);background:var(--paper);font-size:18px;line-height:1.6}a{color:var(--blue);text-underline-offset:.23em;text-decoration-thickness:1px}a:hover{color:var(--blue-dark)}:focus-visible{outline:3px solid var(--blue);outline-offset:5px}h1,h2,h3{text-wrap:balance;font-weight:400;line-height:1.15}h1,h2{font-family:var(--serif);letter-spacing:-.035em}h1{font-size:clamp(2.8rem,6.4vw,5.2rem)}h2{font-size:clamp(2rem,3.6vw,3rem)}h3{letter-spacing:-.015em;font-size:1.35rem;font-weight:600}button{cursor:pointer}::selection{color:var(--ink);background:#dce7ff}[hidden]{display:none!important}}@layer components{.academic-hero{gap:72px;padding-block:58px}.academic-hero h1{margin-bottom:8px;font-size:clamp(3.5rem,6vw,4.7rem)}.academic-role{margin-bottom:24px;font-size:20px}.bio-note{max-width:660px;color:var(--muted);margin-top:16px}.research-directions{background:linear-gradient(110deg, var(--wash), var(--paper));padding-inline:20px}.research-item.selected-paper{grid-template-columns:145px minmax(0,1fr)}.selected-paper h4{margin:0;font-size:1.2rem;font-weight:600;line-height:1.4}.selected-paper .selected-authors{font-size:15px;line-height:1.55}.preprint-note{font-size:13px;display:block}.academic-community{grid-template-columns:1.1fr 1fr 1fr;gap:36px;display:grid}.academic-community h2{font-size:2.2rem}.academic-community p{color:var(--muted);margin-block:16px;font-size:17px}.research-jump{border-block:1px solid var(--line);flex-wrap:wrap;gap:12px 28px;padding-block:20px;font-size:16px;display:flex}.research-theme{grid-template-columns:280px minmax(0,1fr);gap:68px;display:grid}.theme-heading h2{font-size:2.2rem}.theme-heading p{color:var(--muted);margin-top:20px;font-size:17px}.research-detail+.research-detail{border-top:1px solid var(--line);margin-top:40px;padding-top:36px}.paper-context{color:var(--blue);margin-bottom:12px;font-size:15px}.research-detail h3{font-size:1.5rem;line-height:1.35}.research-detail dl{margin:20px 0 0}.research-detail dt{margin-top:18px;font-size:16px;font-weight:600}.research-detail dd{color:var(--muted);margin:4px 0 0}.related-research{background:var(--wash);border-left:2px solid var(--blue);margin-top:36px;padding:24px}.related-research p{margin-top:12px;font-size:17px}.related-research .source-note{color:var(--muted);font-size:14px}.oracle-diagram{border:1px solid var(--line);margin-top:24px;padding:20px}.oracle-diagram ol{justify-content:space-between;align-items:center;gap:12px;margin:0;padding:0;font-size:14px;line-height:1.35;list-style:none;display:flex}.oracle-diagram li{flex:1}.oracle-diagram li+li:before{content:"→";color:var(--blue);margin-bottom:8px;display:block}.oracle-diagram figcaption{border-top:1px dashed var(--line);color:var(--muted);margin-top:16px;padding-top:12px;font-size:14px}.service-year{border-top:1px solid var(--line);grid-template-columns:130px minmax(0,1fr);gap:32px;padding-block:28px;display:grid}.service-year h2{font-size:2rem}.service-year ul{margin:0;padding-left:20px}.service-year li+li{margin-top:12px}@media (width<=900px){.research-theme{grid-template-columns:220px minmax(0,1fr);gap:36px}.academic-community{grid-template-columns:1fr 1fr}.academic-community>:first-child{grid-column:1/-1}}@media (width<=640px){.research-item.selected-paper,.research-theme,.academic-community,.service-year{grid-template-columns:minmax(0,1fr);gap:24px}.research-item.selected-paper{gap:10px}.academic-role{font-size:18px}.research-directions{padding-inline:16px}.oracle-diagram ol{flex-direction:column;align-items:start;gap:8px}.oracle-diagram li+li:before{content:"↓";margin-bottom:5px}}.wrapper{width:min(1120px,100% - 96px);margin-inline:auto}.site-header{border-bottom:1px solid var(--line);align-items:center;gap:40px;min-height:108px;display:flex}.wordmark{color:var(--ink);white-space:nowrap;align-items:center;gap:12px;font-size:23px;font-weight:600;text-decoration:none;display:flex}.wordmark svg{color:var(--blue)}.site-header nav{gap:29px;margin-left:auto;display:flex}.site-header nav a{color:var(--muted);font-size:16px;text-decoration:none;position:relative}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--blue)}.site-header nav a[aria-current]:after{content:"";background:var(--blue);height:2px;position:absolute;bottom:-9px;left:0;right:0}.header-contact{color:var(--ink);border-left:1px solid var(--line);white-space:nowrap;padding-left:26px;font-size:15px;text-decoration:none}.header-contact span{margin-left:6px}.hero{grid-template-columns:1fr 244px;align-items:center;gap:90px;padding-block:78px 66px;display:grid}.hero h1{max-width:780px;margin-bottom:26px}.hero .intro{max-width:620px;color:var(--muted);font-size:21px;line-height:1.65}.hero .intro strong{color:var(--ink);font-weight:600}.hero-links{flex-wrap:wrap;gap:24px;margin-top:26px;font-size:16px;display:flex}.portrait{position:relative}.portrait img{aspect-ratio:4/4.6;object-fit:cover;object-position:center 30%;background:var(--wash);border-radius:3px;width:100%}.portrait figcaption{color:var(--muted);padding-top:20px;font-size:14px;line-height:1.55}.portrait figcaption strong{color:var(--ink);font-size:16px;font-weight:600;display:block}.entry-links{border-block:1px solid var(--line);grid-template-columns:repeat(3,1fr);gap:32px;padding-block:26px;display:grid}.entry-links a{color:var(--ink);grid-template-columns:1fr auto;gap:4px 14px;text-decoration:none;display:grid}.entry-links a span{color:var(--muted);grid-column:1;font-size:15px}.entry-links a b{font-size:19px;font-weight:600}.entry-links a i{color:var(--blue);grid-area:1/2;font-style:normal}.entry-links a:hover b{color:var(--blue)}.section{padding-block:68px}.section+.section{border-top:1px solid var(--line)}.section-heading{justify-content:space-between;align-items:baseline;gap:24px;margin-bottom:30px;display:flex}.section-heading>a{flex-shrink:0;font-size:16px}.section-intro{color:var(--muted);max-width:650px;margin-top:-10px;margin-bottom:30px}.lab-feature{grid-template-columns:.9fr 1.1fr;align-items:center;gap:62px;display:grid}.lab-feature h2{font-size:clamp(2.3rem,4.5vw,3.6rem)}.lab-feature p{color:var(--muted);max-width:460px;margin-block:22px}.text-link{align-items:center;gap:16px;font-size:17px;display:inline-flex}.topic-label{color:var(--blue);margin-bottom:15px;font-size:15px;display:block}.research-list{gap:0;display:grid}.research-item{border-top:1px solid var(--line);grid-template-columns:160px 1fr auto;align-items:start;gap:32px;padding-block:28px;display:grid}.research-item:first-child{border-top:0;padding-top:0}.research-item .venue{color:var(--muted);font-size:15px}.research-item .venue b{color:var(--ink);font-size:17px;font-weight:600;display:block}.research-item h4 a{color:var(--ink);text-decoration:none}.research-item h4 a:hover{color:var(--blue)}.research-item p{color:var(--muted);max-width:660px;margin-top:9px;font-size:17px}.research-item>a{font-size:16px}.article-list{grid-template-columns:1fr 1fr;gap:38px;display:grid}.article-card{border-top:2px solid var(--ink);padding:26px 0}.article-card :is(h2,h3){font-family:var(--serif);font-size:1.8rem;font-weight:400;line-height:1.3}.article-card :is(h2,h3) a{color:var(--ink);text-decoration:none}.article-card :is(h2,h3) a:hover{color:var(--blue)}.article-meta{color:var(--muted);flex-wrap:wrap;align-items:center;gap:12px;margin-bottom:16px;font-size:14px;display:flex}.article-card p{color:var(--muted);margin-top:16px;font-size:17px}.draft-tag{color:var(--muted);border:1px solid #b2bfd3;border-radius:3px;padding:1px 7px;font-size:12px}.writing-empty{background:var(--wash);justify-content:space-between;align-items:center;gap:32px;padding:32px;display:flex}.writing-empty p{max-width:680px;color:var(--muted)}.writing-empty a{flex-shrink:0}.news-list{gap:24px;padding:0;list-style:none;display:grid}.news-list li{grid-template-columns:130px 1fr;gap:24px;display:grid}.news-list time{color:var(--muted);padding-top:3px;font-size:15px}.news-list p{font-size:17px}.page-header{max-width:840px;padding-block:70px 52px}.page-header h1{margin-bottom:22px}.page-header p{color:var(--muted);max-width:740px;font-size:21px;line-height:1.65}.page-header .back-link{margin-bottom:26px;font-size:15px;display:inline-block}.page-body{padding-bottom:80px}.resource-links{flex-wrap:wrap;align-items:center;gap:14px 24px;margin-top:18px;font-size:15px;display:flex}.filter-bar{background:var(--wash);flex-wrap:wrap;align-items:end;gap:14px;margin-bottom:40px;padding:20px 24px;display:flex}.filter-bar label{gap:5px;font-size:14px;display:grid}.filter-bar label:first-child{flex:260px}.filter-bar input,.filter-bar select{min-height:44px;color:var(--ink);background:#fff;border:1px solid #aab8cc;border-radius:3px;width:100%;min-width:0;padding:8px 12px}.filter-bar output{color:var(--muted);padding-bottom:10px;font-size:14px}.publication{border-top:1px solid var(--line);grid-template-columns:90px 1fr;gap:25px;padding:30px 0;scroll-margin-top:24px;display:grid}.publication:target{background:var(--wash);outline:10px solid var(--wash)}.publication .pub-year{font-family:var(--serif);font-size:25px}.publication h2{font-family:var(--sans);letter-spacing:-.012em;font-size:21px;font-weight:600;line-height:1.35}.publication .authors{color:var(--muted);margin-top:12px;font-size:16px}.publication .authors strong{color:var(--ink);font-weight:600}.publication .pub-venue{color:var(--blue);margin-top:8px;font-size:15px}details{margin-top:16px}summary{cursor:pointer;color:var(--blue);width:fit-content;font-size:15px}details>p{color:var(--muted);margin-top:12px;font-size:16px}pre{border:1px solid var(--line);border-radius:4px;padding:22px;font-size:14px;line-height:1.65;overflow-x:auto}code{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.86em}pre code{font-size:inherit}.copy-button{background:var(--wash);color:var(--ink);border:1px solid var(--line);border-radius:3px;margin-top:8px;padding:5px 12px;font-size:14px}.about-grid{grid-template-columns:1fr 250px;align-items:start;gap:80px;display:grid}.about-grid .portrait{margin-top:72px}.prose{overflow-wrap:break-word;max-width:720px}.prose>*+*{margin-top:1.25em}.prose h2{margin-top:2em;font-size:2rem}.prose h3{margin-top:1.8em}.prose p,.prose li{line-height:1.8}.prose ul,.prose ol{padding-left:1.3em}.prose li+li{margin-top:.5em}.prose blockquote{border-left:3px solid var(--blue);color:var(--muted);background:var(--wash);margin-left:0;padding:12px 24px}.prose :not(pre)>code{background:var(--wash);border-radius:3px;padding:.15em .3em}.article-layout{grid-template-columns:minmax(0,720px) 220px;align-items:start;gap:70px;padding-bottom:80px;display:grid}.article-layout .prose{font-size:20px}.article-layout aside{border-left:1px solid var(--line);padding-left:24px;font-size:15px;position:sticky;top:32px}.article-layout aside a{color:var(--muted);margin-top:12px;text-decoration:none;display:block}.article-layout aside a:hover{color:var(--blue)}.article-layout aside strong{font-weight:600}.article-bottom{border-top:1px solid var(--line);margin-top:50px;padding-top:30px}.notice{border-left:3px solid var(--blue);background:var(--wash);margin-bottom:30px;padding:18px 24px;font-size:16px}.learning-grid{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:start;gap:64px;display:grid}.learning-grid .prose{font-size:18px}.learning-steps{padding-left:24px}.learning-steps li{margin-bottom:24px;padding-left:8px}.learning-steps li::marker{color:var(--blue);font-family:var(--serif);font-size:24px}.learning-steps strong{font-weight:600;display:block}.learning-steps p{color:var(--muted);margin-top:5px}.site-footer{border-top:1px solid var(--line);align-items:start;gap:40px;padding-block:36px 40px;font-size:15px;display:flex}.footer-name{color:var(--ink);font-size:20px;font-weight:600;text-decoration:none}.site-footer p{color:var(--muted);margin-top:5px}.site-footer nav{gap:22px;margin-left:auto;padding-top:7px;display:flex}.site-footer nav a{color:var(--muted);text-decoration:none}.site-footer .copyright{padding-top:5px;font-size:13px}.preview-banner{color:#23458c;text-align:center;background:#eaf0ff;padding:7px 24px;font-size:13px}.skip-link{z-index:10;background:#fff;padding:12px;position:absolute;top:-100px;left:20px}.skip-link:focus{top:12px}.empty-result{color:var(--muted);padding:36px 0}}@layer utilities{.muted{color:var(--muted)}.sr-only{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.mt{margin-top:24px}@media (width<=1000px){.wrapper{width:calc(100% - 64px)}.hero{grid-template-columns:1fr 210px;gap:42px}.hero h1{font-size:clamp(3rem,6.5vw,4.3rem)}.header-contact{display:none}.lab-feature{gap:36px}.article-layout{grid-template-columns:minmax(0,1fr)}.article-layout aside{display:none}.site-footer{flex-wrap:wrap;gap:24px}.site-footer .copyright{width:100%}}@media (width<=680px){body{font-size:17px}.wrapper{width:calc(100% - 40px)}.site-header{flex-wrap:wrap;gap:20px;min-height:auto;padding-block:22px 19px}.wordmark{font-size:22px}.site-header nav{justify-content:space-between;gap:0;width:100%;margin:0}.site-header nav a{padding-block:3px;font-size:15px}.site-header nav a[aria-current]:after{bottom:-4px}.hero{flex-direction:column;align-items:start;gap:32px;padding-block:42px 32px;display:flex}.hero h1{font-size:clamp(2.65rem,10vw,4rem)}.hero .intro{font-size:19px}.hero .portrait{align-items:center;gap:17px;display:flex}.hero .portrait img{object-position:top;width:74px;height:84px}.hero .portrait figcaption{padding:0}.hero-links{gap:18px}.entry-links{grid-template-columns:1fr;gap:20px;padding-block:23px}.entry-links a b{font-size:18px}.entry-links a span{font-size:15px}.section{padding-block:43px}.section-heading{flex-direction:column;align-items:start;gap:12px;margin-bottom:24px}.section-heading h2{font-size:2.2rem}.lab-feature,.article-list,.learning-grid,.about-grid{grid-template-columns:1fr;gap:28px}.lab-feature h2{font-size:2.5rem}.research-item{grid-template-columns:1fr;gap:10px}.research-item .venue b{margin-right:12px;display:inline}.research-item>a{margin-top:4px}.article-list{gap:8px}.writing-empty{flex-direction:column;align-items:start;gap:15px;padding:24px}.news-list li{grid-template-columns:1fr;gap:6px}.page-header{padding-block:42px 32px}.page-header p{font-size:19px}.publication{grid-template-columns:1fr;gap:10px}.publication .pub-year,.publication h2{font-size:20px}.about-grid .portrait{display:none}.article-layout .prose{font-size:18px}.filter-bar{padding:18px}.filter-bar label{flex:100%}.filter-bar output{padding:0}.site-footer{flex-direction:column;gap:22px}.site-footer nav{flex-wrap:wrap;margin-left:0}.site-footer .copyright{padding:0}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition:none!important;animation:none!important}}}
