会员服务
The algebraic $λ$-calculus is a conservative extension of the ordinary $λ$-calculus
Arxiv
0+阅读 · 2023年5月1日
FIREBALL: A Dataset of Dungeons and Dragons Actual-Play with Structured Game State Information
Arxiv
1+阅读 · 2023年5月2日
Large scale analysis of gender bias and sexism in song lyrics
Arxiv
0+阅读 · 2023年5月2日
The 2-MAXSAT Problem Can Be Solved in Polynomial Time
The 2-MAXSAT Problem Can Be Solved in Polynomial Time
Arxiv
0+阅读 · 2023年5月2日
Unification of Lagrangian staggered-grid hydrodynamics and cell-centered hydrodynamics in one dimension
Arxiv
0+阅读 · 2023年5月2日
Complexity Framework For Forbidden Subgraphs
Complexity Framework For Forbidden Subgraphs
Arxiv
0+阅读 · 2023年5月1日
Set-Theoretic and Type-Theoretic Ordinals Coincide
Arxiv
0+阅读 · 2023年4月30日
Fantastic Breaks: A Dataset of Paired 3D Scans of Real-World Broken Objects and Their Complete Counterparts
Arxiv
0+阅读 · 2023年5月1日
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Arxiv
1+阅读 · 2023年4月20日
Large scale analysis of gender bias and sexism in song lyrics
Arxiv
0+阅读 · 2023年4月20日
Hybrid Feedback for Autonomous Navigation in Environments with Arbitrary Non-Convex Obstacles
Arxiv
0+阅读 · 2023年4月20日
Comparative Analysis of Deterministic and Nondeterministic Decision Trees for Decision Tables from Closed Classes
Arxiv
0+阅读 · 2023年4月20日
One Diamond to Rule Them All: Old and new topics about zigzag, levelsets and extended persistence
Arxiv
0+阅读 · 2023年4月21日
Prediction under hypothetical interventions: evaluation of performance using longitudinal observational data
Arxiv
0+阅读 · 2023年4月19日
The eBible Corpus: Data and Model Benchmarks for Bible Translation for Low-Resource Languages
Arxiv
0+阅读 · 2023年4月19日
参考链接
微信扫码咨询专知VIP会员
Top