The research on vision-language models (VLMs) has gained significant momentum, driven by their potential to revolutionize various applications, including visual assistance for visually impaired individuals. However, current evaluations of these models often need to pay more attention to the complexities introduced by multi-object scenarios and diverse cultural contexts. Two notable studies shed light on these… →
Graph comprehension and complex reasoning in artificial intelligence involve developing and evaluating the abilities of Large Language Models (LLMs) to understand and reason about graph-structured data. This field is critical for various applications, including social network analysis, drug discovery, recommendation systems, and spatiotemporal predictions. The goal is to advance the capabilities of AI to handle… →
Accurately modeling magnetic hysteresis is a significant challenge in the field of AI, especially for optimizing the performance of magnetic devices such as electric machines and actuators. Traditional methods often struggle to generalize to novel magnetic fields, limiting their effectiveness in real-world applications. Addressing this challenge is crucial for developing efficient and generalizable models that… →
Large Language Models (LLMs) with parametric memory of rules and knowledge have shown limitations in implicit reasoning. Research has shown that these models, even more complex ones like GPT-4, have trouble applying and integrating internalized facts reliably. For instance, even when they are aware of the entities in question, they frequently make inaccurate comparisons of… →
Complex Human Activity Recognition (CHAR) in ubiquitous computing, particularly in smart environments, presents significant challenges due to the labor-intensive and error-prone process of labeling datasets with precise temporal information of atomic activities. This task becomes impractical in real-world scenarios where accurate and detailed labeling is scarce. The need for effective CHAR methods that do not… →
In a recent study by Innodata, various large language models (LLMs) such as Llama2, Mistral, Gemma, and GPT were benchmarked for their performance in factuality, toxicity, bias, and propensity for hallucinations. The research introduced fourteen novel datasets designed to evaluate the safety of these models, focusing on their ability to produce factual, unbiased, and appropriate… →
Large language models (LLMs) have demonstrated remarkable performance across various tasks, with reasoning capabilities being a crucial aspect of their development. However, the key elements driving these improvements remain unclear. Currently, the primary approaches to enhance reasoning involve increasing model size and expanding context length through techniques like chain of thought, retrieval augmented generation, and… →
VLMs like LLaVA-Med have advanced significantly, offering multi-modal capabilities for biomedical image and data analysis, which could aid radiologists. However, these models face challenges, such as hallucinations and imprecision in responses, leading to potential misdiagnoses. With radiology departments experiencing increased workloads and radiologists facing burnout, the need for tools to mitigate these issues is pressing.… →
Formal verification is crucial in software engineering to ensure program correctness through mathematical proof. One widely used technique for this purpose is bounded model checking (BMC), which involves verifying the correctness of a program within specified bounds. Python, a programming language favored for its simplicity and extensive libraries, particularly in fields like web development, image… →