Andrea Asperti

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Deep Learning for Sea Surface Temperature Reconstruction under Cloud Occlusion	2024	Andrea Asperti Ali Aydoğdu Emanuela Clementi A. Greco Lorenzo Mentaschi Fabio Merizzi Pietro Miraglio Paolo Oddo Nadia Pinardi A. Testa
+ PDF Chat	A Notion of Complexity for Theory of Mind via Discrete World Models	2024	X. Angelo Huang Emanuele La Malfa Samuele Marro Andrea Asperti Anthony G. Cohn Michael Wooldridge
+ PDF Chat	Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models	2024	Fabio Merizzi Andrea Asperti Stefano Colamonaco
+	Image Embedding for Denoising Generative Models	2023	Andrea Asperti Davide Evangelista Samuele Marro Fabio Merizzi
+ PDF Chat	MicroRacer: A Didactic Environment for Deep Reinforcement Learning	2023	Andrea Asperti Marco Del Brutto
+	Head Rotation in Denoising Diffusion Models	2023	Andrea Asperti Gabriele Colasuonno Antonio Guerra
+	Precipitation nowcasting with generative diffusion models	2023	Andrea Asperti Fabio Merizzi Alberto Paparella Giorgio Pedrazzi Matteo Angelinelli Stefano Colamonaco
+ PDF Chat	Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations	2022	Andrea Asperti Davide Evangelista Moreno Marzolla
+	MicroRacer: a didactic environment for Deep Reinforcement Learning	2022	Andrea Asperti Marco Del Brutto
+ PDF Chat	Enhancing Variational Generation Through Self-Decomposition	2022	Andrea Asperti Laura Bugo Daniele Filippini
+	Comparing the latent space of generative models	2022	Andrea Asperti Valerio Tonelli
+ PDF Chat	Syllabification of the Divine Comedy	2021	Andrea Asperti Stefano Dal Bianco
+	A survey on Variational Autoencoders from a GreenAI perspective	2021	Andrea Asperti Daniele Evangelista Elena Loli Piccolomini
+	Dissecting FLOPs along input dimensions for GreenAI cost estimations	2021	Andrea Asperti Davide Evangelista Moreno Marzolla
+	Syllabification of the Divine Comedy	2020	Andrea Asperti Stefano Dal Bianco
+	Variance Loss in Variational Autoencoders	2020	Andrea Asperti
+	Balancing reconstruction error and Kullback-Leibler divergence in Variational Autoencoders	2020	Andrea Asperti Matteo Trentin
+ PDF Chat	Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders	2020	Andrea Asperti Matteo Trentin
+ PDF Chat	Variance Loss in Variational Autoencoders	2020	Andrea Asperti
+	Syllabification of the Divine Comedy	2020	Andrea Asperti Stefano Dal Bianco
+	Variance Loss in Variational Autoencoders	2020	Andrea Asperti
+	Balancing reconstruction error and Kullback-Leibler divergence in Variational Autoencoders	2020	Andrea Asperti Matteo Trentin
+ PDF Chat	Crawling in Rogue’s Dungeons with (Partitioned) A3C	2019	Andrea Asperti Daniele Cortesi Francesco Sovrano
+	Sparsity in Variational Autoencoders	2018	Andrea Asperti
+	Sparsity in Variational Autoencoders	2018	Andrea Asperti
+	The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images	2018	Andrea Asperti Claudio Mastronardo
+	The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images	2017	Andrea Asperti Claudio Mastronardo
+	Automatic verification and interactive theorem proving	2017	Andrea Asperti
+	About the efficient reduction of lambda terms	2017	Andrea Asperti
+	The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images	2017	Andrea Asperti Claudio Mastronardo
+	Speedup phenomena in subrecursive settings	2013	Andrea Asperti
+ PDF Chat	A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions	2012	Andrea Asperti Wilmer Ricciotti Claudio Sacerdoti Coen E. ̃Tassi
+ PDF Chat	A proof of Bertrand's postulate	2012	Andrea Asperti Wilmer Ricciotti
+ PDF Chat	A Web Interface for Matita	2012	Andrea Asperti Wilmer Ricciotti
+ PDF Chat	Superposition as a logical glue	2011	Andrea Asperti E. ̃Tassi
+ PDF Chat	Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita	2011	Andrea Asperti Maria Emilia Maietti Claudio Sacerdoti Coen Giovanni Sambin Silvio Valentini
+	Regular Expressions, au point	2010	Andrea Asperti Claudio Sacerdoti Coen E. ̃Tassi
+	Smart matching	2010	Andrea Asperti E. ̃Tassi
+ PDF Chat	About the Formalization of Some Results by Chebyshev in Number Theory	2009	Andrea Asperti Wilmer Ricciotti
+	A Page in Number Theory	2008	Andrea Asperti Cristian Armentano
+	Mathematical Knowledge Management	2004	Andrea Asperti Grzegorz Bancerek Andrzej Trybulec
+	Mathematical Knowledge Management	2003	Andrea Asperti Bruno Buchberger James H. Davenport
+	Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)	2000	Andrea Asperti Luca Roversi
+	Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)	2000	Andrea Asperti Luca Roversi
+	Categorical models of polymorphism	1992	Andrea Asperti Simone Martini

Common Coauthors

Coauthor	Papers Together
Fabio Merizzi	4
Wilmer Ricciotti	4
E. ̃Tassi	4
Davide Evangelista	3
Claudio Sacerdoti Coen	3
Stefano Dal Bianco	3
Matteo Trentin	3
Claudio Mastronardo	3
Moreno Marzolla	2
Stefano Colamonaco	2
Marco Del Brutto	2
Luca Roversi	2
Samuele Marro	2
Pietro Miraglio	1
Cristian Armentano	1
James H. Davenport	1
Valerio Tonelli	1
A. Greco	1
Ali Aydoğdu	1
Elena Loli Piccolomini	1
Maria Emilia Maietti	1
A. Testa	1
Francesco Sovrano	1
Grzegorz Bancerek	1
Michael Wooldridge	1
Nadia Pinardi	1
Emanuele La Malfa	1
Giorgio Pedrazzi	1
Daniele Cortesi	1
Laura Bugo	1
Simone Martini	1
Gabriele Colasuonno	1
Antonio Guerra	1
X. Angelo Huang	1
Alberto Paparella	1
Andrzej Trybulec	1
Giovanni Sambin	1
Bruno Buchberger	1
Silvio Valentini	1
Daniele Evangelista	1
Lorenzo Mentaschi	1
Paolo Oddo	1
Anthony G. Cohn	1
Matteo Angelinelli	1
Daniele Filippini	1
Emanuela Clementi	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Generating Sentences from a Continuous Space	2016	Samuel R. Bowman Luke Vilnis Oriol Vinyals Andrew M. Dai Rafał Józefowicz Samy Bengio	6
+	Diagnosing and Enhancing VAE Models	2019	Bin Dai David Wipf	6
+	Tutorial on Variational Autoencoders	2016	Carl Doersch	6
+	Stochastic Backpropagation and Approximate Inference in Deep Generative Models	2014	Danilo Jimenez Rezende Shakir Mohamed Daan Wierstra	5
+	Importance Weighted Autoencoders	2015	Yuri Burda Roger Grosse Ruslan Salakhutdinov	5
+	Tackling Over-pruning in Variational Autoencoders	2017	Serena Yeung Anitha Kannan Yann Dauphin Li Fei-Fei	5
+	Improving Variational Inference with Inverse Autoregressive Flow	2016	Diederik P. Kingma Tim Salimans Rafał Józefowicz Xi Chen Ilya Sutskever Max Welling	4
+	Distribution Matching in Variational Inference.	2018	Mihaela Rosca Balaji Lakshminarayanan Shakir Mohamed	4
+	From Variational to Deterministic Autoencoders	2019	Partha Ghosh Mehdi S. M. Sajjadi Antonio Vergari Michael J. Black Bernhard Schölkopf	4
+	Sparsity in Variational Autoencoders	2018	Andrea Asperti	4
+	Overpruning in Variational Bayesian Neural Networks	2018	Brian L. Trippe Richard E. Turner	4
+ PDF Chat	Rethinking the Inception Architecture for Computer Vision	2016	Christian Szegedy Vincent Vanhoucke Sergey Ioffe Jon Shlens Zbigniew Wojna	3
+ PDF Chat	Introduction to Analytic Number Theory	1976	Tom M. Apostol	3
+ PDF Chat	Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders	2020	Andrea Asperti Matteo Trentin	3
+	A Page in Number Theory	2008	Andrea Asperti Cristian Armentano	3
+	Understanding disentangling in $\beta$-VAE	2018	Christopher Burgess Irina Higgins Arka Pal Löıc Matthey Nick Watters Guillaume Desjardins Alexander Lerchner	3
+	Importance Weighted Autoencoders	2015	Yuri Burda Roger Grosse Ruslan Salakhutdinov	3
+	Resampled Priors for Variational Autoencoders	2018	Matthias Bauer Andriy Mnih	3
+ PDF Chat	Generative Adversarial Networks	2022	Ian J. Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron Courville Yoshua Bengio	2
+ PDF Chat	About the Formalization of Some Results by Chebyshev in Number Theory	2009	Andrea Asperti Wilmer Ricciotti	2
+ PDF Chat	Variance Loss in Variational Autoencoders	2020	Andrea Asperti	2
+ PDF Chat	An introduction to the theory of numbers	1960	G. H. Hardy	2
+ PDF Chat	Non-uniform (hyper/multi)coherence spaces	2010	Pierre Boudes	2
+	An Introduction to the Theory of Numbers. By G. H. Hardy and E. M. Wright. 2nd edition. Pp. xvi, 407 25s. 1945. (Oxford)	1946	T. A. A. B.	2
+	Stochastic Backpropagation and Approximate Inference in Deep Generative Models	2014	Danilo Jimenez Rezende Shakir Mohamed Daan Wierstra	2
+	The Prime Numbers and Their Distribution	2000	Gérald Tenenbaum Michel Mendès France	2
+ PDF Chat	AstroVaDEr: astronomical variational deep embedder for unsupervised morphological classification of galaxies and synthetic image generation	2020	Ashley Spindler J. E. Geach Michael J. Smith	2
+	Constructing Fast Network through Deconstruction of Convolution	2018	Yunho Jeon Junmo Kim	2
+ PDF Chat	Neural Poetry: Learning to Generate Poems Using Syllables	2019	Andrea Zugarini Stefano Melacci Marco Maggini	2
+	The Prime Number Theorem	2003	G. J. O. Jameson	2
+ PDF Chat	A formally verified proof of the prime number theorem	2007	Jeremy Avigad K. Donnelly David Gray Paul Raff	2
+	Sparsity in Variational Autoencoders	2018	Andrea Asperti	2
+ PDF Chat	Deep Residual Learning for Image Recognition	2016	Kaiming He Xiangyu Zhang Shaoqing Ren Jian Sun	1
+ PDF Chat	Constructive version of Boolean algebra	2012	Francesco Ciraulo Maria Emilia Maietti Paola Toto	1
+	Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs)	2015	Djork-Arné Clevert Thomas Unterthiner Sepp Hochreiter	1
+	Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory	2000	Gilles Dowek	1
+	Simple Word Problems in Universal Algebras	1983	Donald E. Knuth PETER B. BENDIX	1
+ PDF Chat	General Recursion and Formal Topology	2010	Claudio Sacerdoti Coen Silvio Valentini	1
+	The Effectiveness of Data Augmentation in Image Classification using Deep Learning	2017	Luis Perez Jason Wang	1
+	Searching for Activation Functions	2017	Prajit Ramachandran Barret Zoph Quoc V. Le	1
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	1
+	Commutative Algebra in the Mizar System	2001	Piotr Rudnicki Christoph Schwarzweller Andrzej Trybulec	1
+ PDF Chat	Towards a theory of type structure	1974	John Reynolds	1
+	Generalization Tower Network: A Novel Deep Neural Network Architecture for Multi-Task Learning	2017	Yuhang Song Main Xu Songyang Zhang Liangyu Huo	1
+ PDF Chat	Large Formal Wikis: Issues and Solutions	2011	Jesse Alama Kasper Brink Lionel Mamane Josef Urban	1
+	Scikit-learn: Machine Learning in Python	2012	Fabián Pedregosa Gaël Varoquaux Alexandre Gramfort Vincent Michel Bertrand Thirion Olivier Grisel Mathieu Blondel Peter Prettenhofer Ron J. Weiss Vincent Dubourg	1
+ PDF Chat	FiLM: Visual Reasoning with a General Conditioning Layer	2018	Ethan Perez Florian Strub Harm de Vries Vincent Dumoulin Aaron Courville	1
+	Wasserstein Auto-Encoders	2017	Ilya Tolstikhin Olivier Bousquet Sylvain Gelly Bernhard Schoelkopf	1
+ PDF Chat	Deep Reinforcement Learning with Double Q-Learning	2016	Hado van Hasselt Arthur Guez David Silver	1
+ PDF Chat	A GEMM interface and implementation on NVIDIA GPUs for multiple small matrices	2014	Chetan Jhurani Paul Mullowney	1