AI-assisted science - Research Digest

Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery

Shahnawaz Alam, Mohammed Mudassir Uddin, Mohammed Kaif Pasha

Source: arxiv

Rethinking the AI Scientist: Interactive Multi-Agent Workflows for Scientific Discovery

Lukas Weidener, Marko Brkić, Mihailo Jovanović, Ritvik Singh, Chiara Baccin, Emre Ulgac, Alex Dobrin, Aakaash Meduri

Source: arxiv

AI Co-Scientist for Knowledge Synthesis in Medical Contexts: A Proof of Concept

Arya Rahgozar, Pouria Mortezaagha

Source: arxiv

DeepEvidence: Empowering Biomedical Discovery with Deep Knowledge Graph Research

Zifeng Wang, Zheng Chen, Ziwei Yang, Xuan Wang, Qiao Jin, Yifan Peng, Zhiyong Lu, Jimeng Sun

Source: arxiv

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction

Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar

Source: arxiv

Benchmarking AI scientists for omics data driven biological discovery

Erpai Luo, Jinmeng Jia, Yifan Xiong, Xiangyu Li, Xiaobo Guo, Baoqi Yu, Minsheng Hao, Lei Wei, Xuegong Zhang

Source: arxiv

A Cloud-based Multi-Agentic Workflow for Science

Anurag Acharya, Timothy Vega, Rizwan A. Ashraf, Anshu Sharma, Derek Parker, Robert Rallo

Source: arxiv

Ontology-aligned structuring and reuse of multimodal materials data and workflows towards automatic reproduction

Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker

Source: arxiv

SciCoQA: Quality Assurance for Scientific Paper--Code Alignment

Tim Baumgärtner, Iryna Gurevych

Source: arxiv

Large Language Model for OWL Proofs

Hui Yang, Jiaoyan Chen, Uli Sattler

Source: arxiv

SCULPT: Constraint-Guided Pruned MCTS that Carves Efficient Paths for Mathematical Reasoning

Qitong Fang, Haotian Li, Xu Wang

Source: arxiv

Towards AGI A Pragmatic Approach Towards Self Evolving Agent

Indrajit Kar, Sammy Zonunpuia, Zonunfeli Ralte

Source: arxiv

Agentic-R: Learning to Retrieve for Agentic Search

Wenhan Liu, Xinyu Ma, Yutao Zhu, Yuchen Li, Daiting Shi, Dawei Yin, Zhicheng Dou

Source: arxiv

Rethinking the Value of Multi-Agent Workflow: A Strong Single Agent Baseline

Jiawei Xu, Arief Koesdwiady, Sisong Bei, Yan Han, Baixiang Huang, Dakuo Wang, Yutong Chen, Zheshen Wang, Peihao Wang, Pan Li, Ying Ding

Source: arxiv Must Read

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic

Hongyu Lin, Samer Abdallah, Makar Valentinov, Paul Brennan, Elijah Kagan, Christoph M. Wintersteiger, Denis Ignatovich, Grant Passmore

Source: arxiv Must Read

Overview of the SciHigh Track at FIRE 2025: Research Highlight Generation from Scientific Papers

Tohida Rehman, Debarshi Kumar Sanyal, Samiran Chattopadhyay

Source: arxiv Must Read

A Component-Based Survey of Interactions between Large Language Models and Multi-Armed Bandits

Miao Xie, Siguang Chen, Chunli Lv

Source: arxiv Must Read

Generalization vs. Memorization in Autoregressive Deep Learning: Or, Examining Temporal Decay of Gradient Coherence

James Amarel, Nicolas Hengartner, Robyn Miller, Kamaljeet Singh, Siddharth Mansingh, Arvind Mohan, Benjamin Migliori, Emily Casleton, Alexei Skurikhin, Earl Lawrence, Gerd J. Kunde

Source: arxiv Must Read