Razvan C. Bunescu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Axel de la Macorra
3 publications
Graziano Rossi
3 publications
Ashley J. Ross
3 publications
Hee-Jong Seo
3 publications
Kyle Dawson
3 publications
Jiamin Hou
2 publications
Reza Katebi
2 publications
Mehdi Rezaie
2 publications
Eva-Maria Mueller
2 publications
Julian Bautista
2 publications
Héctor Gil-Marín
1 publication

research

∙ 01/05/2023

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

The ever-growing complexity of mathematical proofs makes their manual ve...

0 Garett Cunningham, et al. ∙

research

∙ 06/25/2021

Primordial non-Gaussianity from the Completed SDSS-IV extended Baryon Oscillation Spectroscopic Survey I: Catalogue Preparation and Systematic Mitigation

We investigate the large-scale clustering of the final spectroscopic sam...

0 Mehdi Rezaie, et al. ∙