@font-face{font-family:sitetext;src:url(/fonts/cmu-serif/cmunrm.ttf)format("truetype");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:sitetext;src:url(/fonts/cmu-serif/cmunti.ttf)format("truetype");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:sitetext;src:url(/fonts/cmu-serif/cmunbx.ttf)format("truetype");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:sitetext;src:url(/fonts/cmu-serif/cmunbi.ttf)format("truetype");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:sitetextcjk;src:url(/fonts/方正新书宋简体/方正新书宋简体.ttf)format("truetype");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:sitemono;src:url(/fonts/Fira_Code/static/FiraCode-Regular.ttf)format("truetype");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:sitemono;src:url(/fonts/Fira_Code/static/FiraCode-Bold.ttf)format("truetype");font-weight:700;font-style:normal;font-display:swap}:root{--site-font-text:"SiteText", "SiteTextCJK", serif;--site-font-mono:"SiteMono", ui-monospace, monospace;--blog-card-width:28rem;--blog-grid-gap:1.5rem}html,body,.page-wrapper,button,input,textarea,select{font-family:var(--site-font-text)}code,pre,kbd,samp{font-family:var(--site-font-mono)}.page-body .blog-article-content{font-size:1rem;max-width:50rem;width:100%;margin-left:auto;margin-right:auto}.page-body .blog-page-footer{font-size:.98rem;max-width:50rem;width:100%;margin-left:auto;margin-right:auto}.page-body .blog-page-footer .max-w-prose{max-width:100%}.page-body .blog-article-content code,.page-body .blog-article-content kbd,.page-body .blog-article-content samp{font-size:1.08em}.page-body .blog-article-content pre code{font-size:1.04em}.page-body .blog-page-footer .blog-author-card{font-size:1.03rem}.page-body .blog-page-footer .blog-author-card .text-sm{font-size:.98rem;line-height:1.65}.page-body .blog-page-footer .blog-author-card .font-semibold.leading-6{font-size:1.16rem;line-height:1.5}.page-body .blog-page-footer .blog-author-card .font-semibold.leading-6 a{color:#2563eb}.page-body .blog-page-footer .blog-author-card .font-semibold.leading-6 a:hover{color:#1d4ed8;text-decoration:none}.dark .page-body .blog-page-footer .blog-author-card .font-semibold.leading-6 a{color:#93c5fd}.dark .page-body .blog-page-footer .blog-author-card .font-semibold.leading-6 a:hover{color:#bfdbfe}.page-body .blog-native-toc ul{list-style:none;margin:0;padding:0}.page-body .blog-native-toc li{margin:.5rem 0}.page-body .blog-native-toc ul ul{padding-left:1rem}.page-body .blog-native-toc a{display:inline-block;width:100%;color:#6b7280;line-height:1.5;text-decoration:none;word-break:break-word;transition:color .2s ease}.page-body .blog-native-toc a:hover{color:#111827}.dark .page-body .blog-native-toc a{color:#9ca3af}.dark .page-body .blog-native-toc a:hover{color:#d1d5db}.page-body .blog-card-summary{overflow:hidden}.page-body .blog-card-summary p,.page-body .blog-card-summary ul,.page-body .blog-card-summary ol{margin:0}.page-body .blog-card-summary ul{list-style:disc;padding-left:1.25rem}.page-body .blog-card-summary ol{list-style:decimal;padding-left:1.5rem}.page-body .blog-card-summary li+li{margin-top:.25rem}.page-body .blog-card-summary>*+*{margin-top:.5rem}.page-body .blog-card-summary .katex-display{margin:.35rem 0;overflow-x:auto;overflow-y:hidden}.page-body .blog-section-page h3[id^=card-title-]{font-size:1.6rem;line-height:1.22}@media(min-width:768px){.page-body .blog-section-page h3[id^=card-title-]{font-size:1.7rem}}.page-body .blog-section-page{padding-top:1.5rem}.page-body .blog-section-shell{display:flex;flex-direction:column}.page-body .blog-section-page .blog-masonry{column-count:1;column-gap:var(--blog-grid-gap);max-width:var(--blog-card-width);margin-inline:auto}.page-body .blog-section-page .blog-masonry>[role=article]{width:100%;break-inside:avoid;margin-bottom:var(--blog-grid-gap)}@media(min-width:60rem){.page-body .blog-section-page .blog-masonry{column-count:2;max-width:calc(var(--blog-card-width) * 2 + var(--blog-grid-gap))}}@media(min-width:89.5rem){.page-body .blog-section-page .blog-masonry{column-count:3;max-width:calc(var(--blog-card-width) * 3 + var(--blog-grid-gap) * 2)}}.page-body .blog-section-tabs{width:min(100%,1024px);margin:0 auto;padding:0 2rem}.page-body .blog-section-tabs-inner{display:flex;justify-content:center;flex-wrap:wrap;gap:.75rem;padding:.25rem 0 .75rem}.page-body .blog-section-tab{display:inline-flex;align-items:center;justify-content:center;border:1px solid #e2e8f0;border-radius:9999px;padding:.55rem 1.1rem;color:#475569;font-size:.95rem;font-weight:500;line-height:1;text-decoration:none;white-space:nowrap;transition:background-color .2s ease,border-color .2s ease,color .2s ease}.page-body .blog-section-tab:hover{border-color:#94a3b8;background:#f8fafc;color:#0f172a}.page-body .blog-section-tab.is-active{border-color:#0f172a;background:#0f172a;color:#f8fafc}.awards-masonry{column-count:1;column-gap:1.5rem;width:100%}.awards-masonry-item{width:100%;break-inside:avoid;margin-bottom:1.5rem}@media(min-width:1280px){.awards-masonry{column-count:2}}.dark .page-body .blog-section-tab{border-color:#475569;color:#cbd5e1}.dark .page-body .blog-section-tab:hover{border-color:#94a3b8;background:#1e293b;color:#f1f5f9}.dark .page-body .blog-section-tab.is-active{border-color:#e2e8f0;background:#e2e8f0;color:#0f172a}.page-body .blog-section-empty{width:min(100% - 4rem,1024px);margin:0 auto;padding:2rem;border:1px solid #e2e8f0;border-radius:1rem;color:#64748b;text-align:center}.page-body .blog-pdf-embeds{margin-top:2.5rem}.page-body .blog-pdf-embed{display:flex;flex-direction:column;gap:.875rem}.page-body .blog-pdf-embed+.blog-pdf-embed{margin-top:1.5rem}.page-body .blog-pdf-embed-toolbar{display:flex;align-items:center;justify-content:space-between;gap:1rem;flex-wrap:wrap}.page-body .blog-pdf-embed-label{margin:0;color:#4b5563;font-size:.95rem}.page-body .blog-pdf-embed-action{color:#2563eb;text-decoration:none;font-size:.95rem}.page-body .blog-pdf-embed-action:hover{text-decoration:underline}.dark .page-body .blog-pdf-embed-label{color:#9ca3af}.dark .page-body .blog-pdf-embed-action{color:#93c5fd}.page-body .blog-pdf-frame{display:block;width:100%;min-height:70vh;height:78vh;border:1px solid #e5e7eb;border-radius:.75rem;background:#fff}.dark .page-body .blog-pdf-frame{border-color:#374151;background:#111827}.page-body .blog-pdf-embed-fallback{margin:0;color:#4b5563;font-size:.95rem}.page-body .paper-body{font-size:1rem;line-height:1.72;max-width:100%;width:100%}.page-body .paper-page-footer,.page-body .paper-page-footer .max-w-prose{max-width:46rem;width:100%;margin-left:0;margin-right:0;font-size:.98rem}.page-body .paper-body h2{font-size:1.5rem;margin-top:2em;margin-bottom:.7em}.page-body .paper-body h3{font-size:1.2rem;margin-top:1.6em;margin-bottom:.55em}.page-body .paper-body h4,.page-body .paper-body h5,.page-body .paper-body h6{font-size:1.02rem;margin-top:1.3em;margin-bottom:.45em}.paper-body .ltx_para{margin:0 0 1.1em}.paper-body .ltx_p{margin:0 0 .85em;text-align:justify;hyphens:auto}.paper-body .ltx_title_section,.paper-body .ltx_title_subsection,.paper-body .ltx_title_subsubsection{scroll-margin-top:5rem}.paper-body .ltx_tag_section,.paper-body .ltx_tag_subsection,.paper-body .ltx_tag_subsubsection{opacity:.55;margin-right:.35em;font-weight:500}.paper-body .ltx_itemize,.paper-body .ltx_enumerate,.paper-body .ltx_description{list-style:none;padding-left:.4em;margin:1em 0}.paper-body .ltx_item{display:flex;gap:.55em;margin:.4em 0;list-style:none}.paper-body .ltx_item>.ltx_tag_item{flex:none;min-width:1.1em;opacity:.75}.paper-body .ltx_item>.ltx_para{flex:auto;min-width:0;margin-bottom:0}.paper-body .ltx_item>.ltx_para>.ltx_p:last-child{margin-bottom:0}.paper-body .ltx_equation,.paper-body .ltx_equationgroup{width:100%;margin:1.2em 0;border:0;table-layout:fixed}.paper-body .ltx_eqn_center_padleft,.paper-body .ltx_eqn_center_padright{width:50%;padding:0}.paper-body .paper-eqgroup{display:flex;align-items:center;gap:.75em;margin:1.2em 0}.paper-body .paper-eqgroup-body{flex:auto;min-width:0;overflow-x:auto;overflow-y:hidden}.paper-body .paper-eqgroup-body .katex-display{margin:0}.paper-body .paper-eqgroup-no{flex:none;text-align:right;opacity:.6;font-variant-numeric:tabular-nums;line-height:1.9}.paper-body .paper-eqgroup-no-rows{align-self:stretch;display:flex;flex-direction:column;justify-content:space-around;line-height:1}.paper-body .paper-eqgroup-no-rows>.paper-eqgroup-number{display:block}.paper-body .ltx_equation td,.paper-body .ltx_equationgroup td{border:0;padding:.15em 0;background:0 0}.paper-body .ltx_eqn_eqno{width:3.5em;text-align:right;opacity:.6;font-variant-numeric:tabular-nums}.paper-body .ltx_eqn_cell{overflow:visible}.paper-body .ltx_eqn_center_padleft,.paper-body .ltx_eqn_center_padright{width:0;padding:0}.paper-body .ltx_eqn_cell .katex-display{margin:0;overflow-x:auto;overflow-y:hidden;padding-block:.15em}.paper-body .ltx_align_center{text-align:center}.paper-body .ltx_theorem{margin:1.4em 0;padding:.9em 1.1em;border-left:3px solid rgb(148 163 184/.6);border-radius:.25rem;background:rgb(148 163 184/7%)}.paper-body .ltx_theorem .ltx_title_theorem{margin:0 0 .4em;font-size:1em;font-weight:700}.paper-body .ltx_theorem .ltx_para:last-child,.paper-body .ltx_theorem .ltx_p:last-child{margin-bottom:0}.dark .paper-body .ltx_theorem{background:rgb(148 163 184/.1);border-left-color:rgb(148 163 184/.5)}.paper-body .ltx_proof{margin:1.2em 0;padding-left:1.1em;border-left:2px dotted rgb(148 163 184/.5)}.paper-body .ltx_proof .ltx_title_proof{font-style:italic;font-weight:600;margin:0 0 .35em;font-size:1em}.paper-body .ltx_figure{margin:1.8em 0;text-align:center}.paper-body .ltx_figure{max-width:40rem;margin-inline:auto}.paper-body .ltx_figure img,.paper-body .ltx_table img{display:block;margin:0 auto;width:100%;height:auto;max-width:100%;max-height:30rem;object-fit:contain}.dark .paper-body .ltx_figure img,.dark .paper-body .ltx_table img,.dark .featured-image[src$=".svg"]{background:#fff;border-radius:.375rem;padding:.5rem}.paper-body .ltx_caption{display:block;margin-top:.7em;font-size:.875em;line-height:1.5;text-align:left;opacity:.85}.paper-body .ltx_tag_figure,.paper-body .ltx_tag_table{font-weight:700}.paper-body .ltx_table{margin:1.8em 0}.paper-body .ltx_note_outer{display:block;margin:.65em 0;padding:.6em .8em;border-left:2px solid rgb(148 163 184/.5);font-size:.875em;line-height:1.5;text-align:left;overflow-wrap:anywhere}.paper-body .ltx_note_content>.ltx_note_mark{display:none}.paper-body .ltx_tag_note{margin-right:.4em}.paper-body .ltx_table,.paper-body .ltx_para:has(>.ltx_tabular){overflow-x:auto;position:relative}.paper-body .ltx_tabular{margin:0 auto;border-collapse:collapse;font-size:.9em;font-variant-numeric:tabular-nums}.paper-body .ltx_tabular td,.paper-body .ltx_tabular th{padding:.35em .7em;border:0}.paper-body .ltx_border_t{border-top:1px solid}.paper-body .ltx_border_b{border-bottom:1px solid}.paper-body .ltx_border_tt{border-top:2px solid}.paper-body .ltx_border_bb{border-bottom:2px solid}.paper-body .paper-algorithms{display:grid;grid-template-columns:minmax(0,1fr);gap:1.5rem;max-width:none;text-align:left}.paper-body .paper-algorithms>figcaption{grid-column:1/-1}.paper-body .ltx_float:has(.ltx_listing){min-width:0;margin:1.2em 0;padding:.65em 0;border-block:1px solid rgb(148 163 184/.6);text-align:left}.paper-body .paper-algorithms>.ltx_float{margin:0}.paper-body .ltx_float>.ltx_caption{margin:0 0 .7em}.paper-body .ltx_listing{overflow-x:auto;font-size:.9em;line-height:1.7}.paper-body .ltx_listingline{padding-left:2em;text-indent:-2em}.paper-body .ltx_tag_listingline{display:inline-block;width:2em;text-align:right;padding-right:.5em;text-indent:0}@media(min-width:1024px){.paper-body .paper-algorithms{grid-template-columns:repeat(2,minmax(0,1fr))}}.paper-body .ltx_ref{text-decoration:none;border-bottom:1px solid rgb(148 163 184/.5)}.paper-body .ltx_ref:hover{border-bottom-color:initial}.paper-body .ltx_cite .ltx_ref{border-bottom:none}.paper-body .ltx_bibliography{margin-top:2em}.paper-body .ltx_biblist{list-style:none;padding-left:0;font-size:.9em}.paper-body .ltx_bibitem{margin:0 0 .6em;padding-left:2.5em;text-indent:-2.5em;line-height:1.5}.paper-body .ltx_bibitem .ltx_bibtag{font-weight:600;opacity:.7}.paper-body .paper-figure-missing{display:inline-block;padding:.4em .8em;border:1px dashed rgb(239 68 68/.6);border-radius:.25rem;color:#ef4444;font-size:.85em}.paper-body .ltx_note_content{font-size:.85em;opacity:.85}.hbb-section.blox-resume-biography-3{padding-top:0;padding-bottom:0}@media(min-width:1120px){.home-hero-grid{grid-template-columns:minmax(0,26rem)minmax(0,1fr)minmax(0,15rem)}}.paper-body .paper-eq-anchor{display:block;height:0;scroll-margin-top:5rem}.page-body h3[id^=card-title-]{font-size:1.375rem;line-height:1.3}