Artur B. Carneiro
AI researcher at Stanford. Working on efficient reasoning, mechanistic interpretability, and making large models smaller and faster.
Experience
Research in Mykel Kochenderfer's lab at the Stanford Intelligent Systems Laboratory (SISL).
Currently TA for AA 228/CS 238: Decision Making Under Uncertainty. Previously Senior Section Leader for CS 106A, CS 106AX, and CS 106B.
Improved the offline simulation pipeline for machine learning algorithms powering Instagram's Feed and Reels recommender systems, working on how models are evaluated at scale in production environments.
Built and shipped UI components for the Facebook Design System, impacting 100M+ Marketplace users. Collaborated with one of Meta's leading accessibility experts to develop a novel solution to a longstanding accessibility problem, establishing a new standard across the Facebook app. Went deep enough into the stack to uncover bugs in underlying frameworks — all changes are now in production for all Facebook users.
Built a natural-language interface for querying data, manuals, and datasheets across 2,000 industrial machines using Retrieval-Augmented Generation and LLMs. Engineered an API to orchestrate a conversational experience within a messaging system, allowing users to interact from their mobile devices.
Co-founded a B2B edtech startup focused on reskilling and upskilling the workforce. Delivered the flagship product sold to clients like AB InBev and helped close two funding rounds, the latter valued at $12M. Recruited and led the engineering and product founding team, and built the architecture to serve a web app, browser extension, and enterprise APIs.
Worked on a platform helping primary school kids learn new languages. Built the front-end of the learning management system, designed and implemented digital educational games, and deployed the company's landing page.
Joined an education NGO teaching entrepreneurship to low-income youth in Brazil. Conducted user discovery for the Empower Challenge product — interviewing users, creating prototypes, and iterating through usability tests. Led a volunteer team of 12 developers to deliver the platform in three months. The product launched at an event with 90,000+ students, attracting thousands of users in its first hours.
Designed the user interface of a legal tech SaaS product sold to over 70 companies including Accenture, Renault, and Sony. Conducted user research and usability tests, led ideation sessions, and delivered a design system along with documentation of the company's design process.
Volunteering
Founded SuperMentor to democratize information about applying to U.S. colleges for low-income students in Brazil. Assembled the founding team and implemented the management and technology systems. The platform reached over 100,000 users.
Education
Projects & Papers


