会员服务
Interpreting Lambda Calculus in Domain-Valued Random Variables
Arxiv
0+阅读 · 1月5日
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 2025年12月15日
Coco: Corecursion with Compositional Heterogeneous Productivity
Arxiv
0+阅读 · 2025年11月26日
Evo* 2025 -- Late-Breaking Abstracts Volume
Arxiv
0+阅读 · 2025年11月9日
Open Data, Privacy, and Fair Information Principles: Towards a Balancing Framework
Arxiv
0+阅读 · 2025年12月5日
Novel Concepts for Agent-Based Population Modelling and Simulation: Updates from GEPOC ABM
Arxiv
0+阅读 · 2025年11月7日
DetectiumFire: A Comprehensive Multi-modal Dataset Bridging Vision and Language for Fire Understanding
Arxiv
0+阅读 · 2025年11月4日
Investigation of a Bit-Sequence Reconciliation Protocol Based on Neural TPM Networks in Secure Quantum Communications
Arxiv
0+阅读 · 2025年12月15日
Ultralow-power standoff acoustic leak detection
Arxiv
0+阅读 · 2025年11月1日
CoT4Det: A Chain-of-Thought Framework for Perception-Oriented Vision-Language Tasks
Arxiv
0+阅读 · 2025年12月7日
SimuFreeMark: A Noise-Simulation-Free Robust Watermarking Against Image Editing
Arxiv
0+阅读 · 2025年11月14日
The evolving surface morphochemical reaction-diffusion system for battery modeling
Arxiv
0+阅读 · 2025年11月2日
Demystifying MaskGIT Sampler and Beyond: Adaptive Order Selection in Masked Diffusion
Arxiv
0+阅读 · 2025年10月31日
Quantum Time-Space Tradeoffs for Matrix Problems
Quantum Time-Space Tradeoffs for Matrix Problems
Arxiv
0+阅读 · 2025年10月30日
I-RAVEN-X: Benchmarking Generalization and Robustness of Analogical and Mathematical Reasoning in Large Language and Reasoning Models
I-RAVEN-X: Benchmarking Generalization and Robustness of Analogical and Mathematical Reasoning in Large Language and Reasoning Models
Arxiv
0+阅读 · 2025年10月31日
参考链接
微信扫码咨询专知VIP会员
Top