All Articles
16780 articles total
A Critical Analysis of Trustworthy AI Tools, Mark Frameworks, and the Implementation Chasms
A critical analysis of trustworthy AI frameworks reveals a gap between high-level ethical guidelines and concrete implementation mechanisms.
Logic, Optimization, and Artificial Intelligence
This survey explores the synergy between logic and optimization in rule-based AI to improve transparency, explainability, and fairness.
SeerGuard: A Safety Framework for Mobile GUI Agents via World Model Prediction
SeerGuard is introduced as a safety framework for mobile GUI agents, utilizing a world model to predict and assess risks before actions are executed.
MGDT: MLLM-Guided Diffusion Transformer with Relation-Adaptive Mixture-of-Experts for Multimodal Knowledge Graph Completion
MGDT is a new framework for multimodal knowledge graph completion that uses an align-then-diffuse paradigm with MLLM guidance and Mixture-of-Experts.
Neuro-Symbolic AI for LEED compliance: Document-Centric Benchmarking, Deterministic Numeric Checking, and When Multimodal Hurts
A neuro-symbolic pipeline is tested for LEED compliance verification, finding that small local LLMs combined with deterministic numeric checkers can be effective.
ToolVerse: Unlocking Massive Environments and Long-Horizon Tasks for Agentic Reinforcement Learning
ToolVerse is a framework that scales agentic RL environments by integrating thousands of real-world tools via Model Context Protocols (MCPs).
S1-Omni: A Unified Multimodal Reasoning Model for Scientific Understanding, Prediction, and Generation
S1-Omni is presented as a unified multimodal reasoning model designed for scientific understanding, prediction, and generation across various domains.
Claude Fable produced a counterexample to the Jacobian Conjecture
Claude Fable AI successfully produced a counterexample to the Jacobian Conjecture, a long-standing problem in mathematics.
The Chickens and the Bulls (2012)
An article or discussion regarding 'The Chickens and the Bulls (2012)', likely a technical or mathematical puzzle/story.
GraphDx: A Cost-Aware Knowledge-Enhanced Multi-Agent Framework for Sequential Diagnosis
GraphDx is a multi-agent framework that uses Medical Diagnosis Knowledge Graphs to improve the accuracy and cost-efficiency of automated clinical diagnosis.
Causal-Audit: Explicit and Auditable Graph-based Reasoning via Target-Aware Causal Chain Construction
Causal-Audit is a framework for auditable graph-based reasoning in LLMs, focusing on target-aware causal chain construction to improve intervention-based QA.
Cura 1T: Specialized Model for Agentic Healthcare
Cura 1T is a specialized healthcare LLM trained via a human-gated self-evolution loop to handle consultation, reasoning, and tool use.
AnovaX: A Local, Multi-Agent Voice Assistant with LLM Planning, Typed Executors, and Adaptive Recovery
AnovaX is a local-first, multi-agent voice assistant that runs entirely on a user's computer and manages desktop actions via an LLM planner and typed executors.
Precise but Uncoupled: Reviewer Precision Does Not Guarantee Critique Uptake in Multi-Agent Math Reasoning
Research indicates that reviewer precision in multi-agent math reasoning does not guarantee that critiques will be adopted or lead to better solutions.
DrawingVQA: A Real-World Benchmark for Multi-Depth Visual-Textual Reasoning on Construction Drawings
DrawingVQA introduces a benchmark for evaluating MLLMs on construction drawings, bridging the gap between AI reasoning and real-world engineering workflows.
Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?
A study on ARC-AGI-3 coding agents reveals that exact replay verification is the most effective component for solving complex reasoning games.
Beyond a Joke: Multi-Angle Reasoning for Detecting and Explaining Harmful Humor in Memes
MAR-12 is a framework that uses VLMs and twelve structured perspectives to detect and explain harmful humor and hate in internet memes.
World GeoHistoGram
The article discusses World GeoHistoGram, a tool for visualizing historical geographical data.
Delete Your Data with Drop
Drop is a tool designed to help users delete their data from various services to enhance privacy.
Who’s responsible for bug reports on old software versions?
A community discussion on Lobste.rs regarding the responsibility and ethics of maintaining bug reports for legacy software versions.