会员服务
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
Arxiv
0+阅读 · 11月17日
Secure-Instruct: An Automated Pipeline for Synthesizing Instruction-Tuning Datasets Using LLMs for Secure Code Generation
Arxiv
0+阅读 · 11月22日
GraphInstruct: Empowering Large Language Models with Graph Understanding and Reasoning Capability
Arxiv
0+阅读 · 11月18日
Discovering State Equivalences in UCT Search Trees By Action Pruning
Arxiv
0+阅读 · 10月30日
MRUCT: Mixed Reality Assistance for Acupuncture Guided by Ultrasonic Computed Tomography
Arxiv
0+阅读 · 4月3日
MRUCT: Mixed Reality Assistance for Acupuncture Guided by Ultrasonic Computed Tomography
Arxiv
0+阅读 · 2月12日
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Arxiv
1+阅读 · 2024年12月18日
AIR-Bench: Benchmarking Large Audio-Language Models via Generative Comprehension
Arxiv
0+阅读 · 2024年7月26日
Lookahead Pathology in Monte-Carlo Tree Search
Arxiv
0+阅读 · 2024年6月7日
Power Mean Estimation in Stochastic Monte-Carlo Tree_Search
Arxiv
0+阅读 · 2024年6月4日
Super-Exponential Regret for UCT, AlphaGo and Variants
Arxiv
0+阅读 · 2024年5月17日
Super-Exponential Regret for UCT, AlphaGo and Variants
Arxiv
0+阅读 · 2024年5月7日
Monte Carlo Tree Search with Boltzmann Exploration
Arxiv
0+阅读 · 2024年4月11日
AIR-Bench: Benchmarking Large Audio-Language Models via Generative Comprehension
AIR-Bench: Benchmarking Large Audio-Language Models via Generative Comprehension
Arxiv
0+阅读 · 2024年2月12日
Proof Number Based Monte-Carlo Tree Search
Proof Number Based Monte-Carlo Tree Search
Arxiv
0+阅读 · 2023年12月21日
参考链接
微信扫码咨询专知VIP会员
Top