会员服务
On the complexity of covering points by disjoint segments and by guillotine cuts
Arxiv
0+阅读 · 2月19日
DistributedEstimator: Distributed Training of Quantum Neural Networks via Circuit Cutting
Arxiv
0+阅读 · 2月18日
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
Arxiv
0+阅读 · 2月18日
Splitting Sandwiches Unevenly via Unique Sink Orientations and Rainbow Arrangements
Arxiv
0+阅读 · 2月11日
Wider systems for linear logic with fixed points: proof theory and complexity
Arxiv
0+阅读 · 2月10日
Comparing Fabrication Workflows in CAD to Support Design Reasoning
Arxiv
0+阅读 · 2月14日
LVLM-COUNT: Enhancing the Counting Ability of Large Vision-Language Models
Arxiv
0+阅读 · 2月16日
Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
Arxiv
0+阅读 · 2月13日
Proof Complexity of Linear Logics
Arxiv
0+阅读 · 1月29日
RoDiF: Robust Direct Fine-Tuning of Diffusion Policies with Corrupted Human Feedback
Arxiv
0+阅读 · 1月31日
Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
Arxiv
0+阅读 · 2月1日
Cutting Quantum Circuits Beyond Qubits
Arxiv
0+阅读 · 1月29日
In the Search for Good Neck Cuts
Arxiv
0+阅读 · 1月13日
End-to-end example-based sim-to-real RL policy transfer based on neural stylisation with application to robotic cutting
Arxiv
0+阅读 · 1月28日
Periodic robust robotic rock chop via virtual model control
Arxiv
0+阅读 · 1月14日
参考链接
微信扫码咨询专知VIP会员
Top