1 citations · 3 across the 25 of their papers we have counts for
Showing cs.ETShow all
2 papers · 1 filter
cs.ET2025
Truth Without Comprehension: A BlueSky Agenda for Steering the Fourth Mathematical Crisis
Runlong Yu, Xiaowei Jia
Machine-generated proofs are poised to reach large-scale, human-unreadable artifacts. They foreshadow what we call the Fourth Mathematical Crisis. This crisis crystallizes around t…
cs.ET2025
RAG for Geoscience: What We Expect, Gaps and Opportunities
Runlong Yu, Shiyuan Luo, Rahul Ghosh +3
Retrieval-Augmented Generation (RAG) enhances language models by combining retrieval with generation. However, its current workflow remains largely text-centric, limiting its appli…