전체 전문분석자료

전문분석자료

Academic · 약 1분

Logics-Parsing-Omni Technical Report

arXiv:2603.09677v1 Announce Type: new Abstract: Addressing the challenges of fragmented task definitions and the heterogeneity of unstructured data in multimodal parsing, this paper proposes the …

Xin An, Jingyi Cai, Xiangyang Chen, Huayao Liu, Peiting Liu, Peng Wang, Bei Yang, Xiuwen Zhu, Yongfan Chen, Baoyu Hou, Shuzhao Li, Weidong Ren, Fan Yang, Jiangtao Zhang, Xiaoxiao Xu, Lin Qu
조회수 38회
Academic · 약 1분

Logos: An evolvable reasoning engine for rational molecular design

arXiv:2603.09268v1 Announce Type: new Abstract: The discovery and design of functional molecules remain central challenges across chemistry,biology, and materials science. While recent advances in machine …

Haibin Wen, Zhe Zhao, Fanfu Wang, Tianyi Xu, Hao Zhang, Chao Yang, Ye Wei
조회수 42회
Academic · 약 1분

Let's Verify Math Questions Step by Step

arXiv:2505.13903v1 Announce Type: cross Abstract: Large Language Models (LLMs) have recently achieved remarkable progress in mathematical reasoning. To enable such capabilities, many existing works distill …

Chengyu Shen, Zhen Hao Wong, Runming He, Hao Liang, Meiyi Qiang, Zimo Meng, Zhengyang Zhao, Bohan Zeng, Zhengzhou Zhu, Bin Cui, Wentao Zhang
조회수 31회
Academic · 약 1분

Meissa: Multi-modal Medical Agentic Intelligence

arXiv:2603.09018v1 Announce Type: new Abstract: Multi-modal large language models (MM-LLMs) have shown strong performance in medical image understanding and clinical reasoning. Recent medical agent systems …

Yixiong Chen, Xinyi Bai, Yue Pan, Zongwei Zhou, Alan Yuille
조회수 35회
Academic · 약 1분

The FABRIC Strategy for Verifying Neural Feedback Systems

arXiv:2603.08964v1 Announce Type: new Abstract: Forward reachability analysis is a dominant approach for verifying reach-avoid specifications in neural feedback systems, i.e., dynamical systems controlled by …

I. Samuel Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark Barrett
조회수 45회