会员服务
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
Arxiv
0+阅读 · 4月14日
Scalable Rail Planning and Replanning with Soft Deadlines
Arxiv
0+阅读 · 2023年6月10日
PowRL: A Reinforcement Learning Framework for Robust Management of Power Networks
Arxiv
0+阅读 · 2023年4月20日
A Framework for Adversarial Streaming via Differential Privacy and Difference Estimators
Arxiv
0+阅读 · 2022年9月26日
Theoretical bounds on data requirements for the ray-based classification
Arxiv
0+阅读 · 2022年2月26日
Theoretical bounds on data requirements for the ray-based classification
Arxiv
0+阅读 · 2021年11月30日
NeurIPS 2020 EfficientQA Competition: Systems, Analyses and Lessons Learned
Arxiv
0+阅读 · 2021年9月19日
Adversarial for Good? How the Adversarial ML Community's Values Impede Socially Beneficial Uses of Attacks
Arxiv
0+阅读 · 2021年9月15日
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands
Arxiv
1+阅读 · 2021年8月8日
Adversarial for Good? How the Adversarial ML Community's Values Impede Socially Beneficial Uses of Attacks
Arxiv
0+阅读 · 2021年7月11日
Action Set Based Policy Optimization for Safe Power Grid Management
Arxiv
0+阅读 · 2021年6月29日
Solving Black-Box Optimization Challenge via Learning Search Space Partition for Local Bayesian Optimization
Arxiv
0+阅读 · 2021年5月25日
Instructions and Guide for Diagnostic Questions: The NeurIPS 2020 Education Challenge
Arxiv
0+阅读 · 2021年4月12日
Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge
Arxiv
0+阅读 · 2021年4月8日
Measuring Sample Efficiency and Generalization in Reinforcement Learning Benchmarks: NeurIPS 2020 Procgen Benchmark
Arxiv
0+阅读 · 2021年3月29日
参考链接
微信扫码咨询专知VIP会员
Top