Expertini Research Research

Browse Research Papers

218+ open-access research outputs.

✕ Clear
🔍 haihao lu 📂 Computer Science
Showing 218 results for "haihao lu" in Computer Science
Computer Science Preprint PDF DOI

The Boolean surface area of polynomial threshold functions

Fan Chang, Joseph Slote, Alexander Volberg, Haonan Zhang · 2026

Polynomial threshold functions (PTFs) are an important low-complexity class of Boolean functions, with strong connections to learning theory and approximation theory. Recent work on learning and testi…

Read Paper →
Computer Science Preprint PDF DOI

The Computational Complexity of Avoiding Strict Saddle Points in Constrained Optimization

Andreas Kontogiannis, Ioannis Panageas, Vasilis Pollatos · 2026

While first-order stationary points (FOSPs) are the traditional targets of non-convex optimization, they often correspond to undesirable strict saddle points. To circumvent this, attention has shifted…

Read Paper →
Computer Science Preprint PDF DOI

LLM Inference at the Edge: Mobile, NPU, and GPU Performance Efficiency Trade-offs Under Sustained Load

Pranay Tummalapalli, Sahil Arayakandy, Ritam Pal, Kautuk Kundan · 2026

Deploying large language models on-device for always-on personal agents demands sustained inference from hardware tightly constrained in power, thermal envelope, and memory. We benchmark Qwen 2.5 1.5B…

Read Paper →
Computer Science Preprint PDF DOI

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents

Zijian Lu, Yiping Zuo, Yupeng Nie, Xin He, Weibei Fan, Lianyong Qi, Shi Jin · 2026

Self-generated skills for web agents are often unstable and can even hurt performance relative to direct acting. We argue that the key bottleneck is not only skill generation quality, but the fact tha…

Read Paper →
Computer Science Preprint PDF DOI

LLY Ricci Reweighting in Stochastic Block Models: Uniform Curvature Concentration and Finite-Horizon Tracking

Varun Kotharkar · 2026

We study curvature-driven edge reweighting for community recovery in the balanced two-block stochastic block model. Given a graph G with initial weights equal to the adjacency matrix, we iteratively u…

Read Paper →
Computer Science Preprint PDF DOI

Efficient Solvers for Coupling-Aware Beamforming in Continuous Aperture Arrays

Geonhee Lee, Kwonyeol Park, Hyeongjun Park, Jinwoo An, Junil Choi · 2026

In continuous aperture arrays (CAPAs), careful consideration of the underlying physics is essential, among which electromagnetic (EM) mutual coupling plays a critical role in beamforming performance. …

Read Paper →
Computer Science Preprint PDF DOI

Prompts and Prayers: the Rise of GPTheology

Ioana Cheres, Adrian Groza, Ioana Moldovan, Mick O'Hara, Connell Vaughan · 2026

Increasingly artificial intelligence (AI) has been cast in "god-like" roles (to name a few: film industry - Matrix, The Creator, Mission Impossible, Foundation, Dune etc.; literature - Children of Tim…

Read Paper →
Computer Science Preprint PDF DOI

The SPARSE-Relativization Framework and Applications to Optimal Proof Systems

Fabian Egidy · 2026

We investigate the following longstanding open questions raised by Kraj\'i\v{c}ek and Pudl\'ak (J. Symb. L. 1989), Sadowski (FCT 1997), K\"obler and Messner (CCC 1998) and Messner (PhD 2000). Q1: Do…

Read Paper →
Computer Science Preprint PDF DOI

Exploration vs. Fixation: Scaffolding Divergent and Convergent Thinking for Human-AI Co-Creation with Generative Models

Chao Wen, Tung Phung, Pronita Mehrotra, Sumit Gulwani, Roger E. Beaty, Tomohiro Nagashima, Adish Singla · 2025

Generative AI has democratized content creation, but popular chatbot-based interfaces often prioritize execution, generating fully rendered artifacts right away. This issue can lead to premature conve…

Read Paper →
Computer Science Preprint PDF DOI

A Structure-Aware Irregular Blocking Method for Sparse LU Factorization

Zhen Hu, Dongliang Xiong, Kai Huang, Changjun Wu, Xiaowen Jiang · 2025

In sparse LU factorization, nonzero elements after symbolic factorization tend to distribute in diagonal and right-bottom region of sparse matrices. However, regular 2D blocking on this non-uniform di…

Read Paper →
Computer Science Preprint PDF DOI

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients

Zhenbing Zeng, Yong Huang, Lu Yang, Yongsheng Rao · 2025

This paper presents a novel algorithm for constructing a sum-of-squares (SOS) decomposition for positive semi-definite polynomials with rational coefficients. Unlike previous methods that typically yi…

Read Paper →
Computer Science Preprint PDF DOI

Fast Unbiased Sampling of Networks with Given Expected Degrees and Strengths

Xuanchi Li, Xin Wang, Sadamori Kojaku · 2025

The configuration model is a cornerstone of statistical assessment of network structure. While the Chung-Lu model is among the most widely used configuration models, it systematically oversamples edge…

Read Paper →
Computer Science Preprint PDF DOI

HYLU: Hybrid Parallel Sparse LU Factorization

Xiaoming Chen · 2025

This article introduces HYLU, a hybrid parallel LU factorization-based general-purpose solver designed for efficiently solving sparse linear systems (Ax=b) on multi-core shared-memory architectures. T…

Read Paper →
Computer Science Preprint PDF DOI

FlashMP: Fast Discrete Transform-Based Solver for Preconditioning Maxwell's Equations on GPUs

Haoyuan Zhang, Yaqian Gao, Xinxin Zhang, Jialin Li, Runfeng Jin, Yidong Chen, Feng Zhang, Wu Yuan, Wenpeng Ma, Shan Liang, Jian Zhang, Zhonghua Lu · 2025

Efficiently solving large-scale linear systems is a critical challenge in electromagnetic simulations, particularly when using the Crank-Nicolson Finite-Difference Time-Domain (CN-FDTD) method. Existi…

Read Paper →
Computer Science Preprint PDF DOI

Assortativity in geometric and scale-free networks

Marc Kaufmann, Ulysse Schaller, Thomas Blasius, Johannes Lengler · 2025

The assortative behavior of a network is the tendency of similar (or dissimilar) nodes to connect to each other. This tendency can have an influence on various properties of the network, such as its r…

Read Paper →
Computer Science Preprint PDF DOI

Nearly Tight Sample Complexity for Matroid Online Contention Resolution

Moran Feldman, Ola Svensson, Rico Zenklusen · 2025

Due to their numerous applications, in particular in Mechanism Design, Prophet Inequalities have experienced a surge of interest. They describe competitive ratios for basic stopping time problems wher…

Read Paper →
Computer Science Preprint PDF DOI

New Bounds for the Ideal Proof System in Positive Characteristic

Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan · 2025

In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi…

Read Paper →
Computer Science Preprint PDF DOI

Online Budget-Feasible Mechanism Design with Predictions

Georgios Amanatidis, Evangelos Markakis, Christodoulos Santorinaios, Guido Schafer, Panagiotis Tsamopoulos, Artem Tsikiridis · 2025

Augmenting the input of algorithms with predictions is an algorithm design paradigm that suggests leveraging a (possibly erroneous) prediction to improve worst-case performance guarantees when the pre…

Read Paper →
Computer Science Preprint PDF DOI

Geospatial and Temporal Trends in Urban Transportation: A Study of NYC Taxis and Pathao Food Deliveries

Bidyarthi Paul, Fariha Tasnim Chowdhury, Dipta Biswas, Meherin Sultana · 2025

Urban transportation plays a vital role in modern city life, affecting how efficiently people and goods move around. This study analyzes transportation patterns using two datasets: the NYC Taxi Trip d…

Read Paper →
Computer Science Preprint PDF DOI

All-Subsets Important Separators with Applications to Sample Sets, Balanced Separators and Vertex Sparsifiers in Directed Graphs

Aditya Anand, Euiwoong Lee, Jason Li, Thatchaphol Saranurak · 2025

Given a directed graph $G$ with $n$ vertices and $m$ edges, a parameter $k$ and two disjoint subsets $S,T \subseteq V(G)$, we show that the number of all-subsets important separators, which is the num…

Read Paper →
Page 1 of 11 Next →