With the support of an Amazon Research Award, a team from Imperial College London and Amazon Web Services (AWS) received an Industry Track Best Paper Award at this year’s International Conference on Software Testing, Verification and Validation (ICST 2024). Their paper presents two new tools, fuzz-d and DafnyFuzz, which improves Dafny compiler testing. The researchers found 24 critical bugs, including 9 soundness issues, surpassing XDsmith, and their testing campaign led to improvements in the Dafny language specification, addressing ambiguous or under-documented language features: amzn.to/4cpKnuC #AutomatedReasoning
Amazon Science’s Post
More Relevant Posts
-
This month’s newsletter features Amazon’s research at ICML 2024, CVPR 2024, and NAACL 2024, awards and recognitions in our science community, and several generative AI updates.
June 2024
Amazon Science on LinkedIn
To view or add a comment, sign in
-
New information retrieval models are constantly being released, but evaluating them takes time. At The Web Conference, Amazon researchers proposed adding new models to an ensemble and then using Shapley value analysis to determine whether to keep them: https://lnkd.in/e3jyKUSM #LargeLanguageModels #LLMs #GNNs
Interpretable ensemble models improve product retrieval
amazon.science
To view or add a comment, sign in
-
How can a machine that generates language in such a mechanical way grasp words’ meanings? Applied scientist Matthew Trager (left) and vice president and distinguished scientist Stefano Soatto (right) discuss whether large language models understand the world: https://lnkd.in/ebRTAuez #LLMs #GenerativeAI #AWS
To view or add a comment, sign in
-
To address the challenge of creating a balanced dataset when sensitive-group information is unavailable at deployment time, Amazon researchers used a small labeled dataset to train a proxy function that assigns sampling probabilities based on the proxy classification, without revealing significantly more about the group membership of any individual sample than can be ascertained from base rates alone. Their work received Best Paper Award at this year's Symposium on Foundations of Responsible Computing (FORC 2024). Read the full paper: amzn.to/45DPVzj #MachineLearning
To view or add a comment, sign in
-
From investing in new carbon-free energy projects to advocating for grid modernization and collaborating with key stakeholders around the world, here are five ways Amazon is working toward a cleaner energy future. #TheClimatePledge #Sustainability
Five ways Amazon is preparing for the energy demands of the future
amazon.science
To view or add a comment, sign in
-
CVPR 2024 ✅ Thanks to everyone who visited the Amazon Science booth at last week's conference. Stay up-to-date with Amazon's research in computer vision here: amzn.to/computer-vision
-
+4
To view or add a comment, sign in
-
Congrats to JQI Fellow, UMD Adjunct Professor, and Amazon Scholar Alexey Gorshkov, who supports our team at the AWS Center for Quantum Computing, for being honored with the IEEE Photonics Society Quantum Electronics Award for his research contributions in the areas of understanding, designing, and controlling interacting quantum systems. Learn more about the award: amzn.to/3z6UaHw Amazon Web Services (AWS), UMIACS, National Institute of Standards and Technology (NIST), Joint Quantum Institute #QuantumComputing #AWS
To view or add a comment, sign in
-
The approach utilizes modality-specific encoders and task-specific decoders to create a shared diffusion space. In experiments, Amazon researchers demonstrate improved performance compared to single-purpose models, highlighting the potential of multimodal and multitask training in diffusion models. #ComputerVision #GenerativeAI
Generalizing diffusion modeling to multimodal, multitask settings
amazon.science
To view or add a comment, sign in
359,543 followers
Principal Product Marketing Manager, Amazon Science
4d👏🏼👏🏼