Amazon’s four papers at the International Conference on Very Large Databases (VLDB) deal with time series forecasting, the security of Spark jobs, more-realistic benchmarks for database applications, and the innovations that enable Amazon Aurora Serverless to balance resource elasticity with high usage rates. ➡️ A flexible forecasting stack ➡️ Membrane – Safe and performant data access controls in Apache Spark in the presence of imperative code ➡️ Why TPC is not enough: An analysis of the Amazon Redshift fleet ➡️ Resource management in Aurora Serverless Read the full papers here: https://lnkd.in/epTGbuCW #VLDB2024 #CloudComputing #MachineLearning
Amazon Science
Research Services
Seattle, Washington 367,284 followers
The latest news and research from Amazon’s science community. #AmazonScience
About us
Amazon Science gives you insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Our scientists continue to publish, teach, and engage with the academic community, in addition to utilizing our working backwards method to enrich the way we live and work. Follow us on LinkedIn and visit our website to get a deep dive on innovation at Amazon, and explore the many ways you can engage with our scientific community. #AmazonScience
- Website
-
https://www.amazon.science
External link for Amazon Science
- Industry
- Research Services
- Company size
- 10,001+ employees
- Headquarters
- Seattle, Washington
- Founded
- 2020
- Specialties
- Artificial Intelligence, Machine Learning, Computer Vision, Cloud, Economics, Sustainability, AI, ML, Conversational AI, Natural Language Processing, NLP, Robotics, Security, Privacy, Information, Knowledge Management, Operations, Scientific Research, Search, Amazon, and Alexa
Updates
-
Amazon Science reposted this
I am delighted to announce that Amazon is joining the MIT Climate & Sustainability Consortium (MCSC). Amazon's ambitious #climate and #sustainability targets have made them a leader in value chain decarbonization efforts. We look forward to connecting them with other MCSC member companies and the MIT community to tackle common climate and sustainability challenges. Kara H. Hurst, Amazon’s Chief Sustainability Officer, and Kommy Weldemariam, Amazon’s Sustainability Chief Scientist, will be joining the MCSC Industry Advisory Board to help set the strategic direction of the MCSC. We are glad to have them join our team! https://lnkd.in/ewd5kGsG
-
#ICYMI: The Amazon Trusted AI Challenge application deadline is September 1. The global university competition aims to drive secure innovation in generative AI technology, where $700,000 in cash prizes will be allocated across four top-performing teams. Learn more and apply: https://lnkd.in/d9gX8zDq #GenAI #LLMs #ResponsibleAI
Introducing the Amazon Trusted AI Challenge
amazon.science
-
We're at KDD! Find the Amazon team at booth 19 to hear from our scientists and learn about our career opportunities, and visit our website to view accepted publications and workshops: https://lnkd.in/eY2ZGGkv #KDD2024 #AmazonScience
Amazon Science at KDD 2024
amazon.science
-
This summer, Amazon launched its Economist Apprenticeship Program, which offers individuals with undergraduate or masters degrees an opportunity to work alongside economists in tech. The initial cohort of 16 members across ten teams attended a three-day bootcamp in Seattle, and — over the course of the two-year apprenticeship — will receive mentorship from Amazon Scholars and be equipped with the skills needed to be competitive PhD applicants by fall 2025. #Economics #HigherEd
-
This year's fellowship cohort, selected by the Amazon and UCLA's Science Hub, will receive funding to pursue their independent research projects and be invited to apply to intern at Amazon. Meet the 14 fellows, and learn more about their research and UCLA faculty advisors: amzn.to/3Az9r4s #AI #LLMs UCLA Henry Samueli School of Engineering and Applied Science
2024 Amazon Fellows | UCLA Science Hub for Humanity and AI
https://www.sciencehub.ucla.edu
-
Congratulations to Amazon researchers and co-authors at ACL 2024 on receiving an Outstanding Paper Award for "MultiPICo", a multilingual perspectivist corpus of ironic short conversations in different languages and linguistic varieties, in collaboration with l'Università degli Studi di Torino, and an Area Chair Award for "CaMML", a new methodology that uses a context-aware multimodal learner designed for the fine-tuning of large multimodal models. 🏆 MultiPICo: amzn.to/4dLtBGG 🏆 CaMML: amzn.to/3Aww35I #ACL2024NLP #LLMs #ComputerVision
-
Lean is an open-source functional programming language and interactive theorem prover whose development Amazon senior applied scientist Leonardo de Moura led. In his CAV 2024 keynote, de Moura describes the many capabilities and uses of Lean, including formal mathematics, software and hardware verification, AI for math and code synthesis, and math and computer science education. #AutomatedReasoning
How the Lean language brings math to coding and coding to math
amazon.science
-
At ACL 2024, taking place this week, Amazon researchers will present their work, covering a wide range of LLM-related topics. Their 30+ papers explore topics from applications like code synthesis and automatic speech recognition to issues concerning LLM training and deployment, including continual pretraining and hallucination mitigation. #ACL2024 #ConversationalAI #LLMs
A quick guide to Amazon's papers at ACL 2024
amazon.science
-
By optimizing RSA code for Amazon’s Graviton2 processor, Amazon’s Automated Reasoning team improved throughput by 94% for 4,096-bit keys, while using the HOL Light interactive theorem prover to formally verify the optimizations. #AutomatedReasoning
Formal verification makes RSA faster -- and faster to deploy
amazon.science