会员服务
Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
Arxiv
0+阅读 · 6月2日
Can LLMs extract scientific consensus? A case study in high-temperature superconductivity
Arxiv
0+阅读 · 5月26日
Higher-order Network Analysis of Human Mobility Data
Arxiv
0+阅读 · 5月30日
Reliability analysis for non-deterministic limit-states using stochastic emulators
Arxiv
0+阅读 · 5月17日
The Ephemeral Web and the Case for Proactive Archiving
Arxiv
0+阅读 · 5月18日
Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
Arxiv
0+阅读 · 6月11日
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
Arxiv
0+阅读 · 5月26日
Cognitive Comparability and the Limits of Governance: Evaluating Authority Under Radical Capability Asymmetry
Arxiv
0+阅读 · 6月6日
Complete $ω$-Regular Supermartingale Certificates
Arxiv
0+阅读 · 5月27日
Fodor and Pylyshyn's Systematicity Challenge Still Stands
Arxiv
0+阅读 · 6月12日
Jas: AI-Paired Engineering as a Revival of N-Version Programming
Arxiv
0+阅读 · 6月5日
Detecting undisclosed LLM-generated content in parliamentary texts
Arxiv
0+阅读 · 6月12日
Decentralized Value Systems Agreements
Arxiv
0+阅读 · 6月8日
Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters
Arxiv
0+阅读 · 6月9日
Towards personalised intervention: A causal-dynamical framework to determine psychological treatment trajectories
Arxiv
0+阅读 · 6月8日
参考链接
微信扫码咨询专知VIP会员
Top