Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Biomedical reasoning in action: Multi-agent System for Auditable Biomedical Evidence Synthesis
Oskar Wysocki, Magdalena Wysocka, Mauricio Jacobo +2
We present M-Reason, a demonstration system for transparent, agent-based reasoning and evidence integration in the biomedical domain, with a focus on cancer research. M-Reason leve…
cs.AI2025
Integrating Expert Knowledge into Logical Programs via LLMs
Franciszek Górski, Oskar Wysocki, Marco Valentino +1
This paper introduces ExKLoP, a novel framework designed to evaluate how effectively Large Language Models (LLMs) integrate expert knowledge into logical reasoning systems. This ca…