Expertini Research Research

Browse Research Papers

361+ open-access research outputs.

✕ Clear
🔍 david lu 📂 Computer Science
Showing 361 results for "david lu" in Computer Science
Computer Science Preprint PDF DOI

Analysis of AWW (Anganwadi Workers) Training Content, ILA (Incremental Learning Approach) Modules Following CDT (Component Display Theory)

Arka Majhi, Satish B. Agnihotri · 2026

POSHAN Abhiyan envisages capacity building of AWWs or frontline health workers through 21 training modules of ILA (Incremental Learning Approach), modularising the net learning content into smaller le…

Read Paper →
Computer Science Preprint PDF DOI

AVID: A Benchmark for Omni-Modal Audio-Visual Inconsistency Understanding via Agent-Driven Construction

Zixuan Chen, Depeng Wang, Hao Lin, Li Luo, Ke Xu, Ya Guo, Huijia Zhu, Tanfeng Sun, Xinghao Jiang · 2026

We present AVID, the first large-scale benchmark for audio-visual inconsistency understanding in videos. While omni-modal large language models excel at temporally aligned tasks such as captioning and…

Read Paper →
Computer Science Preprint PDF DOI

A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding

Cheuk Ting Li · 2026

Probabilistic settings (e.g., vanishing-error channel coding) and non-probabilistic settings (e.g., zero-error channel coding and adversarial channels) were considered two related but different branch…

Read Paper →
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 Theorems of Dr. David Blackwell and Their Contributions to Artificial Intelligence

Napoleon Paxton · 2026

Dr. David Blackwell was a mathematician and statistician of the first rank, whose contributions to statistical theory, game theory, and decision theory predated many of the algorithmic breakthroughs t…

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

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

Teen Vigilance: Navigating Risky Social Interactions on Discord

Elena Koung, Yunhan Liu, Zinan Zhang, Xinning Gui, Yubo Kou · 2026

Teenagers are avid users of Discord, a fast growing platform for synchronous communication where they often interact with strangers. Because Discord combines private DMs, semi-private voice channels, …

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

Remarks on Algebraic Reconstruction of Types and Effects

Patrycja Balik, Szymon Jedras, Piotr Polesiuk · 2026

In their 1991 paper "Algebraic Reconstruction of Types and Effects," Pierre Jouvelot and David Gifford presented a type-and-effect reconstruction algorithm based on an algebraic structure of effects. …

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

Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment

Holger I. Meinhardt · 2025

Recently, Maggiorano et al. (2025) claimed that they have developed a strongly polynomial-time combinatorial algorithm for the nucleolus in convex games that is based on the reduced game approach and …

Read Paper →
Computer Science Preprint PDF DOI

The Future of Food: How Artificial Intelligence is Transforming Food Manufacturing

Xu Zhou, Ivor Prado, AIFPDS participants, Ilias Tagkopoulos · 2025

Artificial intelligence is accelerating a new era of food innovation, connecting data from farm to consumer to improve formulation, processing, and health outcomes. Recent advances in deep learning, n…

Read Paper →
Computer Science Preprint PDF DOI

Online 3-Taxi on General Metrics

Christian Coester, Tze-Yang Poon · 2025

The online $k$-taxi problem, introduced in 1990 by Fiat, Rabani and Ravid, is a generalization of the $k$-server problem where $k$ taxis must serve a sequence of requests in a metric space. Each reque…

Read Paper →
Computer Science Preprint PDF DOI

Bilateralist base-extension semantics with incompatible proofs and refutations

Victor Barroso-Nascimento, Maria Osorio Costa, Elaine Pimentel · 2025

Logical bilateralism challenges traditional concepts of logic by treating assertion and denial as independent yet opposed acts. While initially devised to justify classical logic, its constructive var…

Read Paper →
Computer Science Preprint PDF DOI

David vs. Goliath: A comparative study of different-sized LLMs for code generation in the domain of automotive scenario generation

Philipp Bauerfeind, Amir Salarpour, David Fernandez, Pedram MohajerAnsari, Johannes Reschke, Mert D. Pese · 2025

Scenario simulation is central to testing autonomous driving systems. Scenic, a domain-specific language (DSL) for CARLA, enables precise and reproducible scenarios, but NL-to-Scenic generation with l…

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 →
Page 1 of 19 Next →