Expertini Research Research

Browse Research Papers

1,442+ open-access research outputs.

โœ• Clear
๐Ÿ” nicholas woolsey
Showing 1442 results for "nicholas woolsey"
Computer Science Preprint PDF DOI

Line Segment Clipping using Quadrilateral Concavity and Convexity

Bimal Kumar Ray ยท 2026

This paper proposes an algorithm for clipping line segment against an axis-aligned rectangular window. The conventional algorithms for line segment clipping treat the clipping boundary and/or the lineโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Ray Iskander, Khaled Kirah ยท 2026

Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

CUJBench: Benchmarking LLM-Agent on Cross-Modal Failure Diagnosis from Browser to Backend

Haoming Meng ยท 2026

Automated failure diagnosis requires correlating browser-visible symptoms with backend observability signals, yet existing benchmarks do not evaluate this cross-modal reasoning task. Constructing one โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

RAT: RunAnyThing via Fully Automated Environment Configuration

Renhong Huang, Dongdong Hua, Yifei Sun, Sitao Ding, Hanyang Yuan, Daixin Wang, Yang Yang ยท 2026

Automating repository-level software engineering tasks is a foundational challenge for autonomous code agents, largely due to the difficulty of configuring executable environments. However, manual conโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)

Omer Sakar, Soham Chakraborty, Marieke Huisman, Anton Wijs ยท 2026

Concurrent programming under weak memory concurrency faces substantial challenges to ensure correctness due to program behaviors that cannot be explained by thread interleaving, a.k.a. sequential consโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware

Ray Iskander, Khaled Kirah ยท 2026

Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established struโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Logarithmic Entanglement and Emergent Dipole Symmetry from a Strongly Coupled Light-Matter Quantum Circuit

Luiz H. Santos ยท 2026

Hybrid systems where a quantum material strongly couples to a nonlocal cavity photon mode have emerged as a new frontier for controlling and probing quantum correlations, yet the structure and scalingโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Normal approximation for iterated inner functions

Yukun Chen, Xiangdi Fu, Zhaofeng Lin, Yanqi Qiu ยท 2026

A Berry--Ess\'{e}en theorem for linear combinations of iterates of an inner function is obtained. Our proof, which is based an elementary transfer argument and classical results in martingale theory, โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

VoxMind: An End-to-End Agentic Spoken Dialogue System

Tianle Liang, Yifu Chen, Shengpeng Ji, Yijun Chen, Zhiyang Jia, Jingyu Lu, Fan Zhuo, Xueyi Pu, Yangzhuo Li, Zhou Zhao ยท 2026

Recent end-to-end spoken dialogue models enable natural interaction. However, as user demands become increasingly complex, models that rely solely on conversational abilities often struggle to cope. Iโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

El Agente Forjador: Task-Driven Agent Generation for Quantum Simulation

Zijian Zhang, Aiwei Yin, Amaan Baweja, Jiaru Bai, Ignacio Gustin, Varinia Bernales, Alan Aspuru-Guzik ยท 2026

AI for science promises to accelerate the discovery process. The advent of large language models (LLMs) and agentic workflows enables the expediting of a growing range of scientific tasks. However, moโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Why MLLMs Struggle to Determine Object Orientations

Anju Gopinath, Nikhil Krishnaswamy, Bruce Draper ยท 2026

Multimodal Large Language Models (MLLMs) struggle with tasks that require reasoning about 2D object orientation in images, as documented in prior work. Tong et al. and Nichols et al. hypothesize that โ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

UniToolCall: Unifying Tool-Use Representation, Data, and Evaluation for LLM Agents

Yijuan Liang, Xinghao Chen, Yifan Ge, Ziyi Wu, Hao Wu, Changyu Zeng, Wei Xing, Xiaoyu Shen ยท 2026

Tool-use capability is a fundamental component of LLM agents, enabling them to interact with external systems through structured function calls. However, existing research exhibits inconsistent interaโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Mem$^2$Evolve: Towards Self-Evolving Agents via Co-Evolutionary Capability Expansion and Experience Distillation

Zihao Cheng, Zeming Liu, Yingyu Shan, Xinyi Wang, Xiangrong Zhu, Yunpu Ma, Hongru Wang, Yuhang Guo, Wei Lin, Yunhong Wang ยท 2026

While large language model--powered agents can self-evolve by accumulating experience or by dynamically creating new assets (i.e., tools or expert agents), existing frameworks typically treat these twโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

HTAA: Enhancing LLM Planning via Hybrid Toolset Agentization & Adaptation

Chengrui Huang, Junshuo Zhang, Zhiyuan Ma, Xikun Wang, Ximeng Wang, Menghua Jiang, Gang Zeng, Zhaobing Han, Shen Gao, Shuo Shang ยท 2026

Enabling large language models to scale and reliably use hundreds of tools is critical for real-world applications, yet challenging due to the inefficiency and error accumulation inherent in flat toolโ€ฆ

Read Paper โ†’
Engineering Preprint PDF DOI

RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies

Xuning Yang, Rishit Dagli, Alex Zook, Hugo Hadfield, Ankit Goyal, Stan Birchfield, Fabio Ramos, Jonathan Tremblay ยท 2026

The pursuit of general-purpose robotics has yielded impressive foundation models, yet simulation-based benchmarking remains a bottleneck due to rapid performance saturation and a lack of true generaliโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

On Petr Novikov's problem of ordered systems of uniform sets

Vladimir Kanovei, Vassily Lyubetsky ยท 2026

We prove that every ordinal $\alpha<\omega_2$ is the order type of a certain system of uniform Borel sets in the sense of a well-ordering relation defined by Petr Novikov. This result gives a positiveโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Deep Researcher Agent: An Autonomous Framework for 24/7 Deep Learning Experimentation with Zero-Cost Monitoring

Xiangyue Zhang ยท 2026

We present \textbf{Deep Researcher Agent}, an open-source framework that enables large language model (LLM) agents to autonomously conduct deep learning experiments around the clock. Unlike existing Aโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Data-Driven Function Calling Improvements in Large Language Model for Online Financial QA

Xing Tang, Hao Chen, Shiwei Li, Fuyuan Lyu, Weijie Shi, Lingjie Li, Dugang Liu, Weihong Luo, Xiku Du, Xiuqiang He ยท 2026

Large language models (LLMs) have been incorporated into numerous industrial applications. Meanwhile, a vast array of API assets is scattered across various functions in the financial domain. An onlinโ€ฆ

Read Paper โ†’
Engineering Preprint PDF DOI

ACHEM: A Real-Time Digital Twin Framework with Channel and Radio Emulation

Anil Gurses, Mihail L. Sichitiu ยท 2026

Digital twins are becoming an important tool for designing, developing, testing, and optimizing next-generation wireless communication systems. Over the past decade, system softwarization has become aโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Schema-Aware Planning and Hybrid Knowledge Toolset for Reliable Knowledge Graph Triple Verification

Xinyan Ma, Xianhao Ou, Weihao Zhang, Shixin Jiang, Runxuan Liu, Dandan Tu, Lei Chen, Ming Liu, Bing Qin ยท 2026

Knowledge Graphs (KGs) serve as a critical foundation for AI systems, yet their automated construction inevitably introduces noise, compromising data trustworthiness. Existing triple verification methโ€ฆ

Read Paper โ†’
Page 1 of 73 Next โ†’