会员服务
Tao's Equational Proof Challenge Accepted (Technical Report)
Arxiv
0+阅读 · 5月20日
A Heuristic Approach to Localize CSS Properties for Responsive Layout Failures
Arxiv
0+阅读 · 5月25日
LLMs Improving LLMs: Agentic Discovery for Test-Time Scaling
Arxiv
0+阅读 · 5月8日
Sticky and Magnetic: Evaluating Error Correction and User Adaptation in Gaze and Pinch Interaction
Arxiv
0+阅读 · 3月27日
Intelligent Cloud Orchestration: A Hybrid Predictive and Heuristic Framework for Cost Optimization
Arxiv
0+阅读 · 4月2日
The Traveling Thief Problem with Time Windows: Benchmarks and Heuristics
Arxiv
0+阅读 · 4月8日
RL unknotter, hard unknots and unknotting number
Arxiv
0+阅读 · 4月29日
Asymptotic enumeration of admixed arrays and a different independence heuristic
Arxiv
0+阅读 · 4月10日
Greedy Approaches for Packing While Travelling with Deterministic and Stochastic Constraints
Arxiv
0+阅读 · 4月15日
RL unknotter, hard unknots and unknotting number
Arxiv
0+阅读 · 3月9日
Workload Buoyancy: Keeping Apps Afloat by Identifying Shared Resource Bottlenecks
Arxiv
0+阅读 · 2月26日
CLAA: Cross-Layer Attention Aggregation for Accelerating LLM Prefill
Arxiv
0+阅读 · 2月17日
Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
Arxiv
0+阅读 · 2月18日
This human study did not involve human subjects: Validating LLM simulations as behavioral evidence
This human study did not involve human subjects: Validating LLM simulations as behavioral evidence
Arxiv
0+阅读 · 2月17日
An effective Genetic Programming Hyper-Heuristic for Uncertain Agile Satellite Scheduling
Arxiv
0+阅读 · 2月15日
参考链接
微信扫码咨询专知VIP会员
Top