Paper

  • Provably Safe Neural Network Controllers via Differential Dynamic Logic

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Provably Safe Neural Network Controllers via Differential Dynamic Logic

    Stefan Mitsch, André Platzer, Samuel Teuber p1586-1624 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • Provably Safe Reinforcement Learning with Step-wise Violation Constraints

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Provably Safe Reinforcement Learning with Step-wise Violation Constraints

    Yihan Du, Longbo Huang, Nuoya Xiong p54341-54353 from Advances in Neural Information Processing Systems 36
    Our Price: $0.00
  • Provably Sample-Efficient RL with Side Information About Latent Dynamics

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Provably Sample-Efficient RL with Side Information About Latent Dynamics

    Miro Dudik, Yao Liu, Dipendra Misra, Robert Schapire p33482-33493 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00
  • Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning

    Dake Bu, Andi Han, Wei Huang, Atsushi Nitanda, Taiji Suzuki, Hau-San Wong, Qingfu Zhang p63342-63405 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • Provably Tuning the ElasticNet Across Instances

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Provably Tuning the ElasticNet Across Instances

    Maria-Florina Balcan, Mikhail Khodak, Dravyansh Sharma, Ameet Talwalkar p27769-27782 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00
  • Proving Olympiad Algebraic Inequalities without Human Demonstrations

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Proving Olympiad Algebraic Inequalities without Human Demonstrations

    Mengzhou Sun, Wei Wang, Chenrui Wei p82811-82822 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • Proving Theorems Recursively

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Proving Theorems Recursively

    Yinya Huang, Wenda Li, Zhenguo Li, Xiaodan Liang, Zhengying Liu, Jianqiao Lu, Jing Tang, Haiming Wang, Huajian Xin, Zhicheng Yang, Jian Yin p86720-86748 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • ProvNeRF: Modeling per Point Provenance in NeRFs as a Stochastic Field

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    ProvNeRF: Modeling per Point Provenance in NeRFs as a Stochastic Field

    Leonida Guibas, Ke Li, Kiyohiro Nakayama, Mikaela Uy, Yang You p99145-99160 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • Proximal Causal Inference With Text Data

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Proximal Causal Inference With Text Data

    Rohit Bhattacharya, Jacob Chen, Katherine Keith p135983-136017 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • Proximal Learning with Opponent-Learning Awareness

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Proximal Learning with Opponent-Learning Awareness

    Jakob Foerster, Roger Grosse, Chris Lu, Stephen Zhao p26324-26336 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00
  • Proximal Point Imitation Learning

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Proximal Point Imitation Learning

    Volkan Cevher, Angeliki Kamoutsi, Igor Krawczuk, Gergely Neu, Luca Viano p24309-24326 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00
  • Proximity-Informed Calibration for Deep Neural Networks

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Proximity-Informed Calibration for Deep Neural Networks

    Ailin Deng, Bryan Hooi, Pang Wei Koh, Shen Li, Jiaying Wu, Miao Xiong, Jianqing Xu p68511-68538 from Advances in Neural Information Processing Systems 36
    Our Price: $0.00