3 papers
cs.CL2026
Aligning Biomedical Texts and Knowledge Graphs: A Systematic Comparison of Lightweight Alignment Strategies
Artem Bisliouk, Elizaveta Nosova, Heiko Paulheim +2
Biomedical knowledge exists in two complementary but distinct forms: unstructured scientific literature and structured knowledge graphs (KGs). Aligning them is essential for knowle…
cs.CL2026
Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning
Zhenjiang Mao, Anirudhh Venkat, Artem Bisliouk +4
Large Language Models (LLMs) increasingly rely on long-form, multi-step reasoning to solve complex tasks such as mathematical problem solving and scientific question answering. Des…
cs.LG2025
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
Zhenjiang Mao, Artem Bisliouk, Rohith Reddy Nama +1
Large Language Models (LLMs) have shown impressive performance in mathematical reasoning tasks when guided by Chain-of-Thought (CoT) prompting. However, they tend to produce highly…