会员服务
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
Arxiv
0+阅读 · 2023年5月2日
A convection-diffusion problem with a large shift on Duran meshes
Arxiv
0+阅读 · 2023年4月21日
ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness
Arxiv
0+阅读 · 2023年4月21日
A Protocol for Cast-as-Intended Verifiability with a Second Device
Arxiv
0+阅读 · 2023年4月19日
What Petri Net Obliges Us to Say: Comparing Approaches for Behavior Composition
Arxiv
0+阅读 · 2023年4月19日
Connectivity in the presence of an opponent
Arxiv
0+阅读 · 2023年4月18日
GitHub Copilot AI pair programmer: Asset or Liability?
Arxiv
0+阅读 · 2023年4月14日
Automatic verification of transparency protocols (extended version)
Arxiv
0+阅读 · 2023年4月16日
WebQAmGaze: A Multilingual Webcam Eye-Tracking-While-Reading Dataset
Arxiv
0+阅读 · 2023年4月14日
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
Arxiv
0+阅读 · 2023年4月14日
Improving Diffusion Models for Scene Text Editing with Dual Encoders
Arxiv
0+阅读 · 2023年4月12日
Language Models Can Teach Themselves to Program Better
Language Models Can Teach Themselves to Program Better
Arxiv
0+阅读 · 2023年4月12日
Prophet Attention: Predicting Attention with Future Attention for Image Captioning
Arxiv
0+阅读 · 2023年4月11日
Well-formed Properties of Heterogeneous Quorum Systems
Arxiv
0+阅读 · 2023年4月11日
Divide and Conquer Divide-and-Conquer -- Inductive Synthesis for D&C-Like Algorithmic Paradigms
Arxiv
0+阅读 · 2023年4月8日
参考链接
微信扫码咨询专知VIP会员
Top