@font-face{font-family:instrument sans;font-style:normal;font-weight:400 700;font-display:swap;src:url(../fonts/instrument-sans-normal-400_700-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:instrument sans;font-style:normal;font-weight:400 700;font-display:swap;src:url(../fonts/instrument-sans-normal-400_700-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"source serif 4";font-style:normal;font-weight:400 700;font-display:swap;src:url(../fonts/source-serif-4-normal-400_700-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"source serif 4";font-style:normal;font-weight:400 700;font-display:swap;src:url(../fonts/source-serif-4-normal-400_700-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"source serif 4";font-style:italic;font-weight:400 700;font-display:swap;src:url(../fonts/source-serif-4-italic-400_700-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"source serif 4";font-style:italic;font-weight:400 700;font-display:swap;src:url(../fonts/source-serif-4-italic-400_700-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"source serif 4 display";font-style:normal;font-weight:600 700;font-display:swap;src:url(../fonts/source-serif-4-display-600_700-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"source serif 4 display";font-style:normal;font-weight:600 700;font-display:swap;src:url(../fonts/source-serif-4-display-600_700-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}:root{--font-sans:"Instrument Sans", ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", "Noto Sans CJK SC", "Noto Sans SC", sans-serif;--font-serif:"Source Serif 4", "Source Serif Pro", Charter, "Iowan Old Style", Georgia, "Songti SC", "STSong", "Noto Serif CJK SC", "Noto Serif SC", serif;--font-display:"Source Serif 4 Display", "Source Serif 4", "Source Serif Pro", Charter, "Iowan Old Style", Georgia, "Songti SC", "STSong", "Noto Serif CJK SC", "Noto Serif SC", serif;--font-mono:ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;--rail-w:18.25rem;--gap:4.75rem;--measure:44.5rem;--pad:2.5rem;--year-col:5.25rem;--year-gap:1.5rem;--arxiv-col:5.25rem;--chipbar-h:3.5625rem;--radius:.625rem;color-scheme:light;--bg:#fbfaf8;--bg-elev:#ffffff;--bg-sunken:#f3f1ec;--text:#1a1c20;--text-2:#464b53;--text-3:#676d76;--rule:#e7e3db;--rule-2:#d4cfc5;--accent:#2c4dab;--accent-strong:#1d3889;--accent-soft:#edf0fa;--accent-rule:#b9c5e8;--on-accent:#ffffff;--award:#a1281d;--award-bg:#fbe9e5;--honor:#1b6a40;--honor-bg:#e3f2e8;--badge:#464b53;--badge-bg:#f0eee9;--flag:#b42318;--thm-default:#3a5fc8;--backdrop:rgb(16 18 24 / .36);--shadow-sm:0 1px 2px rgb(20 22 28 / .05);--shadow-lg:0 28px 60px -20px rgb(20 22 28 / .35);--scroll-shadow:rgb(20 22 28 / .26);--avatar-filter:none}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--bg:#0f1115;--bg-elev:#161920;--bg-sunken:#1b1f27;--text:#e9ebf0;--text-2:#bac0ca;--text-3:#8f96a2;--rule:#252a33;--rule-2:#353c48;--accent:#94adff;--accent-strong:#b9c9ff;--accent-soft:rgb(148 173 255 / .11);--accent-rule:rgb(148 173 255 / .36);--on-accent:#0f1115;--award:#ffab9f;--award-bg:rgb(255 120 100 / .13);--honor:#8bdaa9;--honor-bg:rgb(80 200 130 / .12);--badge:#c9ced8;--badge-bg:rgb(255 255 255 / .07);--flag:#ff9289;--thm-default:#7f9cf5;--backdrop:rgb(0 0 0 / .55);--shadow-sm:0 1px 2px rgb(0 0 0 / .3);--shadow-lg:0 28px 60px -20px rgb(0 0 0 / .7);--scroll-shadow:rgb(255 255 255 / .2);--avatar-filter:brightness(.8) contrast(1.05)}}:root[data-theme=dark]{color-scheme:dark;--bg:#0f1115;--bg-elev:#161920;--bg-sunken:#1b1f27;--text:#e9ebf0;--text-2:#bac0ca;--text-3:#8f96a2;--rule:#252a33;--rule-2:#353c48;--accent:#94adff;--accent-strong:#b9c9ff;--accent-soft:rgb(148 173 255 / .11);--accent-rule:rgb(148 173 255 / .36);--on-accent:#0f1115;--award:#ffab9f;--award-bg:rgb(255 120 100 / .13);--honor:#8bdaa9;--honor-bg:rgb(80 200 130 / .12);--badge:#c9ced8;--badge-bg:rgb(255 255 255 / .07);--flag:#ff9289;--thm-default:#7f9cf5;--backdrop:rgb(0 0 0 / .55);--shadow-sm:0 1px 2px rgb(0 0 0 / .3);--shadow-lg:0 28px 60px -20px rgb(0 0 0 / .7);--scroll-shadow:rgb(255 255 255 / .2);--avatar-filter:brightness(.8) contrast(1.05)}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;scroll-padding-top:1.75rem}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--font-serif);font-size:1.0625rem;line-height:1.65;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility}img,svg{max-width:100%}img{height:auto}p{margin:0 0 1em}:lang(zh),:lang(zh-hans){font-family:var(--font-serif)}a{color:var(--accent);text-decoration-line:underline;text-decoration-thickness:1px;text-underline-offset:.18em;text-decoration-color:var(--accent-rule);transition:color .15s ease,text-decoration-color .15s ease,background-color .15s ease,border-color .15s ease}a:hover{color:var(--accent-strong);text-decoration-color:initial}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}:where(a):focus-visible{border-radius:4px}.main:focus{outline:none}::selection{background:color-mix(in srgb,var(--accent) 22%,transparent)}.i{width:1em;height:1em;flex:none;display:block}.visually-hidden{position:absolute !important;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.skip-link{position:absolute;left:.75rem;top:-5rem;z-index:100;display:inline-flex;align-items:center;min-height:2.5rem;padding:0 1rem;border-radius:.5rem;background:var(--text);color:var(--bg);font:600 .9375rem/1 var(--font-sans);text-decoration:none}.skip-link:focus{top:.75rem}.shell{display:grid;grid-template-columns:var(--rail-w)minmax(0,var(--measure));column-gap:var(--gap);justify-content:center;padding:0 var(--pad);min-height:100vh}.shell--docs{--rail-w:15.75rem;--gap:3.5rem;--measure:46rem}.shell--docs.shell--toc{grid-template-columns:var(--rail-w)minmax(0,var(--measure))13.25rem}.column{min-width:0;display:flex;flex-direction:column;padding-top:4rem}.main{flex:1 0 auto;min-width:0}.rail,.toc-rail{position:sticky;top:0;align-self:start;max-height:100vh;max-height:100dvh;overflow-y:auto;overscroll-behavior:contain;scrollbar-width:none;padding:4rem .5rem 2.5rem;margin:0 -.5rem}.rail::-webkit-scrollbar{display:none}.toc-rail{scrollbar-width:thin}.rail-inner{display:flex;flex-direction:column;gap:2rem}.profile{display:flex;flex-direction:column;gap:1.125rem;font-family:var(--font-sans)}.p-head{display:flex;align-items:flex-start;justify-content:space-between;gap:.75rem}.avatar{display:block;flex:none;width:7.75rem;height:7.75rem;border-radius:50%;object-fit:cover;object-position:50% 30%;background:#fff;box-shadow:0 0 0 1px var(--rule-2),0 10px 26px -14px rgb(20 30 60/.45);filter:var(--avatar-filter)}.p-id{display:flex;flex-direction:column;gap:.375rem;min-width:0}.p-name{margin:0;font:600 2.25rem/1.08 var(--font-display);letter-spacing:-.022em;color:var(--text);text-wrap:balance}.p-name a{color:inherit;text-decoration:none}.p-name a:hover{color:var(--accent)}.p-name__main{display:block}.p-name__alt{display:block;margin-top:.3125rem;font:1.125rem/1.3 var(--font-serif);letter-spacing:.06em;color:var(--text-3);white-space:nowrap}.profile--compact .p-name{font-size:1.75rem}.profile--compact .p-name__alt{font-size:1rem}.p-role{margin:.25rem 0 0;font-size:.9375rem;line-height:1.45;color:var(--text-2)}.p-role a{color:inherit;text-decoration-color:var(--rule-2)}.p-role a:hover{color:var(--accent);text-decoration-color:initial}.p-tagline{margin:.125rem 0 0;font:italic 1rem/1.45 var(--font-serif);color:var(--text-3)}.p-contact{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.5rem}.p-contact__item{position:relative;display:flex;align-items:flex-start;gap:.625rem;margin:0;font:.875rem/1.45 var(--font-sans);color:var(--text-2)}.p-contact__item>.i{width:1rem;height:1rem;margin-top:.125rem;color:var(--text-3)}.p-contact__item a{color:var(--text-2);text-decoration-color:var(--rule-2)}.p-contact__item a:hover{color:var(--accent);text-decoration-color:initial}.p-email{overflow-wrap:anywhere}.p-at{margin:0 .08em;color:var(--text-3)}.p-at::before{content:"@"}.p-email:hover .p-at{color:inherit}.copy-btn{position:relative;display:inline-grid;place-items:center;flex:none;width:1.625rem;height:1.625rem;margin:-.125rem 0 -.125rem -.25rem;border:0;border-radius:.375rem;padding:0;background:0 0;color:var(--text-3);cursor:pointer}.copy-btn[hidden]{display:none}.copy-btn::after{content:"";position:absolute;inset:-.5rem}.copy-btn:hover{color:var(--accent);background:var(--accent-soft)}.copy-btn .i{width:.875rem;height:.875rem;grid-area:1/1}.copy-btn .i-check{display:none}.copy-btn.is-done .i-copy{display:none}.copy-btn.is-done .i-check{display:block;color:var(--honor)}.copy-tip{position:absolute;left:50%;bottom:calc(100% + .375rem);transform:translateX(-50%);padding:.1875rem .4375rem;border-radius:.375rem;white-space:nowrap;background:var(--text);color:var(--bg);font:600 .75rem/1.2 var(--font-sans);opacity:0;pointer-events:none;transition:opacity .15s}.copy-btn.is-done .copy-tip{opacity:1}.p-links{list-style:none;margin:.125rem 0 0;padding:0;display:flex;flex-wrap:wrap;gap:.5rem}.pill{display:inline-flex;align-items:center;gap:.4375rem;min-height:2.125rem;padding:0 .8125rem 0 .6875rem;border:1px solid var(--rule-2);border-radius:999px;background:var(--bg-elev);color:var(--text);font:600 .8125rem/1 var(--font-sans);text-decoration:none;box-shadow:var(--shadow-sm)}.pill .i{width:.9375rem;height:.9375rem;color:var(--text-3);transition:color .15s}.pill:hover{border-color:var(--accent);color:var(--accent)}.pill:hover .i{color:var(--accent)}.icon-btn{display:inline-grid;place-items:center;flex:none;width:2.5rem;height:2.5rem;border:1px solid transparent;border-radius:.625rem;padding:0;background:0 0;color:var(--text-2);cursor:pointer;transition:background-color .15s,color .15s,border-color .15s}.icon-btn:hover{background:var(--bg-sunken);color:var(--text)}.icon-btn .i{width:1.1875rem;height:1.1875rem;grid-area:1/1}.theme-toggle{border-color:var(--rule)}.theme-toggle .i-sun,.theme-toggle[aria-pressed=true] .i-moon{display:none}.theme-toggle[aria-pressed=true] .i-sun{display:block}.rail-nav{font-family:var(--font-sans)}.rail-nav+.rail-nav{margin-top:-.25rem}.nav-label{margin:0 0 .625rem;font:600 .75rem/1 var(--font-sans);letter-spacing:.1em;text-transform:uppercase;color:var(--text-3)}.nav-list{list-style:none;margin:0;padding:0;border-left:1px solid var(--rule)}.nav-list .nav-list{border-left:0}.nav-list .nav-list a{padding-left:1.75rem}.nav-list a{display:flex;align-items:center;justify-content:space-between;gap:.625rem;margin-left:-1px;padding:.375rem .75rem .375rem .875rem;border-left:2px solid transparent;color:var(--text-2);font:500 .9rem/1.35 var(--font-sans);text-decoration:none;transition:none}.nav-list a:hover{color:var(--text);border-left-color:var(--rule-2)}.nav-list a.is-active,.nav-list a[aria-current=page],.toc a.is-active{color:var(--accent);border-left-color:var(--accent);font-weight:600}.nav-count{min-width:1.625rem;padding:.0625rem .4375rem;border-radius:999px;background:var(--bg-sunken);color:var(--text-3);font:600 .75rem/1.5 var(--font-sans);text-align:center;font-variant-numeric:tabular-nums}.nav-list a.is-active .nav-count{background:var(--accent-soft);color:var(--accent)}.rail-foot{margin:0;font-family:var(--font-sans)}.rail-home{display:inline-flex;align-items:center;gap:.5rem;min-height:2rem;color:var(--text-3);text-decoration:none;font:500 .875rem/1.3 var(--font-sans)}.rail-home .i{width:1rem;height:1rem}.rail-home:hover{color:var(--accent)}.docs-brand{display:flex;align-items:center;justify-content:space-between;gap:.625rem}.brand{display:flex;align-items:center;gap:.75rem;min-width:0;color:var(--text);text-decoration:none}.avatar.avatar--sm{width:2.625rem;height:2.625rem;box-shadow:0 0 0 1px var(--rule-2)}.brand-text{display:flex;flex-direction:column;min-width:0;font-family:var(--font-sans)}.brand-name{font:650 1.0625rem/1.2 var(--font-sans);letter-spacing:-.01em}.brand-sub{font-size:.8125rem;line-height:1.35;color:var(--text-3)}.brand:hover .brand-name{color:var(--accent)}.chipbar{display:none}.drawer[hidden]{display:none}.drawer{position:fixed;inset:0;z-index:80}.drawer__backdrop{position:absolute;inset:0;background:var(--backdrop);animation:fade-in .2s ease}.drawer__panel{position:absolute;top:0;right:0;bottom:0;width:min(86vw,22.5rem);display:flex;flex-direction:column;gap:1.5rem;padding:.875rem 1.25rem 1.75rem;overflow-y:auto;overscroll-behavior:contain;background:var(--bg-elev);color:var(--text);border-left:1px solid var(--rule);box-shadow:var(--shadow-lg);font-family:var(--font-sans);animation:slide-in .24s cubic-bezier(.2,.8,.2,1)}.drawer__panel:focus{outline:none}.drawer__head{display:flex;align-items:center;justify-content:space-between;margin-right:-.5rem}.drawer__title{margin:0;font:650 1.0625rem/1 var(--font-sans)}.drawer__group{margin:0}.drawer .nav-list a{min-height:2.625rem;font-size:1rem}.drawer .p-links{margin:.75rem 0 0}.drawer .pill{min-height:2.5rem}.drawer__email{align-items:center;min-height:2.5rem;font-size:.9375rem}.drawer__email .p-email{padding-block:.6875rem}.drawer__foot .rail-home{min-height:2.5rem}@keyframes slide-in{from{transform:translateX(1.5rem);opacity:0}to{transform:none;opacity:1}}@keyframes fade-in{from{opacity:0}to{opacity:1}}.seg{display:grid;grid-template-columns:repeat(3,1fr);gap:.25rem;padding:.25rem;border-radius:.75rem;background:var(--bg-sunken);border:1px solid var(--rule)}.seg__btn{display:inline-flex;align-items:center;justify-content:center;gap:.4375rem;min-height:2.5rem;border:0;border-radius:.5625rem;padding:0 .5rem;background:0 0;color:var(--text-2);cursor:pointer;font:600 .875rem/1 var(--font-sans)}.seg__btn .i{width:1rem;height:1rem}.seg__btn:hover{color:var(--text)}.seg__btn[aria-pressed=true]{background:var(--bg-elev);color:var(--accent);box-shadow:var(--shadow-sm),0 0 0 1px var(--accent-rule)}.prose{min-width:0;overflow-wrap:break-word}.prose p:empty{display:none}:where(.prose ul,.prose ol){padding-left:1.35rem;margin:0 0 1em}:where(.prose li){margin:.3em 0}:where(.prose li)::marker{color:var(--text-3)}.prose strong{font-weight:650}.prose u{text-decoration-thickness:1px;text-underline-offset:.16em}.prose img{border-radius:.5rem}.prose hr{height:1px;margin:2.5rem 0;border:0;background:var(--rule)}.prose blockquote{margin:1.2em 0;padding:.125rem 0 .125rem 1.125rem;border-left:3px solid var(--rule-2);color:var(--text-2);font-style:italic}.prose code{font-family:var(--font-mono);font-size:.86em;padding:.12em .38em;border-radius:.3125rem;background:var(--bg-sunken);border:1px solid var(--rule)}.prose pre{margin:1.2em 0;padding:.875rem 1rem;overflow-x:auto;border:1px solid var(--rule);border-radius:.625rem;background:var(--bg-sunken);font-size:.9rem;line-height:1.55}.prose pre code{padding:0;border:0;background:0 0;font-size:inherit}.prose table{display:block;max-width:100%;overflow-x:auto;border-collapse:collapse;margin:1.2em 0;font-size:.95rem}.prose th,.prose td{padding:.5rem .75rem;border-bottom:1px solid var(--rule);text-align:left}.prose th{font:600 .875rem/1.3 var(--font-sans);color:var(--text-2);border-bottom-color:var(--rule-2)}.section+.section,.widget{margin-top:3.75rem}.section>h2,.page-body h2{display:flex;align-items:center;gap:1rem;margin:0 0 1.125rem;font:650 1.375rem/1.25 var(--font-sans);letter-spacing:-.015em;color:var(--text)}.section>h2::after,.page-body h2::after{content:"";flex:1;height:1px;background:var(--rule);transform:translateY(1px)}.section__body>:last-child{margin-bottom:0}.section__body>h2,.section__body>h3{margin:1.75rem 0 .75rem;font:650 1.125rem/1.3 var(--font-sans);letter-spacing:-.01em}.about>.section:first-of-type .section__body>p:first-child{font-size:1.15rem;line-height:1.6;letter-spacing:-.003em}.section--callout{position:relative;padding:1.375rem 1.625rem .375rem;border:1px solid var(--accent-rule);border-radius:.875rem;background:var(--accent-soft);background:radial-gradient(120% 140% at 100% 0%,color-mix(in srgb,var(--accent) 9%,transparent) 0%,transparent 55%),var(--accent-soft)}.section--callout>h2{margin-bottom:.625rem}.section--callout>h2::after{background:var(--accent-rule)}.section--callout .section__body>:last-child{margin-bottom:1rem}:where(.prose) ul:has(>li.dated){padding-left:0}li.dated{list-style:none;display:grid;grid-template-columns:var(--year-col)minmax(0,1fr);column-gap:var(--year-gap);align-items:baseline;margin:0;padding:.625rem 0}li.dated+li.dated{border-top:1px solid var(--rule)}.dated__year{font:600 .9375rem/1.45 var(--font-sans) !important;color:var(--text);font-variant-numeric:tabular-nums;letter-spacing:-.005em}.edu{position:relative;display:grid;grid-template-columns:auto minmax(0,1fr);column-gap:1.25rem;align-items:baseline;padding:0 0 1.875rem 2.125rem}.edu>*{grid-column:1/-1}.edu:last-of-type{padding-bottom:0}.edu::before{content:"";position:absolute;left:.4375rem;top:1.375rem;bottom:-.25rem;width:2px;border-radius:2px;background:var(--rule)}.edu:last-of-type::before{bottom:0;background:linear-gradient(var(--rule),transparent)}.edu::after{content:"";position:absolute;left:.0625rem;top:.375rem;width:.875rem;height:.875rem;border-radius:50%;background:var(--bg);border:2px solid var(--text-3)}.edu:first-of-type::after{background:var(--accent);border-color:var(--accent);box-shadow:0 0 0 4px var(--accent-soft)}.edu__school{margin:0;font:650 1.125rem/1.35 var(--font-sans);letter-spacing:-.01em}.edu__school a{color:var(--text);text-decoration:none}.edu__school a:hover{color:var(--accent);text-decoration:underline;text-decoration-color:var(--accent-rule)}.edu__time,.edu__degree{position:relative;margin:.375rem 0 .625rem;padding-left:1.375rem;font:500 .875rem/1.5 var(--font-sans);color:var(--text-2)}.edu__time{grid-column:1;font-weight:600;font-variant-numeric:tabular-nums;white-space:nowrap}.edu__degree{grid-column:2}.edu__time::before,.edu__degree::before{content:"";position:absolute;left:0;top:.1875rem;width:.9375rem;height:.9375rem;background:var(--text-3);-webkit-mask:var(--mask)center/contain no-repeat;mask:var(--mask)center/contain no-repeat}.edu__time::before{--mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='1.8' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect width='18' height='18' x='3' y='4' rx='2'/%3E%3Cpath d='M8 2v4'/%3E%3Cpath d='M16 2v4'/%3E%3Cpath d='M3 10h18'/%3E%3C/svg%3E")}.edu__degree::before{--mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='1.8' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M21.42 10.92a1 1 0 0 0-.02-1.84L12.83 5.18a2 2 0 0 0-1.66 0L2.6 9.08a1 1 0 0 0 0 1.83l8.57 3.91a2 2 0 0 0 1.66 0z'/%3E%3Cpath d='M22 10v6'/%3E%3Cpath d='M6 12.5V16a6 3 0 0 0 12 0v-3.5'/%3E%3C/svg%3E")}.edu__degree a{color:var(--accent)}.edu__body p{margin:0 0 .55em;color:var(--text-2);font-size:1rem;line-height:1.6}.edu__body>:last-child{margin-bottom:0}.section--pubs>.section__body>p:first-child{margin:-.25rem 0 0;font-size:.925rem;line-height:1.55;color:var(--text-3)}.section--pubs>.section__body>p:first-child a{color:var(--text-2)}.pub-index ul{list-style:none;margin:1.125rem 0 0;padding:0;display:flex;flex-wrap:wrap;gap:.3125rem}.pub-index li{margin:0}.pub-index a{display:inline-flex;align-items:baseline;gap:.375rem;padding:.375rem .5625rem .375rem .625rem;border:1px solid var(--rule-2);border-radius:999px;background:var(--bg-elev);color:var(--text);font:600 .8125rem/1.15 var(--font-sans);font-variant-numeric:tabular-nums;text-decoration:none}.pub-index__n{color:var(--text-3);font-weight:500;font-size:.75rem}.pub-index a:hover{border-color:var(--accent);color:var(--accent)}.pub-index a:hover .pub-index__n{color:inherit}.pub-group{display:grid;grid-template-columns:var(--year-col)minmax(0,1fr);column-gap:var(--year-gap);margin-top:1.75rem}.pub-year{grid-column:1;grid-row:1;align-self:start;position:sticky;top:1.75rem;display:flex;flex-direction:column;gap:.25rem;margin:0;padding-top:1rem;font-family:var(--font-sans)}.pub-year__label{font-size:1.0625rem;font-weight:650;line-height:1.15;letter-spacing:-.01em;color:var(--text);font-variant-numeric:tabular-nums}.pub-year__count{font-size:.75rem;font-weight:500;line-height:1.3;color:var(--text-3)}.pubs{grid-column:2;grid-row:1;list-style:none;margin:0;padding:0;border-left:2px solid var(--accent-rule)}.pub{position:relative;margin:0 0 0 -2px;padding:1rem var(--arxiv-col)1rem 1.375rem;border-left:2px solid transparent;transition:border-color .15s ease,background-color .15s ease}.pub+.pub::before{content:"";position:absolute;top:0;left:1.375rem;right:0;height:1px;background:var(--rule)}.pub:hover{border-left-color:var(--accent);background:linear-gradient(90deg,var(--accent-soft),transparent 70%)}.pub--award,.pub--award:hover{border-left-color:var(--award)}.pub>p{margin:0;font-size:.95rem;line-height:1.55;color:var(--text-2)}.pub u{text-decoration:none;font:600 1.0625rem/1.4 var(--font-sans);letter-spacing:-.006em;color:var(--text)}.pub u .katex{font-size:1.04em}.pub .me{color:var(--text);font-weight:650;white-space:nowrap}.pub .venue{font:650 .8125rem/1 var(--font-sans);letter-spacing:.03em;color:var(--accent);margin-right:.125rem}.pub a[href*="arxiv.org/"]{position:absolute;top:1.0625rem;right:0;display:inline-flex;align-items:center;padding:.125rem .5625rem;border:1px solid var(--accent-rule);border-radius:999px;font:600 .75rem/1.35 var(--font-sans);letter-spacing:.02em;color:var(--accent);background:var(--bg-elev);text-decoration:none;white-space:nowrap}.pub a[href*="arxiv.org/"]~a[href*="arxiv.org/"]{position:relative;top:auto;right:auto;margin-left:.25rem}.pub a[href*="arxiv.org/"]::after{content:"";position:absolute;inset:-.625rem -.375rem}.pub a[href*="arxiv.org/"]:hover{background:var(--accent);border-color:var(--accent);color:var(--on-accent)}.pub a[href*="arxiv.org/"] .fa-file-alt{display:none}.pub b[style]{display:inline-flex;align-items:center;gap:.375rem;margin:.5rem .375rem 0 0;padding:.25rem .625rem .25rem .5rem;border-radius:999px;font:600 .8125rem/1.2 var(--font-sans);letter-spacing:.01em;color:var(--badge) !important;background:var(--badge-bg)}.pub b[style]::before{content:"";width:.8125rem;height:.8125rem;flex:none;background:currentColor;-webkit-mask:var(--mask)center/contain no-repeat;mask:var(--mask)center/contain no-repeat;--mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='4'/%3E%3C/svg%3E")}.pub b[style*=red]{color:var(--award) !important;background:var(--award-bg)}.pub b[style*=red]::before{--mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M6 9H4.5a2.5 2.5 0 0 1 0-5H6'/%3E%3Cpath d='M18 9h1.5a2.5 2.5 0 0 0 0-5H18'/%3E%3Cpath d='M4 22h16'/%3E%3Cpath d='M10 14.66V17c0 .55-.47.98-.97 1.21C7.85 18.75 7 20.24 7 22'/%3E%3Cpath d='M14 14.66V17c0 .55.47.98.97 1.21C16.15 18.75 17 20.24 17 22'/%3E%3Cpath d='M18 2H6v7a6 6 0 0 0 12 0V2Z'/%3E%3C/svg%3E")}.pub b[style*=green]{color:var(--honor) !important;background:var(--honor-bg)}.pub b[style*=green]::before{--mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M2 3h6a4 4 0 0 1 4 4v14a3 3 0 0 0-3-3H2z'/%3E%3Cpath d='M22 3h-6a4 4 0 0 0-4 4v14a3 3 0 0 1 3-3h7z'/%3E%3C/svg%3E")}.pub b[style]+br{display:none}.section__body--after{margin-top:2.75rem}.section__body--after>h3{display:flex;align-items:center;gap:.875rem;margin:0 0 .5rem;font:650 1.125rem/1.3 var(--font-sans);letter-spacing:-.01em}.section__body--after>h3::after{content:"";flex:1;height:1px;background:var(--rule)}.section__body--after>p{margin:0;font-size:.925rem;line-height:1.55;color:var(--text-3)}.section__body--after>.pubs{margin:1rem 0 0 calc(var(--year-col) + var(--year-gap))}.site-footer{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.5rem 1.5rem;margin-top:5.5rem;padding:1.375rem 0 2.5rem;border-top:1px solid var(--rule);font:500 .8125rem/1.5 var(--font-sans);color:var(--text-3)}.site-footer p{margin:0}.footer-top{display:inline-flex;align-items:center;gap:.375rem;min-height:2rem;color:var(--text-3);text-decoration:none}.footer-top:hover{color:var(--accent)}.footer-top .i{width:.875rem;height:.875rem}.page-header{margin-bottom:1.75rem}.crumbs{display:flex;flex-wrap:wrap;align-items:center;gap:.125rem .5rem;margin:0 0 .875rem;font:500 .8125rem/1.4 var(--font-sans);color:var(--text-3)}.crumbs a{color:var(--text-3);text-decoration:none}.crumbs a:hover{color:var(--accent);text-decoration:underline}.crumbs [aria-current]{color:var(--text-2)}.crumb-sep{color:var(--rule-2)}.page-kicker{margin:0 0 .5rem;font:600 .75rem/1 var(--font-sans);letter-spacing:.1em;text-transform:uppercase;color:var(--text-3)}.page-title,.page-title-prose h1,.doc h1{margin:0;font:600 2.5rem/1.1 var(--font-display);letter-spacing:-.022em;color:var(--text);text-wrap:balance}.page-lede{font-size:1.15rem;line-height:1.6}.page-lede>:last-child{margin-bottom:0}.page-body>.section,.page-body>.page-lede+.section{margin-top:3rem}.page-body ul{padding-left:0;list-style:none}.page-body ul li{position:relative;padding-left:1.375rem;margin:.45em 0}.page-body ul li::before{content:"";position:absolute;left:.1875rem;top:.62em;width:.4375rem;height:.4375rem;border-radius:2px;background:var(--accent);transform:rotate(45deg)}.page-body ul li.dated{padding-left:0}.page-body ul li.dated::before{content:none}.page-list{margin:2rem 0 0;padding:0;list-style:none;font-family:var(--font-sans)}.page-list a{display:inline-flex;min-height:2.5rem;align-items:center}.toc-rail{padding-top:4rem}.toc-rail__inner{font-family:var(--font-sans)}.toc{font-family:var(--font-sans)}.toc ul{list-style:none;margin:0;padding:0}.toc>ul{border-left:1px solid var(--rule)}.toc a{display:block;margin-left:-1px;padding:.3125rem .625rem .3125rem .875rem;border-left:2px solid transparent;color:var(--text-3);text-decoration:none;font:500 .8125rem/1.4 var(--font-sans);transition:none}.toc ul ul a{padding-left:1.625rem}.toc ul ul ul a{padding-left:2.375rem;font-size:.8rem}.toc ul ul ul ul a{padding-left:3.125rem}.toc>ul>li:only-child>a{display:none}.toc>ul>li:only-child>ul>li>a{padding-left:.875rem}.toc>ul>li:only-child>ul ul>li>a{padding-left:1.625rem}.toc>ul>li:only-child>ul ul ul>li>a{padding-left:2.375rem}.toc a:hover{color:var(--text)}.doc-bar{position:relative;display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.75rem;margin:0 0 1rem}.doc-bar .crumbs{margin:0;min-width:0}.doc-tools{display:flex;flex-wrap:wrap;gap:.5rem;margin-left:auto}.tool-btn{display:inline-flex;align-items:center;gap:.5rem;min-height:2.25rem;padding:0 .75rem 0 .8125rem;border:1px solid var(--rule-2);border-radius:.625rem;background:var(--bg-elev);list-style:none;cursor:pointer;white-space:nowrap;font:600 .8125rem/1 var(--font-sans);color:var(--text-2)}.tool-btn::-webkit-details-marker{display:none}.tool-btn::marker{content:""}.tool-btn:hover{color:var(--text);border-color:var(--text-3)}.tool-btn .i{width:.9375rem;height:.9375rem;color:var(--text-3)}.folds-btn{min-width:10.25rem;justify-content:center}.folds-btn[data-open=true]{color:var(--accent);border-color:var(--accent-rule)}.folds-btn[data-open=true] .i{color:var(--accent)}.toc-pop{display:none}.toc-pop__chev{transition:transform .18s}.toc-pop[open] .toc-pop__chev{transform:rotate(180deg)}.toc-pop[open]>.toc-pop__btn{color:var(--text);border-color:var(--text-3)}.toc-pop__panel{position:absolute;right:0;top:calc(100% + .5rem);z-index:30;width:min(23.75rem,100%);max-height:min(70vh,35rem);overflow-y:auto;padding:.75rem .75rem .875rem .5rem;border:1px solid var(--rule);border-radius:.875rem;background:var(--bg-elev);box-shadow:var(--shadow-lg);animation:fade-in .16s ease}.doc{font-size:1.0625rem;line-height:1.7}.doc h1{margin:0 0 1.75rem;font-size:2.5rem}.doc>h1~h1{margin:3rem 0 1.25rem;padding-top:1.75rem;border-top:1px solid var(--rule);font-size:2rem}.doc h2{margin:3.5rem 0 1.125rem;padding-top:1.625rem;border-top:1px solid var(--rule);font:650 1.5rem/1.25 var(--font-sans);letter-spacing:-.015em}.doc h3{margin:2.5rem 0 .75rem;font:650 1.1875rem/1.3 var(--font-sans);letter-spacing:-.01em}.doc h4{margin:1.75rem 0 .5rem;font:650 1rem/1.35 var(--font-sans)}.doc h5,.doc h6{margin:1.5rem 0 .5rem;font:650 .9375rem/1.35 var(--font-sans)}.doc p{margin:0 0 1em}.doc [style*="color:red"],.doc [style*="color: red"]{color:var(--flag) !important}.doc [style*="color:lime"],.doc [style*="color: lime"],.doc [style*="color:green"],.doc [style*="color: green"]{color:var(--honor) !important}.wiki-title{margin:1.4em 0 .6em;text-align:center;font:650 1rem/1.35 var(--font-sans);color:var(--text)}.wiki-figure{display:flex;justify-content:center;margin:1.5em 0}.wiki-figure--left{justify-content:flex-start}.wiki-figure img{max-width:100%;height:auto !important}.katex{font-size:1.07em;text-rendering:auto}.doc,.main{--surface:var(--bg)}.thm__body{--surface:var(--bg-elev)}.katex-display,.katex.katex-wide{background:linear-gradient(90deg,var(--surface,var(--bg)) 50%,transparent)0/2.5rem 100% no-repeat local,linear-gradient(270deg,var(--surface,var(--bg)) 50%,transparent)100%/2.5rem 100% no-repeat local,radial-gradient(farthest-side at 0 50%,var(--scroll-shadow),transparent)0/.875rem 100% no-repeat,radial-gradient(farthest-side at 100% 50%,var(--scroll-shadow),transparent)100%/.875rem 100% no-repeat}.katex-display{margin:.9em 0;padding:.2em .125rem;overflow-x:auto;overflow-y:hidden;scrollbar-width:thin}.katex-display>.katex{font-size:1.1em;white-space:nowrap}.katex-display:focus-visible,.katex.katex-wide:focus-visible{outline-offset:-2px}.katex.katex-wide{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle;padding-bottom:.15em;scrollbar-width:thin}.math-glue{white-space:nowrap}.katex-error{color:var(--flag) !important}.thm{--c:var(--thm-color, var(--thm-default));--c-ink:var(--c);--c-ink:color-mix(in srgb, var(--c) 72%, var(--text));margin:1.625rem 0;border:1px solid var(--rule-2);border:1px solid color-mix(in srgb,var(--c) 28%,var(--rule));border-left:3px solid var(--c);border-radius:.375rem .75rem .75rem .375rem;background:var(--bg-elev);box-shadow:var(--shadow-sm)}.thm__head{display:flex;align-items:center;gap:.625rem;padding:.5625rem 1.125rem .5625rem 1rem;border-radius:0 calc(.75rem - 1px)0 0;background:var(--bg-sunken);background:color-mix(in srgb,var(--c) 11%,var(--bg-elev));border-bottom:1px solid var(--rule);border-bottom:1px solid color-mix(in srgb,var(--c) 20%,var(--rule));font:650 .9375rem/1.35 var(--font-sans);letter-spacing:-.003em;color:var(--text)}.thm__head::before{content:"";width:.5rem;height:.5rem;flex:none;border-radius:2px;background:var(--c-ink);transform:rotate(45deg)}.thm__title{min-width:0}.thm__title a{color:inherit;text-decoration-color:var(--rule-2)}.thm__title a:hover{color:var(--accent)}.thm__body{padding:.875rem 1.125rem 1rem;line-height:1.68;overflow-x:auto}.thm__body>:first-child,.thm__body>div:first-child>:first-child{margin-top:0}.thm__body>:last-child,.thm__body>div:last-child>:last-child{margin-bottom:0}.thm__body p{margin:.6em 0}.thm__body ul,.thm__body ol{padding-left:1.3rem;margin:.5em 0}.thm__body li{margin:.35em 0}.thm__body li::marker{color:var(--c-ink)}.thm__body .katex-display{margin:.6em 0}.fold{margin:.75rem 0 1.625rem}.thm+.fold,.thm+div:empty+.fold,.thm+p:empty+.fold{margin-top:-.875rem}.fold__label{display:inline-flex;align-items:center;gap:.375rem;min-height:2.5rem;padding:0 .875rem 0 .625rem;border:1px solid var(--rule-2);border-radius:999px;background:var(--bg-elev);list-style:none;cursor:pointer;-webkit-user-select:none;user-select:none;font:italic 600 .95rem/1 var(--font-serif);color:var(--text-2)}.fold__label::-webkit-details-marker{display:none}.fold__label::marker{content:""}.fold__label:hover{color:var(--accent);border-color:var(--accent-rule)}.fold__chev{display:inline-grid;place-items:center;width:.9375rem;height:.9375rem;color:var(--text-3);transition:transform .18s ease}.fold__chev svg{width:.9375rem;height:.9375rem}.fold[data-kind=hidden] .fold__label{font:600 .875rem/1.2 var(--font-sans)}.fold[open]>.fold__label{color:var(--text);border-color:var(--rule-2);background:var(--bg-sunken)}.fold[open]>.fold__label .fold__chev{transform:rotate(90deg);color:var(--accent)}.fold__body{position:relative;margin:.625rem 0 0 1.0625rem;padding:.25rem 0 .375rem 1.25rem;border-left:2px solid var(--rule);overflow-x:auto}.fold__body>:first-child,.fold__body>div:first-child>:first-child{margin-top:0}.fold__body .katex-display{margin:.6em 0}.fold[data-kind=proof]>.fold__body::after{content:"";display:block;width:.5625rem;height:.5625rem;margin:.375rem 0 0 auto;border:1.5px solid var(--text-2)}.button-group{display:inline-flex;flex-wrap:wrap;overflow:hidden;margin:.25rem 0;border:1px solid var(--rule-2);border-radius:.625rem;background:var(--bg-elev);font:500 .875rem/1.2 var(--font-sans)}.button-group input[type=radio]{position:absolute;opacity:0;pointer-events:none}.button-group label{padding:.5rem .8rem;cursor:pointer;border-right:1px solid var(--rule);color:var(--text-2)}.button-group label:last-of-type{border-right:0}.button-group label:hover{background:var(--bg-sunken);color:var(--text)}.button-group input[type=radio]:checked+label{background:var(--accent);color:var(--on-accent)}.button-group input[type=radio]:focus-visible+label{outline:2px solid var(--accent);outline-offset:-2px}#tableContainer{max-width:100%;overflow-x:auto;margin-top:1rem}#myTable{width:100%;border-collapse:collapse;white-space:pre-wrap;font-size:.9375rem}#myTable th,#myTable td{padding:.55rem .8rem;border:1px solid var(--rule);text-align:left}#myTable th{background:var(--bg-sunken);font-family:var(--font-sans)}@media(max-width:79.99em){.shell--docs.shell--toc{grid-template-columns:var(--rail-w)minmax(0,var(--measure))}.shell--docs{--gap:3rem}.toc-rail{display:none}.toc-pop{display:block}}@media(max-width:74.99em){.pub-group{display:block;margin-top:1.5rem}.pub-year{position:sticky;top:0;z-index:6;flex-direction:row;align-items:baseline;gap:.625rem;padding:.6875rem 0 .5625rem;background:var(--bg);border-bottom:1px solid var(--rule)}.pubs{border-left:0}.pub{margin-left:0;padding:.875rem 0;border-left:0}.pub+.pub::before{left:0}.pub:hover{background:0 0}.pub a[href*="arxiv.org/"]{position:relative;top:auto;right:auto;display:inline;margin-left:.125rem;vertical-align:.0625rem}.section__body--after>.pubs{margin-left:0}.pub-group .pubs a{scroll-margin-top:3rem}}@media(max-width:73.75em){.shell{--gap:3.5rem;--rail-w:17rem;--pad:2rem}.shell--docs{--rail-w:15rem;--gap:2.75rem}}@media(min-width:64em) and (max-height:53.75em){.rail,.toc-rail{padding-top:2.5rem;padding-bottom:1.5rem}.column{padding-top:2.5rem}.rail-inner{gap:1.5rem}.profile{gap:.875rem}.avatar{width:6rem;height:6rem}.avatar.avatar--sm{width:2.625rem;height:2.625rem}.nav-list a{padding-top:.3125rem;padding-bottom:.3125rem}}@media(max-width:63.99em){html{scroll-padding-top:calc(var(--chipbar-h) + .75rem)}.shell,.shell--docs{display:block;padding:0}.rail{position:static;max-height:none;overflow:visible;margin:0 auto;padding:1.75rem 1.5rem 1.375rem;max-width:47.5rem}.rail-nav,.rail-foot{display:none}.column{padding-top:0}.main,.site-footer{width:100%;max-width:47.5rem;margin-left:auto;margin-right:auto;padding-left:1.5rem;padding-right:1.5rem}.main{padding-top:1.875rem}.site-footer{margin-top:4rem}.profile{display:grid;grid-template-columns:auto minmax(0,1fr);column-gap:1.25rem;row-gap:.875rem;align-items:center}.p-head{display:contents}.avatar{grid-row:1;grid-column:1;width:5.75rem;height:5.75rem}.p-id{grid-row:1;grid-column:2;gap:.25rem;padding-right:3rem}.profile .theme-toggle{grid-row:1;grid-column:2;justify-self:end;align-self:start;position:relative;z-index:1}.p-contact,.p-links{grid-column:1/-1}.p-contact{flex-direction:row;flex-wrap:wrap;gap:.375rem 1.375rem}.p-name{font-size:2.25rem}.p-name__alt{font-size:1.0625rem;margin-top:.1875rem}.p-role{margin-top:.125rem}.pill{min-height:2.5rem;padding:0 .9375rem 0 .8125rem}.copy-btn{width:2rem;height:2rem;margin:-.4375rem 0 -.4375rem -.25rem}.profile--compact .p-tagline,.profile--compact .p-office,.profile--compact .p-links{display:none}.profile--compact .avatar{width:4rem;height:4rem}.profile--compact .p-name{font-size:1.5rem}.profile--compact .p-name__alt{font-size:.9375rem}.chipbar{display:flex;align-items:center;gap:.25rem;position:sticky;top:0;z-index:40;height:var(--chipbar-h);padding:0 max(1rem,calc((100% - 47.5rem)/2 + 1.5rem))0 max(0rem,calc((100% - 47.5rem)/2));background:var(--bg);background:color-mix(in srgb,var(--bg) 88%,transparent);-webkit-backdrop-filter:saturate(1.6)blur(14px);backdrop-filter:saturate(1.6)blur(14px);border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.chips{flex:1;min-width:0;display:flex;gap:.375rem;margin:0;padding:.4375rem 1.5rem;list-style:none;overflow-x:auto;overscroll-behavior-x:contain;scrollbar-width:none;scroll-padding-inline:1.5rem;-webkit-mask-image:linear-gradient(90deg,transparent 0,#000 1.125rem,#000 calc(100% - 1.75rem),transparent 100%);mask-image:linear-gradient(90deg,transparent 0,#000 1.125rem,#000 calc(100% - 1.75rem),transparent 100%)}.chips--empty{-webkit-mask-image:none;mask-image:none}.chips::-webkit-scrollbar{display:none}.chips li{flex:none}.chip{display:inline-flex;align-items:center;gap:.375rem;min-height:2.5rem;padding:0 .9375rem;border:1px solid var(--rule-2);border-radius:999px;background:var(--bg-elev);color:var(--text-2);font:550 .875rem/1 var(--font-sans);white-space:nowrap;text-decoration:none;transition:none}.chip .i{width:.875rem;height:.875rem}.chip:hover{color:var(--text);border-color:var(--text-3)}.chip.is-active{color:var(--accent);border-color:var(--accent);background:var(--accent-soft);box-shadow:inset 0 0 0 1px var(--accent);font-weight:650}.menu-btn{border-color:var(--rule-2);background:var(--bg-elev)}.rail--docs{padding-top:1.125rem;padding-bottom:1rem}.doc h1,.page-title,.page-title-prose h1{font-size:2.25rem}.pub-year{top:var(--chipbar-h)}}@media(max-width:39.99em){body{font-size:1.03rem}.rail{padding:1.375rem 1rem 1.125rem}.main,.site-footer{padding-left:1rem;padding-right:1rem}.main{padding-top:1.5rem}.chips{padding-left:1rem;padding-right:1rem;scroll-padding-inline:1rem}.profile{column-gap:.875rem;row-gap:.875rem}.avatar{width:4.5rem;height:4.5rem}.p-id{padding-right:0}.p-name{font-size:2rem}.p-name__alt{font-size:1rem}.profile--compact .avatar{width:3.5rem;height:3.5rem}.profile--compact .p-name{font-size:1.375rem}.p-role,.p-tagline{font-size:.9rem}.profile .theme-toggle{display:none}.p-contact{flex-direction:column;gap:0;margin:-.375rem 0}.p-contact__item{min-height:2.5rem;align-items:center}.p-contact__item>.i{margin-top:0}.p-contact__item a{padding:.6875rem 0}.p-contact__item.p-office a{padding-block:0}.p-office a::before{content:"";position:absolute;inset:0}.p-links{gap:.375rem}.p-links li{flex:1;display:flex}.pill{flex:1;justify-content:center;padding:0 .625rem}.section+.section,.widget{margin-top:3rem}.section>h2,.page-body h2{font-size:1.25rem}.about>.section:first-of-type .section__body>p:first-child{font-size:1.1rem}.section--callout{padding:1.125rem 1.125rem .25rem;margin-left:-.25rem;margin-right:-.25rem}li.dated{grid-template-columns:4.5rem minmax(0,1fr);column-gap:1rem}.pub>p{font-size:.94rem}.pub u{font-size:1.02rem}.pub-index ul{gap:.375rem}.edu{padding-left:1.875rem;grid-template-columns:minmax(0,1fr)}.edu__time,.edu__degree{grid-column:1;margin:.125rem 0}.edu__time{margin-top:.375rem}.edu__degree{margin-bottom:.625rem}.doc-bar{gap:.5rem}.doc-tools{margin-left:0}.doc h1,.page-title,.page-title-prose h1{font-size:2rem}.doc>h1~h1{font-size:1.625rem;margin-top:3rem;padding-top:1.375rem}.doc h2{font-size:1.3rem;margin-top:2.75rem;padding-top:1.375rem}.doc h3{font-size:1.1rem}.doc .katex-display{margin-left:-1rem;margin-right:-1rem;padding-left:1rem;padding-right:1rem}.doc .thm__body .katex-display,.doc .fold__body .katex-display{margin-left:0;margin-right:0;padding-left:0;padding-right:0}.thm{margin-left:-.25rem;margin-right:-.25rem}.thm__head{padding:.5625rem .875rem}.thm__body{padding:.75rem .875rem .875rem}.fold__body{margin-left:.5rem;padding-left:.875rem}.toc-pop__panel{width:100%}}@media(max-width:22.49em){.p-name{font-size:1.6875rem}.drawer__panel{width:100%;border-left:0}}@media(max-height:31.25em){.pub-year{position:static}}@media(pointer:coarse){.nav-list a,.toc a{min-height:2.5rem}.toc a{display:flex;align-items:center}.pub-index a{min-height:2.5rem;align-items:center}.tool-btn,.pill{min-height:2.5rem}.crumbs a,.rail-home,.footer-top{display:inline-flex;align-items:center;min-height:2.5rem}.crumbs a{justify-content:center;min-width:2.5rem;padding-inline:.5rem;margin-inline:-.5rem}.p-contact__item a,.p-role a{padding-block:.6875rem}.p-role a{position:relative;z-index:1}.edu__school a{display:inline-block;position:relative;z-index:1;padding-block:.5625rem;margin-block:-.5625rem}.button-group label{display:inline-flex;align-items:center;min-height:2.5rem}.thm__title a{padding-block:.6875rem}.edu__degree a{padding-block:.6875rem}.copy-btn::after{inset:-.4375rem}.pub a[href*="arxiv.org/"]::after{inset:-.75rem -.5rem}}@media(pointer:coarse) and (max-width:63.99em){.profile--compact .copy-btn::after{inset:-.25rem -.4375rem -.6875rem}}@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none !important;animation:none !important;scroll-behavior:auto !important}}@media print{:root:root:root{color-scheme:light;--bg:#fff;--bg-elev:#fff;--bg-sunken:#f5f4f0;--text:#111;--text-2:#333;--text-3:#555;--rule:#ddd;--rule-2:#ccc;--accent:#1d3889;--accent-strong:#1d3889;--accent-soft:#eef1fa;--accent-rule:#b9c5e8;--on-accent:#fff;--award:#a1281d;--award-bg:#fbe9e5;--honor:#1b6a40;--honor-bg:#e3f2e8;--badge:#464b53;--badge-bg:#f0eee9;--flag:#b42318;--thm-default:#3a5fc8;--shadow-sm:none;--avatar-filter:none}.katex-display,.katex.katex-wide{background:0 0;overflow:visible}.pub-year{background:0 0}.section--callout{background:0 0}.rail-nav,.rail-foot,.chipbar,.drawer,.theme-toggle,.copy-btn,.toc-rail,.doc-tools,.footer-links,.skip-link,.pub-index{display:none !important}.shell,.shell--docs{display:block;padding:0}.rail{position:static;max-height:none;overflow:visible;margin:0;padding:0 0 1rem}.column{padding-top:0}.pub-year{position:static !important}.pub a[href*="arxiv.org/"]{position:static}.pub,.thm,.edu{break-inside:avoid}.fold__label{border:0;padding-left:0}body{background:#fff;color:#000}}@media print{details::details-content{content-visibility:visible !important;display:block !important}}@font-face{font-family:inter;font-style:normal;font-weight:400 700;font-display:swap;src:url(../fonts/inter-normal-400_700-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:inter;font-style:normal;font-weight:400 700;font-display:swap;src:url(../fonts/inter-normal-400_700-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}:root{--font-sans:"Inter", "PingFang SC", "Hiragino Sans GB", "Noto Sans SC", "Microsoft YaHei", system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-serif:"Source Serif 4", "Noto Serif SC", "Songti SC", "STSong", "SimSun", Georgia, Cambria, "Times New Roman", serif;--font-display:"Source Serif 4 Display", var(--font-serif);--font-mono:ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;--r-sm:8px;--r:12px;--r-lg:18px;color-scheme:light;--bg:#fbfbfd;--surface:#ffffff;--surface-2:#f3f4f9;--surface-3:#e9ebf3;--line:#e3e5ee;--line-strong:#cfd3e1;--text:#1e2233;--text-strong:#0d1020;--muted:#555d74;--subtle:#636a80;--accent:#3343cc;--accent-hover:#2633a8;--accent-ink:#2b38b0;--accent-soft:#eceffd;--accent-soft-2:#dfe3fc;--accent-line:#c3caf6;--on-accent:#ffffff;--gold:#875500;--gold-soft:#fcf1d9;--gold-line:#ecd39b;--green:#17673f;--green-soft:#e2f3e9;--green-line:#b4dcc5;--danger:#c0281b;--mark-bg:linear-gradient(135deg, #3343cc 0%, #6a4fe0 100%);--shadow-sm:0 1px 2px rgba(16, 22, 50, .05);--shadow-md:0 1px 2px rgba(16, 22, 50, .04), 0 12px 28px -16px rgba(28, 38, 102, .30);--shadow-lg:0 28px 60px -28px rgba(28, 38, 102, .40);--header-bg:rgba(251, 251, 253, .95);--scrim:rgba(8, 11, 22, .38);--hero-bg:radial-gradient(860px 420px at 8% -18%, rgba(51, 67, 204, .14), transparent 66%), radial-gradient(760px 420px at 96% 4%, rgba(118, 84, 230, .10), transparent 62%), linear-gradient(180deg, #f0f2fd 0%, #f6f7fc 62%, #fbfbfd 100%);--art-opacity:.55;--scroll-shadow:rgba(20, 28, 70, .2);--photo-filter:none;--photo-ring:var(--line);--moon:block;--sun:none;--code-kw:#8a2b8a;--code-str:#17673f;--code-num:#875500;--code-com:#636a80;--code-fn:#2b38b0}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--bg:#0c0f16;--surface:#131722;--surface-2:#1a1f2c;--surface-3:#222839;--line:#252b3b;--line-strong:#343c50;--text:#dde1ea;--text-strong:#f3f5fa;--muted:#a1a9bc;--subtle:#8d95a9;--accent:#9ba7ff;--accent-hover:#bcc4ff;--accent-ink:#b3bcff;--accent-soft:#1c2245;--accent-soft-2:#262e5c;--accent-line:#3c4682;--on-accent:#0c0f16;--gold:#f0c46a;--gold-soft:#2a2414;--gold-line:#5a4a22;--green:#7dd3a2;--green-soft:#14281f;--green-line:#2b553f;--danger:#ff8b7b;--shadow-sm:0 1px 2px rgba(0, 0, 0, .35);--shadow-md:0 1px 2px rgba(0, 0, 0, .3), 0 14px 32px -16px rgba(0, 0, 0, .7);--shadow-lg:0 28px 60px -28px rgba(0, 0, 0, .8);--header-bg:rgba(12, 15, 22, .94);--scrim:rgba(0, 0, 0, .55);--hero-bg:radial-gradient(860px 420px at 8% -18%, rgba(123, 137, 255, .20), transparent 66%), radial-gradient(760px 420px at 96% 4%, rgba(150, 110, 255, .12), transparent 62%), linear-gradient(180deg, #121733 0%, #0f1324 62%, #0c0f16 100%);--art-opacity:.6;--scroll-shadow:rgba(155, 167, 255, .3);--photo-filter:brightness(.8) contrast(1.06) saturate(.92);--photo-ring:#2c3448;--moon:none;--sun:block;--code-kw:#e7a3f0;--code-str:#7dd3a2;--code-num:#f0c46a;--code-com:#8d95a9;--code-fn:#b3bcff}}:root[data-theme=dark]{color-scheme:dark;--bg:#0c0f16;--surface:#131722;--surface-2:#1a1f2c;--surface-3:#222839;--line:#252b3b;--line-strong:#343c50;--text:#dde1ea;--text-strong:#f3f5fa;--muted:#a1a9bc;--subtle:#8d95a9;--accent:#9ba7ff;--accent-hover:#bcc4ff;--accent-ink:#b3bcff;--accent-soft:#1c2245;--accent-soft-2:#262e5c;--accent-line:#3c4682;--on-accent:#0c0f16;--gold:#f0c46a;--gold-soft:#2a2414;--gold-line:#5a4a22;--green:#7dd3a2;--green-soft:#14281f;--green-line:#2b553f;--danger:#ff8b7b;--shadow-sm:0 1px 2px rgba(0, 0, 0, .35);--shadow-md:0 1px 2px rgba(0, 0, 0, .3), 0 14px 32px -16px rgba(0, 0, 0, .7);--shadow-lg:0 28px 60px -28px rgba(0, 0, 0, .8);--header-bg:rgba(12, 15, 22, .94);--scrim:rgba(0, 0, 0, .55);--hero-bg:radial-gradient(860px 420px at 8% -18%, rgba(123, 137, 255, .20), transparent 66%), radial-gradient(760px 420px at 96% 4%, rgba(150, 110, 255, .12), transparent 62%), linear-gradient(180deg, #121733 0%, #0f1324 62%, #0c0f16 100%);--art-opacity:.6;--scroll-shadow:rgba(155, 167, 255, .3);--photo-filter:brightness(.8) contrast(1.06) saturate(.92);--photo-ring:#2c3448;--moon:none;--sun:block;--code-kw:#e7a3f0;--code-str:#7dd3a2;--code-num:#f0c46a;--code-com:#8d95a9;--code-fn:#b3bcff}:root,:root:not([data-theme=light]),:root[data-theme=dark]{--bg-elev:var(--surface);--bg-sunken:var(--surface-2);--text-2:var(--muted);--text-3:var(--subtle);--rule:var(--line);--rule-2:var(--line-strong);--accent-strong:var(--accent-hover);--accent-rule:var(--accent-line);--award:var(--gold);--award-bg:var(--gold-soft);--honor:var(--green);--honor-bg:var(--green-soft);--badge:var(--accent-ink);--badge-bg:var(--accent-soft);--flag:var(--danger);--thm-default:var(--accent);--backdrop:var(--scrim);--avatar-filter:var(--photo-filter);--radius:var(--r)}.profile{position:relative;isolation:isolate}.p-art{position:absolute;z-index:-1;pointer-events:none;top:-.75rem;right:0;width:100%;height:12rem;opacity:.22}.ga-edges{stroke:var(--accent-line);stroke-width:1;fill:none}.ga-path{stroke:var(--accent);stroke-width:2;fill:none;opacity:.3}.ga-nodes{fill:var(--bg);stroke:var(--accent-line);stroke-width:1.5}.ga-pnodes{fill:var(--accent);opacity:.35}.profile .avatar{border-radius:50%;box-shadow:0 0 0 1px var(--photo-ring),0 10px 26px -14px rgb(28 38 102/.4)}.avatar-caption-trigger{-webkit-appearance:none;appearance:none;display:block;flex:none;width:max-content;max-width:100%;margin:0;padding:0;border:0;border-radius:50%;background:0 0;color:inherit;line-height:0;cursor:pointer}.avatar-caption-trigger:hover{opacity:.9}.avatar-caption-trigger:focus-visible{outline:2px solid var(--muted);outline-offset:4px}.avatar-caption-dialog{width:calc(100% - 2rem);max-width:38rem;max-height:calc(100vh - 2rem);max-height:calc(100dvh - 2rem);margin:auto;padding:1.5rem;overflow-y:auto;overscroll-behavior:contain;border:1px solid var(--line-strong);border-radius:var(--r-lg);background:var(--surface);color:var(--text);box-shadow:var(--shadow-lg);font-family:var(--font-serif);font-size:1rem;line-height:1.7;text-align:left;overflow-wrap:break-word}.avatar-caption-dialog::backdrop{background:rgba(12,16,24,.46)}.avatar-caption-dialog__head{display:flex;align-items:flex-start;justify-content:space-between;gap:.75rem;margin-bottom:1rem}.avatar-caption-dialog__head>h2{flex:1;min-width:0;margin:.3125rem 0 0;color:var(--text-strong);font:600 1.125rem/1.4 var(--font-sans);letter-spacing:-.015em}.avatar-caption-dialog__head>.icon-btn{margin:-.125rem -.125rem 0 0}.avatar-caption-dialog__head>.icon-btn:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.avatar-caption-dialog__body{min-width:0}.avatar-caption-dialog__body>p{margin:0 0 1rem}.avatar-caption-dialog__body>:last-child{margin-bottom:0}@media(max-width:63.99em){.profile .avatar-caption-trigger{grid-row:1;grid-column:1;align-self:center}}@media(max-width:39.99em){.avatar-caption-dialog{padding:1.125rem}}@media print{.avatar-caption-dialog{display:none !important}.avatar-caption-trigger{cursor:default;opacity:1;outline:none}}.p-name{font-size:2.25rem;letter-spacing:-.022em;color:var(--text-strong)}.p-name__alt{color:var(--subtle);font-size:1.125rem}.p-role{color:var(--muted)}.p-role a{color:var(--accent-ink)}.p-tagline{color:var(--subtle)}.p-contact__item>.i{color:var(--accent)}.pill{border-color:var(--line-strong)}.pill:hover{background:var(--accent-soft);border-color:var(--accent-line);color:var(--accent-ink)}.profile .theme-toggle{background:var(--surface);border-color:var(--line)}@media screen and (min-width:64em){.profile{text-align:center}.profile .p-head{position:relative;justify-content:center}.profile .p-head .theme-toggle{position:absolute;top:0;right:0}.profile .p-id,.profile .p-contact{align-items:center}.profile .p-contact__item{justify-content:center;max-width:100%}.profile .p-contact__item>span{min-width:0}.profile .p-links{justify-content:center}.rail:not(.rail--docs) .rail-nav{text-align:center}.rail:not(.rail--docs) .nav-list{border-left:0}.rail:not(.rail--docs) .nav-list a{justify-content:center;margin-left:0;padding-inline:.75rem;border-left:0;border-radius:var(--r-sm)}}.nav-list a{border-radius:0 var(--r-sm)var(--r-sm)0}.nav-list a.is-active,.nav-list a[aria-current=page]{background:var(--accent-soft)}.nav-list a:hover{background:var(--surface-2)}.chip{border-radius:var(--r-sm)}.section>h2{gap:.75rem;color:var(--text-strong);font-size:1.125rem;font-weight:650;line-height:1.4;letter-spacing:-.02em}.section>h2::before{content:"";flex:none;width:2.25rem;height:2.25rem;border:1px solid var(--accent-line);border-radius:.6875rem;background:var(--accent-soft)}.section>h2{position:relative}.section>h2::after{content:"";position:absolute;left:.5625rem;top:.5625rem;width:1.125rem;height:1.125rem;transform:none;background:var(--accent);-webkit-mask:var(--sec-icon,var(--i-hash))center/contain no-repeat;mask:var(--sec-icon,var(--i-hash))center/contain no-repeat}.section+.section,.widget{margin-top:2.75rem}.about>.section:first-of-type .section__body>p:first-child{font-size:1.125rem}.section--callout{padding:1.25rem 1.5rem .25rem;border-radius:var(--r)}.section--callout>h2::after{background:var(--accent)}.prose li::marker{color:var(--accent)}.dated__year{color:var(--accent-ink)}.edu{display:grid;grid-template-columns:minmax(0,1fr)auto;align-items:center;column-gap:16px;padding:18px 22px;border:1px solid var(--line);border-radius:14px;background:var(--surface);box-shadow:var(--shadow-sm);transition:border-color .2s ease,box-shadow .2s ease}.edu+.edu{margin-top:16px}.edu:hover{border-color:var(--line-strong);box-shadow:var(--shadow-md)}.edu__school{grid-column:1;grid-row:1;margin:0;color:var(--text-strong);font-family:var(--font-sans);font-size:1.0625rem;font-weight:650;letter-spacing:-.012em;line-height:1.35}.edu__school a{color:var(--text-strong);text-decoration:none}.edu__school a:hover{color:var(--accent-ink);text-decoration:underline;text-decoration-color:var(--accent-line);text-underline-offset:4px}.edu__time{grid-column:2;grid-row:1;justify-self:end;display:inline-flex;align-items:center;gap:6px;margin:0;padding:3px 10px 3px 8px;border-radius:999px;background:var(--surface-2);color:var(--muted);font-family:var(--font-sans);font-size:.8125rem;font-weight:560;font-variant-numeric:tabular-nums;line-height:1.5;white-space:nowrap}.edu__time::before,.edu__degree::before{content:"";flex:none;width:14px;height:14px;background:currentColor;-webkit-mask:var(--i-calendar)center/contain no-repeat;mask:var(--i-calendar)center/contain no-repeat}.edu__degree{grid-column:1/-1;position:relative;margin:6px 0 0;padding-left:25px;color:var(--text);font-family:var(--font-sans);font-size:.90625rem;font-weight:500;line-height:1.5}.edu__degree::before{position:absolute;left:0;top:2px;width:17px;height:17px;background:var(--accent);-webkit-mask-image:var(--i-cap);mask-image:var(--i-cap)}.edu__body{grid-column:1/-1;margin-top:14px;padding-top:13px;border-top:1px dashed var(--line-strong);font-size:1rem;line-height:1.65}.edu__body p{margin:0 0 .5em}.edu__body>:last-child{margin-bottom:0}.section--pubs>.section__body>p:first-child,.pub-ai-note{position:relative;margin-bottom:0;padding:11px 14px 11px 40px;border-radius:var(--r);background:var(--surface-2);color:var(--muted);font-size:.9375rem;line-height:1.55}.section--pubs>.section__body>p:first-child::before,.pub-ai-note::before{content:"";position:absolute;left:14px;top:15px;width:16px;height:16px;background:var(--subtle);-webkit-mask:var(--i-info)center/contain no-repeat;mask:var(--i-info)center/contain no-repeat}.section--pubs>.section__body>p:first-child a,.pub-ai-note a{color:inherit;text-decoration-color:initial}.section--pubs>.section__body>p:first-child a:hover,.pub-ai-note a:hover{color:var(--accent-ink)}.pub-index{margin-top:14px;font-family:var(--font-sans)}.pub-index ul{display:flex;flex-wrap:wrap;gap:6px 4px;margin:0;padding:0;list-style:none}.pub-index li{margin:0;padding:0}.pub-index a{display:inline-flex;align-items:center;gap:5px;height:32px;padding:0 .75rem;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--text);font-size:.8125rem;font-weight:560;font-variant-numeric:tabular-nums;text-decoration:none;transition:color .15s ease,border-color .15s ease,background-color .15s ease}.pub-index a:hover{border-color:var(--accent-line);background:var(--accent-soft);color:var(--accent-ink)}.pub-group{grid-column:1/-1;display:grid;grid-template-columns:var(--label-col)minmax(0,1fr);column-gap:var(--col-gap);margin-top:30px}.pub-year{grid-column:1;grid-row:1;position:sticky;top:calc(var(--header-h) + 24px);z-index:2;align-self:start;display:flex;flex-direction:column;gap:3px;margin:0;padding-top:10px;font-family:var(--font-sans)}.pub-year::after{content:"";position:absolute;top:22px;right:calc(-1 * var(--col-gap)/2 - 5px);width:10px;height:10px;border-radius:50%;background:var(--bg);border:2px solid var(--accent);box-shadow:0 0 0 4px var(--bg)}.pub-year__label{color:var(--text-strong);font-size:1.75rem;font-weight:650;letter-spacing:-.035em;line-height:1.05;font-variant-numeric:tabular-nums}.pub-group[data-year=preprints] .pub-year__label{font-size:1.3rem;letter-spacing:-.02em;line-height:1.3}.pubs{grid-column:2;grid-row:1;position:relative;display:flex;flex-direction:column;gap:2px;min-width:0;margin:0;padding:0;list-style:none}.pub-group>.pubs::before{content:"";position:absolute;top:6px;bottom:-36px;left:calc(-1 * var(--col-gap)/2);width:2px;border-radius:2px;background:var(--line)}.pub-group--last>.pubs::before{bottom:0;background:linear-gradient(var(--line) 70%,transparent)}.pub{position:relative;margin:0 -14px;padding:12px 14px 13px;border-radius:var(--r);transition:background-color .15s ease}.pub:hover{background:var(--surface-2)}.pub.pub--numbered{padding-left:3rem}.pub>.pub-number{position:absolute;top:.875rem;left:1rem;width:1.375rem;color:var(--muted);font:500 .8125rem/1.5 var(--font-sans);font-variant-numeric:tabular-nums;text-align:right;white-space:nowrap}.pub>p{margin:0;color:var(--muted);font-family:var(--font-sans);font-size:.9rem;line-height:1.6;text-wrap:wrap}.pub u{color:var(--text-strong);font-family:var(--font-serif);font-size:1.0625rem;font-weight:600;line-height:1.42;letter-spacing:-.003em;text-decoration:none}.pub .me{color:var(--text-strong);font-weight:650;white-space:nowrap}.pub .venue{display:inline-block;margin:5px 0 0;padding:0 5px 0 7px;border-radius:6px;background:var(--accent-soft);color:var(--accent-ink);font-size:.78125rem;font-weight:650;letter-spacing:.01em;line-height:1.3125rem;font-variant-numeric:tabular-nums}.pub a[href*="arxiv.org"]{position:relative;margin-left:4px;padding:2.5px 7px 2.5px 22px;border:1px solid var(--line-strong);border-radius:6px;background:var(--surface);color:var(--muted);font-size:.75rem;font-weight:620;letter-spacing:.015em;line-height:1.9;text-decoration:none;vertical-align:3.5px;white-space:nowrap;transition:color .15s ease,border-color .15s ease,background-color .15s ease}.pub a[href*="arxiv.org"]>i,.pub a[href*="arxiv.org"]>svg{display:none}.pub a[href*="arxiv.org"]::before{content:"";position:absolute;left:6px;top:50%;width:12px;height:12px;margin-top:-6px;background:currentColor;-webkit-mask:var(--i-file)center/contain no-repeat;mask:var(--i-file)center/contain no-repeat}.pub a[href*="arxiv.org"]:hover{border-color:var(--accent-line);background:var(--accent-soft);color:var(--accent-ink)}.pub-ai{--pub-ai-ink:#694c8e;--pub-ai-fill:#f2edf8;--pub-ai-border:#d5c7e7;display:inline-block;max-width:100%;margin:0;padding:.0625rem .375rem;border:1px solid var(--pub-ai-border);border-radius:999px;background:var(--pub-ai-fill);color:var(--pub-ai-ink);font-family:var(--font-sans);font-size:.75rem;font-style:normal;font-weight:650;letter-spacing:.015em;line-height:1.25;vertical-align:baseline;white-space:nowrap;cursor:default}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .pub-ai{--pub-ai-ink:#d1bde8;--pub-ai-fill:#2a233b;--pub-ai-border:#59466e}}:root[data-theme=dark] .pub-ai{--pub-ai-ink:#d1bde8;--pub-ai-fill:#2a233b;--pub-ai-border:#59466e}.pub-ai-note{margin-top:.75rem}.pub-ai-note>p{margin:0}.pub-ai-footnote{grid-column:1/-1;min-width:0;margin-top:2rem;padding-top:1.25rem;border-top:1px solid var(--line);color:var(--muted);font-size:.9375rem;line-height:1.65;overflow-wrap:anywhere}.pub-ai-footnote>h3{margin:0 0 .625rem;color:var(--muted);font:600 .9375rem/1.45 var(--font-sans);letter-spacing:-.01em}.pub-ai-footnote>p{margin:0 0 .75rem}.pub-ai-footnote .pub-ai-contribution-ref{color:var(--accent)}.pub-ai-footnote>:last-child{margin-bottom:0}.pub-ai-footnote a{color:var(--accent-ink);text-decoration:underline;text-decoration-color:var(--accent-line);text-decoration-thickness:1px;text-underline-offset:3px}.pub-ai-footnote a:hover{color:var(--accent-hover);text-decoration-color:initial}.pub-ai-footnote:focus-visible{outline:1px solid var(--line-strong);outline-offset:.375rem}.pub b[style]{display:inline-flex;align-items:center;gap:6px;margin:8px 6px 0 0;padding:0 10px 0 8px;border:1px solid var(--accent-line);border-radius:999px;background:var(--accent-soft);color:var(--accent-ink) !important;font-size:.78125rem;font-weight:650;line-height:24px}.pub b[style]::before{content:"";flex:none;width:14px;height:14px;background:currentColor;-webkit-mask:var(--badge-icon,var(--i-badge))center/contain no-repeat;mask:var(--badge-icon,var(--i-badge))center/contain no-repeat}.pub b[style*=red]{--badge-icon:var(--i-award);border-color:var(--gold-line);background:var(--gold-soft);color:var(--gold) !important}.pub b[style*=green]{border-color:var(--green-line);background:var(--green-soft);color:var(--green) !important}.pub b[style]+br{display:none}.pub.pub--award{background:linear-gradient(100deg,var(--gold-soft),transparent 75%)}.pub.pub--award:hover{background-color:var(--surface-2)}.pub--award::before{content:"";position:absolute;left:0;top:14px;bottom:14px;width:3px;border-radius:3px;background:var(--gold);opacity:.7}.section__body.section__body--after>:where(h2,h3,h4,p,ul,ol):first-child{margin-top:40px}.section__body--after>h3{display:flex;align-items:center;gap:12px;margin:40px 0 6px;font-size:1.0625rem}.section__body--after>h3::after{content:"";flex:1;height:1px;background:var(--line)}.section__body--after>h3+p{color:var(--muted);font-size:.9375rem}.pubs--plain{margin-top:10px}.edu::before,.edu::after{content:none}.edu:last-of-type{padding:18px 22px}.edu__time::before{position:static}.edu__body p{color:var(--muted)}.pub-group{grid-template-columns:var(--year-col)minmax(0,1fr);column-gap:var(--year-gap)}.pub-year{top:1.75rem}.pub-year::after{right:calc(-1 * var(--year-gap)/2 - 5px)}.pub-group[data-year=preprints] .pub-year__label{font-size:1rem}.pubs{border-left:0}.pub-group>.pubs::before{left:calc(-1 * var(--year-gap)/2)}.pub{border-left:0}.pub+.pub::before{content:none}.pub.pub--award::before{content:"";top:14px;bottom:14px;left:0;right:auto;width:3px;height:auto;background:var(--gold);border-radius:3px}.pub a[href*="arxiv.org/"]{position:relative;top:auto;right:auto;display:inline}.pub a[href*="arxiv.org/"]~a[href*="arxiv.org/"]{margin-left:4px}.pub a[href*="arxiv.org/"]:hover{color:var(--accent-ink);background:var(--accent-soft);border-color:var(--accent-line)}.pub b[style*=red]::before{-webkit-mask-image:var(--i-award);mask-image:var(--i-award)}.pub b[style*=green]::before{-webkit-mask-image:var(--i-badge);mask-image:var(--i-badge)}.section__body--after>.pubs{margin-left:0}.thm{border-radius:var(--r);overflow:hidden;border-left-width:4px}.thm__head{border-radius:0;align-items:flex-start}.thm__head::before{margin-top:.375rem}.fold__label{background:var(--surface);border-color:var(--line)}.fold__label:hover{background:var(--accent-soft);border-color:var(--accent-line)}.fold[data-kind=remark]>.fold__label{border-color:var(--accent-line)}.fold[data-kind=proof]>.fold__body::after{border:0;background:var(--subtle)}.page-title,.doc h1{color:var(--text-strong)}@media(min-width:75em){.pub--arxiv>p:first-of-type{padding-right:var(--arxiv-col)}.pub--arxiv>p:first-of-type a[href*="arxiv.org/"]:first-of-type{position:absolute;top:12px;right:0;margin-left:0;vertical-align:baseline}}@media(max-width:74.99em){.pub-group{display:block;margin-top:1.75rem}.pub-year{top:0;padding:.75rem 0}.pub-year::after,.pub-group>.pubs::before{content:none}.pub{margin:0 -.5rem;padding:.875rem .5rem}.pub:hover{background:var(--surface-2)}.pub--arxiv>p:first-of-type{padding-right:0}}@media(max-width:63.99em){.p-art{width:min(100%,28rem);height:12rem}.p-name{font-size:2.25rem}.pub-year{top:var(--chipbar-h)}}@media(max-width:39.99em){.pub-ai-footnote{margin-top:1.75rem;padding-top:1rem}.pub.pub--numbered{padding-left:2.75rem}.profile{column-gap:.875rem}.p-name{font-size:2rem}.p-name__alt{font-size:1rem}.p-role,.p-tagline{font-size:.9rem}.edu{grid-template-columns:minmax(0,1fr);gap:.375rem;padding:1rem}.edu:last-of-type{padding:1rem}.edu__time{grid-column:1;grid-row:2;justify-self:start}.edu__degree{grid-row:3}.edu__body{grid-row:4}.section--callout{padding-left:1rem;padding-right:1rem}}@media(min-width:64em) and (max-height:53.75em){.profile{gap:.875rem}}@media(max-height:30em){.pub-year{position:relative;top:auto}}@media print{:root:root:root{--text-strong:#111;--muted:#333;--subtle:#555;--surface:#fff;--surface-2:#f5f6fa;--surface-3:#e9ebf3;--line:#ddd;--line-strong:#ccc;--accent-hover:#2633a8;--accent-ink:#2b38b0;--accent-line:#c3caf6;--gold:#875500;--gold-soft:#fcf1d9;--gold-line:#ecd39b;--green:#17673f;--green-soft:#e2f3e9;--green-line:#b4dcc5;--photo-filter:none;--photo-ring:#ddd}.profile,.edu,.section--callout{background:0 0;box-shadow:none;border-color:#ccc}.p-art{display:none}.pub-year{position:static}.pub a[href*="arxiv.org/"]{position:relative !important;top:auto !important;right:auto !important}.pub--arxiv>p:first-of-type{padding-right:0}.pub-ai{background:0 0;color:#333;border-color:#888}.section--pubs>.section__body>p:first-child,.pub-ai-note{background:0 0;color:#333;break-inside:avoid}.pub-ai-footnote{border-color:#ccc;color:#444}.pub-ai-footnote>h3{color:#333;break-after:avoid}.pub-ai-footnote a{color:#333;text-decoration-color:#999}}:root{--i-user:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M19 21v-2a4 4 0 0 0-4-4H9a4 4 0 0 0-4 4v2'/%3E%3Ccircle cx='12' cy='7' r='4'/%3E%3C/svg%3E");--i-users:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M16 21v-2a4 4 0 0 0-4-4H6a4 4 0 0 0-4 4v2'/%3E%3Ccircle cx='9' cy='7' r='4'/%3E%3Cpath d='M22 21v-2a4 4 0 0 0-3-3.87'/%3E%3Cpath d='M16 3.13a4 4 0 0 1 0 7.75'/%3E%3C/svg%3E");--i-sparkles:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M9.94 15.5A2 2 0 0 0 8.5 14.06l-6.14-1.58a.5.5 0 0 1 0-.96L8.5 9.94A2 2 0 0 0 9.94 8.5l1.58-6.14a.5.5 0 0 1 .96 0l1.58 6.14a2 2 0 0 0 1.44 1.44l6.14 1.58a.5.5 0 0 1 0 .96l-6.14 1.58a2 2 0 0 0-1.44 1.44l-1.58 6.14a.5.5 0 0 1-.96 0z'/%3E%3Cpath d='M20 3v4'/%3E%3Cpath d='M22 5h-4'/%3E%3C/svg%3E");--i-briefcase:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M16 20V4a2 2 0 0 0-2-2h-4a2 2 0 0 0-2 2v16'/%3E%3Crect width='20' height='14' x='2' y='6' rx='2'/%3E%3C/svg%3E");--i-cap:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M21.42 10.92a1 1 0 0 0-.02-1.84L12.83 5.18a2 2 0 0 0-1.66 0L2.6 9.08a1 1 0 0 0 0 1.83l8.57 3.91a2 2 0 0 0 1.66 0z'/%3E%3Cpath d='M22 10v6'/%3E%3Cpath d='M6 12.5V16a6 3 0 0 0 12 0v-3.5'/%3E%3C/svg%3E");--i-library:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m16 6 4 14'/%3E%3Cpath d='M12 6v14'/%3E%3Cpath d='M8 8v12'/%3E%3Cpath d='M4 4v16'/%3E%3C/svg%3E");--i-hash:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M4 9h16'/%3E%3Cpath d='M4 15h16'/%3E%3Cpath d='M10 3 8 21'/%3E%3Cpath d='M16 3l-2 18'/%3E%3C/svg%3E");--i-file:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z'/%3E%3Cpath d='M14 2v4a2 2 0 0 0 2 2h4'/%3E%3Cpath d='M16 13H8'/%3E%3Cpath d='M16 17H8'/%3E%3Cpath d='M10 9H8'/%3E%3C/svg%3E");--i-award:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m15.48 12.89 1.51 8.53a.5.5 0 0 1-.81.47l-3.58-2.69a1 1 0 0 0-1.2 0l-3.59 2.69a.5.5 0 0 1-.81-.47l1.51-8.53'/%3E%3Ccircle cx='12' cy='8' r='6'/%3E%3C/svg%3E");--i-badge:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M3.85 8.62a4 4 0 0 1 4.78-4.77 4 4 0 0 1 6.74 0 4 4 0 0 1 4.78 4.78 4 4 0 0 1 0 6.74 4 4 0 0 1-4.77 4.78 4 4 0 0 1-6.75 0 4 4 0 0 1-4.78-4.77 4 4 0 0 1 0-6.76Z'/%3E%3Cpath d='m9 12 2 2 4-4'/%3E%3C/svg%3E");--i-info:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'/%3E%3Cpath d='M12 16v-4'/%3E%3Cpath d='M12 8h.01'/%3E%3C/svg%3E");--i-plus:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M5 12h14'/%3E%3Cpath d='M12 5v14'/%3E%3C/svg%3E");--i-check:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M20 6 9 17l-5-5'/%3E%3C/svg%3E");--i-calendar:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M8 2v4'/%3E%3Cpath d='M16 2v4'/%3E%3Crect width='18' height='18' x='3' y='4' rx='2'/%3E%3Cpath d='M3 10h18'/%3E%3C/svg%3E");--i-github:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M15 22v-4a4.8 4.8 0 0 0-1-3.5c3 0 6-2 6-5.5.08-1.25-.27-2.48-1-3.5.28-1.15.28-2.35 0-3.5 0 0-1 0-3 1.5-2.64-.5-5.36-.5-8 0C6 2 5 2 5 2c-.3 1.15-.3 2.35 0 3.5A5.4 5.4 0 0 0 4 9c0 3.5 3 5.5 6 5.5-.39.49-.68 1.05-.85 1.65-.17.6-.22 1.23-.15 1.85v4'/%3E%3Cpath d='M9 18c-4.51 2-5-2-7-2'/%3E%3C/svg%3E");--i-mail:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect width='20' height='16' x='2' y='4' rx='2'/%3E%3Cpath d='m22 7-8.97 5.7a1.94 1.94 0 0 1-2.06 0L2 7'/%3E%3C/svg%3E");--i-lightbulb:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M15 14c.2-1 .7-1.7 1.5-2.5 1-.9 1.5-2.2 1.5-3.5A6 6 0 0 0 6 8c0 1 .2 2.2 1.5 3.5.7.7 1.3 1.5 1.5 2.5'/%3E%3Cpath d='M9 18h6'/%3E%3Cpath d='M10 22h4'/%3E%3C/svg%3E");--i-presentation:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M2 3h20'/%3E%3Cpath d='M21 3v11a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V3'/%3E%3Cpath d='m7 21 5-5 5 5'/%3E%3C/svg%3E");--i-mic:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M12 2a3 3 0 0 0-3 3v7a3 3 0 0 0 6 0V5a3 3 0 0 0-3-3Z'/%3E%3Cpath d='M19 10v2a7 7 0 0 1-14 0v-2'/%3E%3Cpath d='M12 19v3'/%3E%3C/svg%3E");--i-landmark:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M3 22h18'/%3E%3Cpath d='M6 18v-7'/%3E%3Cpath d='M10 18v-7'/%3E%3Cpath d='M14 18v-7'/%3E%3Cpath d='M18 18v-7'/%3E%3Cpath d='M12 2 20 7H4z'/%3E%3C/svg%3E");--i-megaphone:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m3 11 18-5v12L3 14v-3z'/%3E%3Cpath d='M11.6 16.8a3 3 0 1 1-5.8-1.6'/%3E%3C/svg%3E");--i-link:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71'/%3E%3Cpath d='M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71'/%3E%3C/svg%3E");--i-book:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M4 19.5v-15A2.5 2.5 0 0 1 6.5 2H19a1 1 0 0 1 1 1v18a1 1 0 0 1-1 1H6.5a1 1 0 0 1 0-5H20'/%3E%3C/svg%3E");--i-compass:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'/%3E%3Cpath d='m16.24 7.76-1.8 5.4a2 2 0 0 1-1.28 1.28l-5.4 1.8 1.8-5.4a2 2 0 0 1 1.28-1.28z'/%3E%3C/svg%3E")}:root{color-scheme:light;--bg:#f5f8ff;--surface:#ffffff;--surface-2:#eaf0ff;--surface-3:#dde6fb;--line:#dbe4f5;--line-strong:#bacbea;--text:#25334f;--text-strong:#101e3b;--muted:#52627d;--subtle:#62718c;--accent:#365edb;--accent-hover:#2346b3;--accent-ink:#2349b7;--accent-soft:#e8efff;--accent-soft-2:#d8e4ff;--accent-line:#b1c6f6;--on-accent:#ffffff;--orbit-blue:#117fa5;--orbit-wash:rgba(45, 102, 224, .09);--header-bg:rgba(245, 248, 255, .94);--shadow-sm:0 2px 9px rgba(27, 60, 125, .04);--shadow-md:0 12px 30px -19px rgba(27, 60, 125, .28);--shadow-lg:0 25px 70px -30px rgba(32, 67, 151, .3);--hero-bg:radial-gradient(ellipse at 80% 4%, rgba(41, 159, 208, .15), transparent 65%), linear-gradient(160deg, #ecf2ff, #f9fbff 72%);--photo-ring:#b1c6f6;--art-opacity:.28;--r-sm:9px;--r:16px;--r-lg:24px}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--bg:#080f20;--surface:#111c31;--surface-2:#172640;--surface-3:#223454;--line:#263754;--line-strong:#3c5278;--text:#dce6f8;--text-strong:#f2f6ff;--muted:#a7b8d5;--subtle:#8da2c5;--accent:#94b5ff;--accent-hover:#b6cdff;--accent-ink:#a6c1ff;--accent-soft:#182b4d;--accent-soft-2:#213c68;--accent-line:#3c5e97;--on-accent:#080f20;--orbit-blue:#78d5ec;--orbit-wash:rgba(76, 140, 255, .1);--header-bg:rgba(8, 15, 32, .94);--shadow-sm:0 2px 8px rgba(0, 0, 0, .12);--shadow-md:0 12px 30px -19px rgba(0, 0, 0, .55);--shadow-lg:0 25px 70px -30px rgba(0, 0, 0, .6);--hero-bg:radial-gradient(ellipse at 80% 4%, rgba(26, 160, 199, .19), transparent 65%), linear-gradient(160deg, #18284a, #101b32 72%);--photo-ring:#426696;--art-opacity:.36}}:root[data-theme=dark]{color-scheme:dark;--bg:#080f20;--surface:#111c31;--surface-2:#172640;--surface-3:#223454;--line:#263754;--line-strong:#3c5278;--text:#dce6f8;--text-strong:#f2f6ff;--muted:#a7b8d5;--subtle:#8da2c5;--accent:#94b5ff;--accent-hover:#b6cdff;--accent-ink:#a6c1ff;--accent-soft:#182b4d;--accent-soft-2:#213c68;--accent-line:#3c5e97;--on-accent:#080f20;--orbit-blue:#78d5ec;--orbit-wash:rgba(76, 140, 255, .1);--header-bg:rgba(8, 15, 32, .94);--shadow-sm:0 2px 8px rgba(0, 0, 0, .12);--shadow-md:0 12px 30px -19px rgba(0, 0, 0, .55);--shadow-lg:0 25px 70px -30px rgba(0, 0, 0, .6);--hero-bg:radial-gradient(ellipse at 80% 4%, rgba(26, 160, 199, .19), transparent 65%), linear-gradient(160deg, #18284a, #101b32 72%);--photo-ring:#426696;--art-opacity:.36}body{background-color:var(--bg);background-image:radial-gradient(ellipse at 83% 0%,var(--orbit-wash),transparent 40rem);background-repeat:no-repeat}.profile .avatar{border-radius:50%;box-shadow:0 8px 22px -14px rgba(16,30,59,.3)}.profile .p-art{display:none}.rail-nav{padding-inline:.5rem}.nav-label{color:var(--accent-ink);letter-spacing:.15em;font-size:.6875rem}.nav-list{border-left:1px solid var(--accent-line)}.nav-list a{padding-block:.5rem;border-radius:0 999px 999px 0}.nav-list a.is-active,.nav-list a[aria-current=page]{background:linear-gradient(90deg,var(--accent-soft),transparent)}.section>h2{gap:.875rem;letter-spacing:-.025em}.section>h2::before{border-radius:50%;background:var(--surface);box-shadow:0 0 0 4px var(--orbit-wash)}.section>h2::after{background:var(--orbit-blue)}.about>.section:not(.section--pubs):not(.section--callout){padding-bottom:1.75rem;border-bottom:1px solid var(--line)}.section+.section{margin-top:2.5rem}.section--callout{background:var(--hero-bg);border-radius:1.5rem}.edu{--edu-gap:1rem;--edu-line-x:-1.3125rem;--edu-node-top:2.75rem;--edu-node-size:.75rem;position:relative;min-width:0;margin-left:2rem;padding:1.25rem 1.375rem;border-radius:1.125rem;border-color:var(--line);box-shadow:var(--shadow-md)}.edu:last-of-type{padding:1.25rem 1.375rem}.edu+.edu{margin-top:var(--edu-gap)}.edu>*{min-width:0}.edu::before{content:"";position:absolute;left:var(--edu-line-x);top:calc(var(--edu-node-top) + var(--edu-node-size)/2);bottom:calc(-1 * var(--edu-gap) - var(--edu-node-top) - var(--edu-node-size)/2);width:1px;border-radius:0;background:var(--line-strong)}.edu:last-of-type::before{content:none}.edu::after,.edu:first-of-type::after{content:"";position:absolute;left:calc(var(--edu-line-x) - var(--edu-node-size)/2 + .5px);top:var(--edu-node-top);width:var(--edu-node-size);height:var(--edu-node-size);border:2px solid var(--accent);border-radius:50%;background:var(--bg);box-shadow:none}.edu--experience:first-of-type::after,.edu.edu--current::after{background:var(--accent);border-color:var(--accent)}.edu--experience{border-color:var(--accent-line)}.edu__kind{grid-column:1/-1;grid-row:1;margin:0 0 .375rem;color:var(--subtle);font:550 .625rem/1.4 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.edu--experience .edu__kind{color:var(--accent-ink)}.edu__school{grid-column:1;grid-row:2;overflow-wrap:anywhere}.edu__school a{max-width:100%}.edu__time{grid-column:2;grid-row:2}.edu__degree{grid-column:1/-1;grid-row:3}.edu__body{grid-column:1/-1;grid-row:4}.edu--experience .edu__degree::before{-webkit-mask-image:var(--i-briefcase);mask-image:var(--i-briefcase)}.edu__time{color:var(--accent-ink);background:var(--accent-soft)}.edu__body{border-top-style:solid}.pub-index a{border-radius:999px;padding-left:.75rem;border-color:var(--accent-line)}.pub-group{column-gap:2rem}.pub-year__label{color:var(--accent-ink);font-family:var(--font-display);font-size:1.875rem}.pub-year::after{right:-1.3125rem;width:.625rem;height:.625rem;background:var(--accent);border-color:var(--surface);box-shadow:0 0 0 4px var(--accent-soft),0 0 0 5px var(--accent-line)}.pub-group>.pubs::before{left:-1rem;width:1px;background:linear-gradient(var(--accent-line),var(--orbit-blue),var(--accent-line))}.pub-group--last>.pubs::before{background:linear-gradient(var(--accent-line) 70%,transparent)}.pubs{gap:.625rem}.pub{margin:0;padding:1rem 1.125rem 1rem 3rem;border:1px solid var(--line);border-radius:1rem;background:var(--surface);box-shadow:var(--shadow-sm)}.pub>.pub-number{position:absolute;display:block;top:1.125rem;left:1rem;width:1.375rem;margin:0;padding:0;border:0;background:0 0;color:var(--muted);font-family:var(--font-sans);font-size:.8125rem;font-weight:500;font-variant-numeric:tabular-nums;line-height:1.5;text-align:right;white-space:nowrap}.pub:hover{background:var(--surface);border-color:var(--accent-line);box-shadow:var(--shadow-md)}.pub.pub--award{border-color:var(--gold-line);background:linear-gradient(110deg,var(--gold-soft),var(--surface) 65%)}.pub.pub--award::before{left:0;top:1rem;bottom:1rem}.pub u{font-size:1.0625rem}.pub .pub-contribution{margin-left:.2em;color:var(--muted);font-size:.75em;font-weight:550;line-height:0;cursor:help}.pub .venue{border-radius:999px;padding-inline:.5rem}.pub a[href*="arxiv.org"]{border-radius:999px}.page-header{padding-bottom:1.5rem;border-bottom:1px solid var(--line)}.page-kicker,.crumbs{color:var(--accent-ink)}.thm{border-radius:1.125rem;border-left-color:var(--orbit-blue);box-shadow:var(--shadow-sm)}.toc a.is-active{color:var(--orbit-blue);border-left-color:var(--orbit-blue)}.site-footer{border-top-color:var(--accent-line)}@media(min-width:75em){.pub--arxiv>p:first-of-type a[href*="arxiv.org/"]:first-of-type{top:1rem;right:1rem}}@media(max-width:74.99em){.pub-year{flex-direction:row;align-items:baseline;gap:.75rem;padding:.75rem .25rem}.pub-year__label{font-size:1.5rem}.pub{margin:0;padding:1rem 1rem 1rem 3rem}}@media(max-width:39.99em){.edu,.edu:last-of-type{--edu-line-x:-1rem;--edu-node-top:2.5rem;margin-left:1.5rem;padding:1rem}.edu__kind{margin-bottom:.25rem}.edu__school{grid-row:2}.edu__time{grid-column:1;grid-row:3;justify-self:start;margin:.125rem 0 0;white-space:normal}.edu__degree{grid-row:4}.edu__body{grid-row:5}.section--callout{margin-inline:0;border-radius:1rem}.pub{padding:.875rem .875rem .875rem 2.75rem;border-radius:.875rem}.pub>.pub-number{top:1rem;left:.75rem}}@media print{:root:root:root{--orbit-blue:#2349b7;--orbit-wash:transparent}body{background:#fff}.profile,.edu,.pub,.section--callout{box-shadow:none;background:0 0;border-color:#ccc}.pub>.pub-number{color:#444}.edu,.edu:last-of-type{--edu-line-x:-.875rem;margin-left:1.375rem}.edu::before{background:#aaa}.edu::after,.edu:first-of-type::after{border-color:#555;background:#fff}.edu--experience:first-of-type::after,.edu.edu--current::after{border-color:#333;background:#333}.profile .avatar{box-shadow:none}.pub--arxiv>p:first-of-type a[href*="arxiv.org/"]:first-of-type{right:auto;top:auto}}