Marco Dos Santos

Marco Dos Santos Email and Phone Number

Student Researcher @ Google DeepMind
Cambridge, GB
Marco Dos Santos's Location
Cambridge, England, United Kingdom, United Kingdom
About Marco Dos Santos

I am a graduate student passionate about mathematics and AI, with a particular interest in automated theorem proving and LLM reasoning.More information on my research and publications is available on my personal web page: https://marco-dossantos.github.io/

Marco Dos Santos's Current Company Details
Google DeepMind

Google Deepmind

View
Student Researcher
Cambridge, GB
Website:
deepmind.google
Employees:
6578
Marco Dos Santos Work Experience Details
  • Google Deepmind
    Student Researcher
    Google Deepmind
    Cambridge, Gb
    View
  • University Of Cambridge
    Research Intern
    University Of Cambridge Apr 2023 - Aug 2023
    Cambridge, United Kingdom
    Research internship on automated theorem proving with the Isabelle proof assistant, using Monte Carlo tree search combined with the large language models LLaMA and GPT-2.Internship supervisor: Wenda Li, Research Associate at the University of Cambridge.
    View
  • Openai
    Research Intern
    Openai Apr 2022 - Jun 2022
    Research internship on automated theorem proving and auto-formalisation with the Lean proof assistant, using GPT-3.5 trained with expert iteration on synthetic data.Internship supervisor: Stanislas Polu, Research Engineer at OpenAI.
    View

Marco Dos Santos Education Details

Frequently Asked Questions about Marco Dos Santos

What company does Marco Dos Santos work for?

Marco Dos Santos works for Google Deepmind

What is Marco Dos Santos's role at the current company?

Marco Dos Santos's current role is Student Researcher.

What schools did Marco Dos Santos attend?

Marco Dos Santos attended University Of Cambridge, Paris Cité University, Sorbonne University, Télécom Paris, Sorbonne University, Sorbonne University.

Not the Marco Dos Santos you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.