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

    Samuel Teuber, Stefan Mitsch, André Platzer 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

    Nuoya Xiong, Yihan Du, Longbo Huang 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

    Yao Liu, Dipendra Misra, Miro Dudik, 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, Wei Huang, Andi Han, Atsushi Nitanda, Taiji Suzuki, Qingfu Zhang, Hau-San Wong 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, Misha 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

    Chenrui Wei, Mengzhou Sun, Wei Wang 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

    Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang 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

    Kiyohiro Nakayama, Mikaela Uy, Yang You, Ke Li, Leonida Guibas 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

    Jacob Chen, Rohit Bhattacharya, 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

    Stephen Zhao, Chris Lu, Roger Grosse, Jakob Foerster 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

    Luca Viano, Angeliki Kamoutsi, Gergely Neu, Igor Krawczuk, Volkan Cevher 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

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