会员服务
Hypersequent Calculi Have Ackermannian Complexity
Arxiv
0+阅读 · 2月22日
Wider systems for linear logic with fixed points: proof theory and complexity
Arxiv
0+阅读 · 2月23日
OrderedCuts: A new approach for computing Gomory-Hu tree
Arxiv
0+阅读 · 2月24日
On the Existence of Fair Allocations for Goods and Chores under Dissimilar Preferences
Arxiv
0+阅读 · 3月6日
Comparative study of different quadrature methods for cut elements
Arxiv
0+阅读 · 2月20日
SurgFormer: Scalable Learning of Organ Deformation with Resection Support and Real-Time Inference
Arxiv
0+阅读 · 3月6日
On the complexity of covering points by guillotine cuts
Arxiv
0+阅读 · 2月24日
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日
参考链接
微信扫码咨询专知VIP会员
Top