media Hugging Face Forums · 2 hari lalu · open_models

Proposal untuk sistem dekomposisi proposisi dan penalaran yang didorong oleh kontradiksi

Diterjemahkan dari English → Bahasa Indonesia

Seorang penulis mengusulkan desain penelitian untuk sistem penalaran yang mendeteksi kontradiksi antara dua proposisi dengan menguraikannya menjadi komponen yang lebih kecil dan mencari tabrakan logis, alih-alih mengandalkan penilaian langsung LLM.

Sistem memisahkan eksplorasi probabilistik dari verifikasi formal untuk meningkatkan efisiensi di bawah anggaran generasi yang terbatas.
Identifikasi proposisi menggunakan hubungan implikasi untuk memetakan konten yang sesuai di berbagai struktur logis.
Strategi pencarian tabrakan bertujuan menemukan bentuk positif dan negatif dari subjek yang sama lebih efisien daripada pencarian tanpa arah.
Implementasi awal menargetkan logika proposisional, mengeluarkan CONTRADICTION, CONSISTENT, atau UNKNOWN.

Penulis mencari diskusi, kritik, pendekatan alternatif, dan kolaborator untuk membantu mengimplementasikan atau menguji hipotesis ini.

Kepentingan 1/3 Kepercayaan 1/3 Hugging Face Forums Reasoning models Research paper

Baca aslinya

TelecomGPT-R1: Pelatihan Pasca-Unifikasi untuk Penalaran Melintasi Tugas Telekomunikasi Heterogen

Para peneliti memperkenalkan TelecomGPT-R1, sebuah keluarga model penalaran telekomunikasi terpadu sumber terbuka yang dirancang untuk mengotomatisasi tugas teknik dengan menalar atas standar, konfigurasi, dan log. Model ini mengatasi keterbatasan LLM umum dan khusus yang ada melalui pendekatan terstruktur yang mencakup aspek protokol, pengetahuan, pemodelan, dan gangguan.

media Don't Worry About the Vase · 51 hari lalu · 41 tayangan

Astra dari OpenAI memecahkan 10 masalah matematika terbuka utama

OpenAI telah merilis hasil dari model internalnya yang belum dirilis, Astra, yang berhasil memecahkan sepuluh masalah terbuka signifikan dalam matematika. Solusi-solusi tersebut dihasilkan oleh model dan selanjutnya diformalkan menjadi sertifikat Lean oleh peneliti manusia.

blog Simon Willison · 53 hari lalu · 51 tayangan

Model Astra OpenAI memecahkan sepuluh masalah matematika lama menggunakan GPT-5.6 Sol

OpenAI telah merilis solusi untuk sepuluh masalah matematika dan ilmu komputer teoretis yang tidak mengalami kemajuan pada hasil utamanya selama setidaknya satu dekade, menggunakan versi internal dari model utama berikutnya, Astra.

arxiv arXiv cs.AI · 62 hari lalu · 37 tayangan

PoTRE memperkenalkan kerangka kerja multi-agen heterogen untuk penalaran saat pengujian

Para penulis memperkenalkan PoTRE (Poly-Topological Reasoning Ensembles), sebuah kerangka kerja yang dirancang untuk mengatasi keterbatasan prompting aliran tunggal standar dalam tugas penalaran kompleks. PoTRE memisahkan inferensi menjadi empat agen yang berbeda: Agen Refinement Adversarial, Agen Perencanaan Strategis Hierarkis, Agen Pencarian Spektrum, dan Agen Rantai Langsung.

arxiv arXiv cs.AI · 69 hari lalu · 22 tayangan

Deep Interaction memungkinkan koreksi manusia yang presisi atas kesalahan penalaran LLM

Para penulis mengusulkan Deep Interaction, metode interaksi manusia-AI yang efisien yang dirancang untuk memperbaiki kesalahan penalaran dalam model bahasa besar tanpa memerlukan regenerasi respons penuh. Mekanisme ini memungkinkan pengguna mengedit langsung respons Chain-of-Thought asli, mempertahankan langkah-langkah yang akurat sambil memperbaiki kesalahan.