Orman: Ölçeklenebilir ajanik yapay zeka için açık bir çerçeve
Bilim & Teknoloji

Orman: Ölçeklenebilir ajanik yapay zeka için açık bir çerçeve

Orchard, araştırma topluluğu için görev türleri arasında AI ajanlarını eğitmek ve değerlendirmek amacıyla açık kaynaklı bir çerçevedir. Araştırmacıların aynı altyapıyı yeniden kullanmalarını sağlayarak daha küçük modellerden güçlü performans elde ederken karmaşıklığı azaltır. "Orchard: Ölçeklenebilir ajans AI için açık bir çerçeve" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Echoverse: Derin, evrilen ortamlar bilgisayar kullanan ajanlar için
Bilim & Teknoloji

Echoverse: Derin, evrilen ortamlar bilgisayar kullanan ajanlar için

Bilgisayar kullanan yapay zeka ajanları, e-posta ve müşteri desteği gibi çok adımlı iş akışlarında zorluk yaşıyor. Echoverse, ajanları yalnızca daha fazla eğitim görevi sunmak yerine gerçekçi ortamlarda eğiterek, görevler, testler ve ortamlar geliştikçe onların gelişmesine yardımcı oluyor. "Echoverse: Bilgisayar kullanan ajanlar için derin, evrilen ortamlar" başlıklı yazı ilk olarak Microsoft Research'te yayınlandı.

Akshay Nambi, Yash Pandya, Sahil Gupta, Sarthak Harne, Archana Yadav, Kavyansh Chourasia, Yash Lara, Ahmed Awadallah, Ece Kamar
EvoLib: Deneyimi Evrilen Bilgiye Dönüştürmek
Bilim & Teknoloji

EvoLib: Deneyimi Evrilen Bilgiye Dönüştürmek

LLM'ler sadece daha fazla hatırlayarak daha akıllı hale gelmez. EvoLib, deneyimi evrilen bilgiye dönüştürerek, dağıtım sonrasında bile modellerin görevler arasında öğrenmesine ve uyum sağlamasına yardımcı olan yeniden kullanılabilir becerileri ve içgörüleri alır. EvoLib: Deneyimi evrilen bilgiye dönüştürmek başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Weijia Xu, Alessandro Sordoni, Zelalem Gero, Michel Galley, Eric Yuan, Jianfeng Gao
Rust Kriptografisinin SymCrypt'te Doğrulanması, Standartlardan Koda
Bilim & Teknoloji

Rust Kriptografisinin SymCrypt'te Doğrulanması, Standartlardan Koda

Kriptografik kod, modern bilgisayar sistemlerinde hayati korumaları destekler. Geliştiricilerin yazarken kodu doğrulamalarına yardımcı olan yeni bir yöntemin, uygulanırken ve evrim geçirdikçe hız ve uyumluluğu koruyarak nasıl çalıştığını öğrenin. "SymCrypt'te Rust kriptografisini doğrulama, standartlardan koda" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Samuel Lee, Jason Fisher, Jessica Krynitsky
Aurora 1.5: Açık temel modellerin hava durumu ve Dünya sistemi uygulamaları için genişletilmesi
Bilim & Teknoloji

Aurora 1.5: Açık temel modellerin hava durumu ve Dünya sistemi uygulamaları için genişletilmesi

Aurora 1.5, gerçek dünya hava durumu, iklim ve enerji uygulamaları için daha faydalı hale getirmek amacıyla, Aurora temel modeline 22 yeni değişken, saatlik zaman çözünürlüğü ve olasılıksal toplu tahmin ekliyor. "Aurora 1.5: Hava durumu ve Dünya sistemi uygulamaları için açık temel modellerin genişletilmesi" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Kenji Takeda, Jonathan Weyn, Amit Misra, Matt Corey, Kevin White, Shannon Monroe, Juan M. Lavista Ferres, Ashley Llorens, Bonnie Kruft
Flint: AI çağında bir görselleştirme dili
Bilim & Teknoloji

Flint: AI çağında bir görselleştirme dili

Kısa grafik spesifikasyonları yazması kolaydır, ancak genellikle ilham verici sonuçlar üretmez. Flint, AI ajanlarının kompakt, insan tarafından düzenlenebilir spesifikasyonlardan etkileyici grafikler oluşturmasına olanak tanıyan açık kaynaklı bir görselleştirme dilidir. "Flint: AI çağında bir görselleştirme dili" başlıklı yazı ilk olarak Microsoft Research'te yayınlandı.

Chenglong Wang, Alper Sarikaya, Scott Tsukamaki, Michel Galley, Jianfeng Gao
SkillOpt: Ajan becerileri olarak eğitilebilir parametreler
Bilim & Teknoloji

SkillOpt: Ajan becerileri olarak eğitilebilir parametreler

Yapay zeka ajanları genellikle talimatları veya becerileri manuel olarak değiştirildiği için başarısız olur ve bu değişikliklerin iyileşme garantisi yoktur. SkillOpt'un beceri düzenlemeyi bir eğitim sürecine nasıl dönüştürdüğünü öğrenin; bu, model ağırlıklarını değiştirmeden ajan davranışını daha güvenilir hale getirir. SkillOpt: Ajan becerileri eğitilebilir parametreler olarak başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Yifan Yang, Xuemei Gao, Qi Dai, Bei Liu, Kai Qiu, Dongdong Chen, Chong Luo
Memora: Soyutlama ve Özgüllüğü Dengeleyen Harmonik Bir Bellek Temsili
Bilim & Teknoloji

Memora: Soyutlama ve Özgüllüğü Dengeleyen Harmonik Bir Bellek Temsili

AI ajanları geçmiş konuşmaları hatırlayamaz. Sürekli olarak bağlamı yeniden yüklemeleri veya geri almaları gerekir, bu da görevler uzadıkça ve karmaşıklaştıkça daha az verimli hale gelir. Memora, depolanan ile geri alınan bilgiyi ayıran ölçeklenebilir bir bellek sistemi ile bunu çözer. "Memora: Soyutlama ve Özelleşme Arasında Dengeleyen Harmonik Bir Bellek Temsili" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Xuchao Zhang, Molly Xia, Mayukh Das, Anson Bastos, Chetan Bansal, Saravan Rajmohan
Talos: Nadir hastalık tanısını otomatik, yinelemeli genetik yeniden analiz ile ölçeklendirme
Bilim & Teknoloji

Talos: Nadir hastalık tanısını otomatik, yinelemeli genetik yeniden analiz ile ölçeklendirme

Talos, genetik tıpta önemli bir darboğazı çözmek için geliştirildi: insan inceleme süresi. Açık kaynaklı sistem, kapsam dahilindeki tanıların %90'ını geri kazanırken, her hasta için uzman incelemesi için yalnızca 1.3 aday varyantı ortaya çıkardı. "Talos: Otomatik, yinelemeli genetik yeniden analiz ile nadir hastalık tanısını ölçeklendirmek" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Ire, başka bir LOTUSLITE örneğini tanımladı.
Bilim & Teknoloji

Ire, başka bir LOTUSLITE örneğini tanımladı.

Proje Ire, zamanında bir kötü amaçlı yazılım örneğini inceledi ve tersine mühendislik yoluyla niyetini belirledi; çoğu büyük EDR aracının bunu tespit etmediği bir sırada LOTUSLITE özelliklerini tanımladı. Ire sonrası, başka bir LOTUSLITE örneği belirlendi. Bu yazı ilk olarak Microsoft Research'te yayınlandı.

Veri Formülatörü 0.7: Kurumsal veriler için AI destekli veri analitiği
Bilim & Teknoloji

Veri Formülatörü 0.7: Kurumsal veriler için AI destekli veri analitiği

Data Formulator, kurumsal veri iş akışları için AI destekli analizler sunuyor. Veri ekipleri, kullanıcıların verileri keşfetmesine, analiz etmesine ve AI ajanlarıyla görselleştirmesine olanak tanıyan AI hazır bir çalışma alanına kurumsal verileri kolayca getirebilir. Ham verileri eyleme geçirilebilir içgörülere dönüştürmek için. "Data Formulator 0.7: Kurumsal veriler için AI destekli veri analitiği" başlıklı yazı ilk olarak Microsoft Research'te yayınlandı.

Veri Formülatörü 0.7: Kurumsal veriler için AI destekli veri analitiği
Bilim & Teknoloji

Veri Formülatörü 0.7: Kurumsal veriler için AI destekli veri analitiği

Data Formulator, kurumsal veri iş akışları için AI destekli analizler sunuyor. Veri ekipleri, kullanıcıların verileri keşfetmesine, analiz etmesine ve AI ajanlarıyla görselleştirmesine olanak tanıyan AI'ya hazır bir çalışma alanına kurumsal verileri kolayca getirebilir. Ham verileri eyleme geçirilebilir içgörülere dönüştürmek için. Bu yazı, Data Formulator 0.7: Kurumsal veriler için AI destekli veri analitiği, ilk olarak Microsoft Research'te yayınlandı.

MagenticLite, MagenticBrain, Fara1.5: Küçük modeller için optimize edilmiş bir ajans deneyimi
Bilim & Teknoloji

MagenticLite, MagenticBrain, Fara1.5: Küçük modeller için optimize edilmiş bir ajans deneyimi

MagenticLite, küçük modeller için tarayıcı ve yerel dosya sistemi üzerinde tek bir iş akışında çalışan bir ajans sistemidir. Günlük görevlerde verimli ajans performansını desteklemek için özel modeller ve orkestrasyonu birleştirir. "MagenticLite, MagenticBrain, Fara1.5: Küçük modeller için optimize edilmiş ajans deneyimi" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

AI Delegasyonu ve Uzun Vadeli Güvenilirlik Üzerine Son Araştırmalarımız Hakkında Ek Notlar
Bilim & Teknoloji

AI Delegasyonu ve Uzun Vadeli Güvenilirlik Üzerine Son Araştırmalarımız Hakkında Ek Notlar

Son çalışmamız, “LLM'ler Delegasyon Yaptığınızda Belgelerinizi Bozar”, delegasyonlu iş akışlarındaki AI sistemlerinin güvenilirliği hakkında tartışmalara yol açtı. Bu çalışmaya olan ilgiyi takdir ediyoruz ve makalenin neyi iddia ettiğine ve neyi iddia etmediğine dair birkaç önemli noktayı netleştirmek istiyoruz. Araştırmanın amacı, uzun vadeli delegasyon ve […] konularında sağlam değerlendirme yöntemleri geliştirmektir. Bu yazı, Microsoft Research'te "AI Delegasyonu ve Uzun Vadeli Güvenilirlik Üzerine Son Araştırmamız Hakkında Ek Notlar" başlığıyla yayınlanmıştır.

mimalloc: Modern çağ için yeni, yüksek performanslı, ölçeklenebilir bir bellek ayırıcı
Bilim & Teknoloji

mimalloc: Modern çağ için yeni, yüksek performanslı, ölçeklenebilir bir bellek ayırıcı

mimalloc, modern, ölçeklenebilir bir bellek ayırıcıdır ve malloc ile free için bir doğrudan değiştirme çözümüdür. Göreceli olarak küçük (~12K satır), net iç veri yapıları ile birlikte gelir ve diğer projelere entegre edilmesi kolaydır. Sınırlı en kötü durum ayırma süreleri (işletim sistemi ilkelere kadar), sınırlı alan aşımı, düşük iç parçalanma ve neredeyse tamamen atomik işlemlere dayanarak minimal rekabet sunar. "mimalloc: Modern çağ için yeni, yüksek performanslı, ölçeklenebilir bir bellek ayırıcı" başlıklı yazı ilk olarak Microsoft Araştırma'da yayımlandı.

GridSFM: Elektrik şebekesi için yeni, küçük bir temel model
Bilim & Teknoloji

GridSFM: Elektrik şebekesi için yeni, küçük bir temel model

GridSFM'i tanıtıyoruz; milisaniyeler içinde AC optimal güç akışını tahmin edebilen küçük bir temel model. Bu model, verimliliği artırarak maliyet tasarrufları sağlıyor. GridSFM'in, şebeke operatörlerine yoğunluk, istikrar ve sistem sağlığına doğrudan görünürlük sağladığını öğrenin. "GridSFM: Elektrik şebekesi için yeni, küçük bir temel model" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Weiwei Yang, Andrea Britto Mattos Lima, Thiago Vallin Spina, Spencer Fowers, Baosen Zhang
MatterSim ile Malzemeler için AI Geliştirme: Deneysel Sentez, Daha Hızlı Simülasyon ve Çoklu Görev Modelleri
Bilim & Teknoloji

MatterSim ile Malzemeler için AI Geliştirme: Deneysel Sentez, Daha Hızlı Simülasyon ve Çoklu Görev Modelleri

MatterSim, malzeme bilimi için yapay zekanın yapabileceklerini genişletiyor; daha hızlı büyük ölçekli simülasyonlardan, yalnızca potansiyel enerji yüzeylerinin ötesinde özellikleri simüle etmek için yeni bir çoklu görev modeline, MatterSim-MT'ye kadar. "MatterSim ile malzemeler için yapay zekayı ilerletmek: deneysel sentez, daha hızlı simülasyon ve çoklu görev modelleri" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Andrew Fowler, Claudio Zeni, Daniel Zügner, Fabian Thiemann, Han Yang, Robert Pinsler, Shoko Ueda, Kenji Takeda