From generating headlines to fabricating news, the Large Language Models (LLMs) are typically assessed by their final outputs, under the safety assumption that ...
Large language models often struggle to recognize their knowledge limits in closed-book question answering, leading to confident hallucinations. While decompose...
Linear attention offers a computationally efficient yet expressive alternative to softmax attention. However, recent empirical results indicate that the state o...
Pose and motion priors play a crucial role in humanoid robotics. Although such priors have been widely studied in human motion recovery (HMR) domain with a rang...
Quantum chemistry is a foundational enabling tool for the fields of chemistry, materials science, computational biology and others. Despite of its power, the pr...
We present El Agente Estructural, a multimodal, natural-language-driven geometry-generation and manipulation agent for autonomous chemistry and molecular modell...
Reasoning language models, which generate long chains of thought, dramatically outperform non-reasoning language models on abstract problems. However, the inter...
With the advancement of 3D scanning technologies, point clouds have become fundamental for representing 3D spatial data, with applications that span across vari...
Our theoretical understanding of neural networks is lagging behind their empirical success. One of the important unexplained phenomena is why and how, during th...
Software Engineering (SE) faces simultaneous pressure from AI automation (reducing code production costs) and hardware-energy constraints (amplifying failure co...
Statically-annotated types have been shown to aid developers in a number of programming tasks, and this benefit holds true even when static type checking is not...
Human nail diseases are gradually observed over all age groups, especially among older individuals, often going ignored until they become severe. Early detectio...
Accurate risk stratification of precancerous polyps during routine colonoscopy screenings is essential for lowering the risk of developing colorectal cancer (CR...
The rapid growth of large language models (LLMs) has outpaced the evolution of single-GPU hardware, making model scale increasingly constrained by memory capaci...
True self-evolution requires agents to act as lifelong learners that internalize novel experiences to solve future problems. However, rigorously measuring this ...
Omni-modal Large Language Models (Omni-LLMs) have demonstrated strong capabilities in audio-video understanding tasks. However, their reliance on long multimoda...
A controller -- a software module managing hardware behavior -- is a key component of a typical robot system. While control theory gives safety guarantees for s...
The SV-COMP competition provides a state-of-the-art platform for evaluating software verification tools on a standardized set of verification tasks. Consequentl...
Automatic speech recognition (ASR) for conversational speech remains challenging due to the limited availability of large-scale, well-annotated multi-speaker di...
This work tackles two critical challenges related to the development of metaheuristics for Multi-Objective Optimization Problems (MOOPs): the exponential growth...
The introduction of large language models ignited great retooling and rethinking of the software development models. The ensuing response of software engineerin...
Spatial accelerators, composed of arrays of compute-memory integrated units, offer an attractive platform for deploying inference workloads with low latency and...
Low-density parity-check (LDPC) decoding is one of the most computationally intensive kernels in the 5G New Radio (NR) physical layer and must complete within a...
Software Engineering (SE) agents have shown promising abilities in supporting various SE tasks. Current SE agents remain fundamentally reactive, making decision...
