会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
Photonic Quantum Computing on Spin Memory Architecture with Tree-Encoded Fusion
Arxiv
0+阅读 · 6月20日
Scalable Physics-Inspired Transformers for Spin Glasses
Arxiv
0+阅读 · 6月23日
Scalable Physics-Inspired Transformers for Spin Glasses
Arxiv
0+阅读 · 6月22日
Spatially Stratified Distillation for Heterogeneous Radar Place Recognition
Arxiv
0+阅读 · 6月17日
SPIN: Decentralized Swarm Control via Tensorized Policy Coordination
Arxiv
0+阅读 · 5月25日
An iterative Ising decoder for quantum error correction codes
Arxiv
0+阅读 · 6月10日
Microcanonical simulated annealing: Massively parallel Monte Carlo simulations with sporadic random-number generation
Arxiv
0+阅读 · 5月6日
Sparse Scheduled Diffusion Guidance for Inverse Problems
Arxiv
0+阅读 · 5月27日
Extreme-Scale Atomistic Simulation of Real-Temperature Magnetic Skyrmion Dynamics by Coupled Spin-Lattice Modeling
Arxiv
0+阅读 · 6月12日
Computing Short SAT Implicants via Ising/QUBO Encodings
Arxiv
0+阅读 · 6月9日
SpinGPT: A Large-Language-Model Approach to Playing Poker Correctly
Arxiv
0+阅读 · 2月23日
Triplets Better Than Pairs: Towards Stable and Effective Self-Play Fine-Tuning for LLMs
Arxiv
0+阅读 · 1月13日
Efficient Multi-Model Orchestration for Self-Hosted Large Language Models
Arxiv
0+阅读 · 2025年12月26日
Practical hybrid decoding scheme for parity-encoded spin systems
Practical hybrid decoding scheme for parity-encoded spin systems
Arxiv
0+阅读 · 2025年10月31日
Practical hybrid decoding scheme for parity-encoded spin systems
Arxiv
0+阅读 · 2025年10月30日
参考链接
微信扫码咨询专知VIP会员
Top