12 papers
PAC-Bayes Beyond Parameter Space: Behavioral Equivalence, Z-Information, and Exact Complexity Decomposition
Vasant G. Honavar, Satish Kumar Keshri, Neil Ashtekar +1
PAC-Bayes theory provides generalization guarantees by controlling the Kullback--Leibler (KL) divergence between posterior and prior distributions over a chosen hypothesis represen…
Skin-R1: Clinical Knowledge-Guided Dermatological Diagnosis Using Vision-Language Models
Zehao Liu, Weijieying Ren, Jipeng Zhang +4
Vision--language models (VLMs) have recently shown promise for assisting clinical reasoning in dermatological diagnosis. However, their trustworthiness and clinical utility remain…
Regression with Large Language Models for Materials and Molecular Property Prediction
Ryan Jacobs, Maciej P. Polak, Lane E. Schultz +3
We demonstrate the ability of large language models (LLMs) to perform material and molecular property regression tasks, a significant deviation from the conventional LLM use case.…
C-HDNet: Hyperdimensional Computing for Causal Effect Estimation from Observational Data Under Network Interference
Abhishek Dalvi, Neil Ashtekar, Vasant Honavar
We address the problem of estimating causal effects from observational data in the presence of network confounding, a setting where both treatment assignment and observed outcomes…
CombiGraph-Vis: A Curated Multimodal Olympiad Benchmark for Discrete Mathematical Reasoning
Hamed Mahdavi, Pouria Mahdavinia, Alireza Farhadi +7
State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 o…
RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Hamed Mahdavi, Pouria Mahdavinia, Samira Malek +7
State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 o…