Neural Abstractions

Alessandro Abate; Alec Edwards; Mirco Giacobbe

Neural Abstractions

Alessandro Abate, Alec Edwards, Mirco Giacobbe

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Advances in Neural Information Processing Systems 35 (NeurIPS 2022)
Editors	S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave , K. Cho, A. Oh
Publisher	NeurIPS
ISBN (Print)	9781713871088
Publication status	Published - 9 Dec 2022
Event	36th Conference on Neural Information Processing Systems (NeurIPS 2022) - New Orleans, United States Duration: 28 Nov 2022 → 9 Dec 2022

Publication series

Name	Advances in neural information processing systems
Volume	35
ISSN (Print)	1049-5258

Conference

Conference	36th Conference on Neural Information Processing Systems (NeurIPS 2022)
Abbreviated title	NeurIPS 2022
Country/Territory	United States
City	New Orleans
Period	28/11/22 → 9/12/22

Access to Document

https://proceedings.neurips.cc/paper_files/paper/2022/hash/a922b7121007768f78f770c404415375-Abstract-Conference.html

Cite this

Abate, A., Edwards, A., & Giacobbe, M. (2022). Neural Abstractions. In S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave , K. Cho, & A. Oh (Eds.), Advances in Neural Information Processing Systems 35 (NeurIPS 2022) (Advances in neural information processing systems; Vol. 35). NeurIPS. https://proceedings.neurips.cc/paper_files/paper/2022/hash/a922b7121007768f78f770c404415375-Abstract-Conference.html

@inproceedings{5f945951664b49ec87d714b3b2e07a30,

title = "Neural Abstractions",

author = "Alessandro Abate and Alec Edwards and Mirco Giacobbe",

year = "2022",

month = dec,

day = "9",

language = "English",

isbn = "9781713871088",

series = "Advances in neural information processing systems",

publisher = "NeurIPS",

editor = "S. Koyejo and S. Mohamed and A. Agarwal and {Belgrave }, D. and K. Cho and A. Oh",

booktitle = "Advances in Neural Information Processing Systems 35 (NeurIPS 2022)",

note = "36th Conference on Neural Information Processing Systems (NeurIPS 2022), NeurIPS 2022 ; Conference date: 28-11-2022 Through 09-12-2022",

}

Abate, A, Edwards, A & Giacobbe, M 2022, Neural Abstractions. in S Koyejo, S Mohamed, A Agarwal, D Belgrave , K Cho & A Oh (eds), Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Advances in neural information processing systems, vol. 35, NeurIPS, 36th Conference on Neural Information Processing Systems (NeurIPS 2022), New Orleans, Louisiana, United States, 28/11/22. <https://proceedings.neurips.cc/paper_files/paper/2022/hash/a922b7121007768f78f770c404415375-Abstract-Conference.html>

Neural Abstractions. / Abate, Alessandro; Edwards, Alec; Giacobbe, Mirco.
Advances in Neural Information Processing Systems 35 (NeurIPS 2022). ed. / S. Koyejo; S. Mohamed; A. Agarwal; D. Belgrave ; K. Cho; A. Oh. NeurIPS, 2022. (Advances in neural information processing systems; Vol. 35).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Neural Abstractions

AU - Abate, Alessandro

AU - Edwards, Alec

AU - Giacobbe, Mirco

PY - 2022/12/9

Y1 - 2022/12/9

UR - https://proceedings.neurips.cc/paper_files/paper/2022/file/a922b7121007768f78f770c404415375-Paper-Conference.pdf

M3 - Conference contribution

SN - 9781713871088

T3 - Advances in neural information processing systems

BT - Advances in Neural Information Processing Systems 35 (NeurIPS 2022)

A2 - Koyejo, S.

A2 - Mohamed, S.

A2 - Agarwal, A.

A2 - Belgrave , D.

A2 - Cho, K.

A2 - Oh, A.

PB - NeurIPS

T2 - 36th Conference on Neural Information Processing Systems (NeurIPS 2022)

Y2 - 28 November 2022 through 9 December 2022

ER -