DafnyBench: A Benchmark for Formal Software VerificationView PDF#AI#Verification#Paper#PDF#Benchmark#Software Engineering#Machine Learning#Programming Languages·arxiv.org·Jun 14, 2024DafnyBench: A Benchmark for Formal Software Verification
New computer vision method helps speed up screening of electronic materials#3D Printing#Algorithms#AI#Automation#Materials#Mechanical Engineering#Research#Machine Learning·news.mit.edu·Jun 11, 2024New computer vision method helps speed up screening of electronic materials
Army Selects Palantir to Deliver TITAN Next Generation Deep-Sensing Capability in Prototype Maturation Phase(Scratch the agent hacker van, Daisy.)#Defense#AI#Palantir#Machine Learning·businesswire.com·Mar 9, 2024Army Selects Palantir to Deliver TITAN Next Generation Deep-Sensing Capability in Prototype Maturation Phase
No Priors Ep. 45 | With Reid Hoffman#AI#Machine Learning#Podcasts·youtube.com·Dec 22, 2023No Priors Ep. 45 | With Reid Hoffman
Generative AI: Language, Images and Code - A Conversation with CSAIL#Generative Models#Event#Computer Science#AI#Machine Learning·eventbrite.com·Mar 16, 2023Generative AI: Language, Images and Code - A Conversation with CSAIL
Why are VCs getting so excited about generative AI?#Investments#AI#Machine Learning#GAN#Generative Models#Large Language Models·sifted.eu·Dec 23, 2022Why are VCs getting so excited about generative AI?
MIT Sloan research on artificial intelligence and machine learning | MIT Sloan#Management#AI#Machine Learning·mitsloan.mit.edu·Nov 8, 2022MIT Sloan research on artificial intelligence and machine learning | MIT Sloan
How AI Is Changing Medical Imaging#Medical#Image Recognition#AI#Machine Learning·time.com·Nov 7, 2022How AI Is Changing Medical Imaging
Trends in ML @ICML 2022#AI#Machine Learning#Review#Academics·youtube.com·Oct 18, 2022Trends in ML @ICML 2022
Is your doctor providing the right treatment? This healthcare AI tool can help#AI#Medical#Recommendations#Tools#Graph Database#Machine Learning·venturebeat.com·Aug 14, 2022Is your doctor providing the right treatment? This healthcare AI tool can help
AI, ML, and Data Engineering InfoQ Trends Report—August 2022#Trends#AI#Machine Learning#Data Science·infoq.com·Aug 3, 2022AI, ML, and Data Engineering InfoQ Trends Report—August 2022
An Inside Look at Primer’s R&D#AI#Natural Language Processing#Research#Machine Learning·primer.ai·Aug 3, 2022An Inside Look at Primer’s R&D
Top Artificial Intelligence (AI) and Machine Learning (ML) Blogs/ Websites to Follow in 2022#Blog#Survey#AI#Machine Learning·marktechpost.com·Jul 27, 2022Top Artificial Intelligence (AI) and Machine Learning (ML) Blogs/ Websites to Follow in 2022
Meta’s AI Takes an Unsupervised Step Forward#Meta#AI#Machine Learning#MAE#SSL#ViT·spectrum.ieee.org·Jun 30, 2022Meta’s AI Takes an Unsupervised Step Forward
The Power and Pitfalls of AI for US Intelligence#Government#AI#Strategic Analysis#Machine Learning#Criticism·wired.com·Jun 22, 2022The Power and Pitfalls of AI for US Intelligence
Stanford Seminar - Forecasting and Aligning AI#AI#Forecasting#Alignment#Natural Language Processing#Questions and Answers#Machine Learning#Hypermind·youtube.com·Jun 8, 2022Stanford Seminar - Forecasting and Aligning AI
How artificial intelligence 'blew up' tennis#Sports#Data Science#AI#Machine Learning·bbc.com·May 31, 2022How artificial intelligence 'blew up' tennis
6 AI-powered intelligent plugins that could change the way you make music#AI#Music#Machine Learning·musicradar.com·Jan 29, 20226 AI-powered intelligent plugins that could change the way you make music
Neuron Bursts Can Mimic a Famous AI Learning Strategy#Neuroscience#AI#Learning#Machine Learning·wired.com·Oct 31, 2021Neuron Bursts Can Mimic a Famous AI Learning Strategy
Facebook AI Introduces Multiscale Vision Transformers (MViT), A Transformer Architecture For Representation Learning From Visual Data#Computer Vision#AI#Facebook#Machine Learning·marktechpost.com·Aug 16, 2021Facebook AI Introduces Multiscale Vision Transformers (MViT), A Transformer Architecture For Representation Learning From Visual Data
AI Generated Art Scene Explodes as Hackers Create Groundbreaking New Tools CLIP+VQ-GAN#AI#Graphics#Natural Language Processing#Artwork#Machine Learning#OpenAI·vice.com·Jul 12, 2021AI Generated Art Scene Explodes as Hackers Create Groundbreaking New Tools CLIP+VQ-GAN