paper-with-me

Papers

VerifAI: A Verifiable Open-Source Search Engine for Biomedical Question Answering

2026-01-16 · Miloš Košprdić, Adela Ljajić, Bojana Bašaragin, Darija Medvecki, Lorenzo Cassano, Nikola Milošević arxiv

We introduce VerifAI, an open-source expert system for biomedical question answering that integrates retrieval-augmented generation (RAG) with a novel post-hoc claim verification mechanism. Unlike standard RAG systems, VerifAI ensures factual consistency by decomposing generated answers into atomic claims and validating them against retrieved evidence using a fine-tuned natural language inference (NLI) engine. The system comprises three modular components: (1) a hybrid Information Retrieval (IR) module optimized for biomedical queries (MAP@10 of 42.7%), (2) a citation-aware Generative Component fine-tuned on a custom dataset to produce referenced answers, and (3) a Verification Component that detects hallucinations with state-of-the-art accuracy, outperforming GPT-4 on the HealthVer benchmark. Evaluations demonstrate that VerifAI significantly reduces hallucinated citations compared to zero-shot baselines and provides a transparent, verifiable lineage for every claim. The full pipeline, including code, models, and datasets, is open-sourced to facilitate reliable AI deployment in high-stakes domains.

📄 PDF Abstract BibTeX arXiv:2604.08549

Code (0)

등록된 구현이 없습니다.

Tasks

Natural Language InferenceInformation RetrievalQuestion Answering

Similar Papers 제목 키워드 기반

Scientific QA System with Verifiable Answers

2024-07-16 · Adela Ljajić, Miloš Košprdić, Bojana Bašaragin, Darija Medvecki 외

In this paper, we introduce the VerifAI project, a pioneering open-source scientific question-answering system, designed to provide answers that are not only referenced but also automatically vetted and verifiable. The c…

ArticlesInformation RetrievalMisinformationNatural Language Inference+4

Addressing the IEEE AV Test Challenge with Scenic and VerifAI

2021-08-20 · Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim 외

This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveraging our previous work on formally-driven s…

Autonomous VehiclesProbabilistic Programming

Parallel and Multi-Objective Falsification with Scenic and VerifAI

2021-07-09 · Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont 외

Falsification has emerged as an important tool for simulation-based verification of autonomous systems. In this paper, we present extensions to the Scenic scenario specification language and VerifAI toolkit that improve …

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

2019-02-12 · Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim 외

We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particularly seeks to address challenges with a…

BIG-bench Machine Learning

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering

2026-01-30 · Chuanzhe Guo, Jingjing Wu, Sijun He, Yang Chen 외 arxiv

The evolution of Large Language Model (LLM) agents for software engineering (SWE) is constrained by the scarcity of verifiable datasets, a bottleneck stemming from the complexity of constructing executable environments a…