Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Navigating Wikipedia’s Knowledge Discrepancies
diff.wikimedia.org·1d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·18h
Developing Visual Augmented Q&A System using Scalable Vision Embedding Retrieval & Late Interaction Re-ranker
arxiv.org·18h
Unveiling the Visual Rhetoric of Persuasive Cartography: A Case Study of the Design of Octopus Maps
arxiv.org·18h
Loading...Loading more...