AI
Making Implicit Premises Explicit in Logical Understanding of Enthymemes
Researchers have proposed a method to translate real-world arguments into logical formulas. Their pi...
AI
A Framework and Prototype for a Navigable Map of Datasets in Engineering Design and Systems Engineering
A new framework has been proposed to create a navigable map of datasets in Engineering Design and Sy...
AI
Wildfire Suppression: Complexity, Models, and Instances
Researchers propose a new method for allocating resources to suppress wildfires, which is modeled as...
AI
When to Call an Apple Red: Humans Follow Introspective Rules, VLMs Don't
Researchers have created a benchmark to test how accurately Vision-Language Models (VLMs) and humans...
AI
AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
Researchers have developed a method called AutoOR to help large language models ...
AI
MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
Researchers have developed MedStruct-S, a new benchmark for evaluating AI models...
AI
Key Coverage Matters: Semi-Structured Extraction of OCR Clinical Reports
Researchers have developed a system for extracting relevant information from opt...
AI
EgoMemReason: A Memory-Driven Reasoning Benchmark for Long-Horizon Egocentric Video Understanding
Researchers have created a benchmark called EgoMemReason to evaluate the ability...