Details
- DOI: https://doi.org/10.52202/075280-3211
- Author(s): Marc Fischer, Yuhao Mao, Mark Müller, Martin Vechev
- Pages: 73422-73440 (19 pages)
- Format: PDF Paper Download
- Conference: Advances in Neural Information Processing Systems 36
- Date/Location: Held 10-16 December 2023, New Orleans, Louisiana, USA.
- Series: Advances in Neural Information Processing Systems 36
- Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)
Description
Members/Attendees
Tab 4
- DOI: https://doi.org/10.52202/075280-3211
- Author(s): Marc Fischer, Yuhao Mao, Mark Müller, Martin Vechev
- Pages: 73422-73440 (19 pages)
- Format: PDF Paper Download
- Conference: Advances in Neural Information Processing Systems 36
- Date/Location: Held 10-16 December 2023, New Orleans, Louisiana, USA.
- Series: Advances in Neural Information Processing Systems 36
- Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)