Verifikasi neuro-formal (NFV) memakai agen pengodean AI untuk memformalkan masalah verifikasi tingkat sumber dari bahasa arus utama menjadi kewajiban pembuktian dalam bahasa yang sadar verifikasi, yang diselesaikan oleh verifier yang sound…
Metode
NFV beroperasi melalui pipeline yang mengubah masalah verifikasi tingkat sumber menjadi putusan yang diperiksa mesin. Prosesnya dimulai dengan agen pengodean AI yang menerima masu…
Hasil
Penulis menjalankan eksperimen dengan model frontier terkini pada dataset berimbang berisi solusi Python yang benar dan yang cacat. Dataset dirancang untuk menguji kemampuan membuktikan program yang …
Jacek Dąbrowski; Manjeshwar Aniruddh Mallya; Alessio Ferrari; Mohammad Amin Zadenoori; Yijun Yu
Ringkasan
Makalah ini menyajikan evaluasi empiris lintas tugas pertama terhadap LLM yang mencakup lima aktivitas requirements engineering, menggabungkan eksperimen terkontrol pada model open-source ringan dengan studi kasus industri eksploratif pada…
Metode
Desain studi ini terdiri dari dua investigasi empiris yang saling melengkapi. **Studi 1: Eksperimen Terkontrol pada LLM Open-Source Ringan** - **Model:** Lima LLM open-source ring…
Hasil
Abstrak melaporkan bahwa kinerja LLM sangat bergantung pada tugas, berkisar dari sedang hingga tinggi. Tidak ada satu model pun yang secara konsisten mengungguli model lainnya di seluruh aktivitas ya…
ExploreAI memakai agen LLM untuk merencanakan eksplorasi, menangkap bukti multi-sudut pandang, dan memverifikasi temuan secara mandiri pada aplikasi VR dan 3D black-box, lalu menyimpan setiap eksekusi sebagai Basis Pengetahuan Eksplorasi (…
Metode
ExploreAI menguraikan loop eksplorasi-dan-pengujian menjadi modul-modul khusus yang dikoordinasikan oleh perencana LLM. Persepsi berulang, navigasi, eksekusi penangkapan multi-sud…
Hasil
Di enam scene dalam dan luar ruangan di Unity, AI2-THOR, dan BeamNG, ExploreAI membangun EKB dengan kelengkapan tinggi pada mode eksplorasi lengkap maupun eksplorasi bertarget. Hasil kelengkapan ini …
Makalah ini menyajikan driver perangkat lunak yang membawa kemampuan penentuan waktu presisi ke SDR HackRF One berbiaya rendah, pertama melalui pembungkus Python dan kemudian sebagai driver kompatibel SoapySDR yang dihasilkan melalui alur …
Metode
Proses pengembangan dimulai dengan memperluas firmware HackRF One asli untuk menyertakan fungsi penentuan waktu bagi pengambilan sampel tersinkronisasi, kendali skala waktu, dan p…
Hasil
Alur kerja pengembangan berbantuan AI menghasilkan driver kompatibel SoapySDR yang beroperasi setelah hanya melalui debugging terbatas. Penulis melaporkan bahwa pendekatan ini mengurangi upaya pengem…
Artikel ini membandingkan Pyotr Tchaadaev dan para pemikir Renaisans Bengal, dengan argumen bahwa keduanya merespons krisis modernisasi di Rusia dan India dengan menciptakan 'filosofi krisis' yang membuka epoch baru dalam sejarah intelektu…
Metode
Penelitian ini menggunakan pendekatan historis-intelektual komparatif, dengan mengacu pada konsep "pemikir problematik" dan "filosofi krisis" M. Buber sebagai kerangka analitis. P…
Hasil
Baik Pyotr Tchaadaev maupun para intelektual Bengal mengajukan pertanyaan tentang keadaan spiritual, moral, dan sosial masyarakat, tentang esensi sejati agama, tentang tradisi, sejarah, struktur sosi…
Shalakha John; R. Mohapatra; Mohd Abass; A. P; R. Ranjith; Sagar Chaudhary; Karnati Anjireddy
Ringkasan
Pertanian organik meningkatkan sifat fisik, kimia, dan biologi tanah, sehingga berkontribusi pada jasa ekosistem seperti sekuestrasi karbon dan keanekaragaman hayati, meskipun ada trade-off hasil panen. Hambatannya meliputi variabilitas ha…
Metode
Tinjauan ini didasarkan pada sintesis komprehensif atas literatur yang ada, termasuk uji lapangan jangka panjang, meta-analisis, dan studi empiris. Bukti dikumpulkan dari sumber-s…
Hasil
Sistem organik meningkatkan sifat fisik tanah dengan memperbaiki stabilitas agregat, menurunkan bulk density, dan meningkatkan kapasitas infiltrasi air. Secara kimia, sistem ini mendorong kadar bahan…
Studi ini mengevaluasi model pengajaran berbasis M-STEM untuk diagnostik laboratorium, menunjukkan kepuasan mahasiswa yang lebih tinggi dan integrasi multidisiplin yang lebih baik dibandingkan pengajaran tradisional.
Metode
Mahasiswa jurusan kedokteran klinis di South China University of Technology diikutsertakan dalam studi ini dan secara acak ditugaskan ke kelompok tradisional atau kelompok pembela…
Hasil
Untuk kuliah laboratorium, proporsi mahasiswa yang sangat puas jauh lebih tinggi pada kelompok M-STEM dibandingkan kelompok tradisional (79,3% vs 51,6%, P = ,025). Semua peserta di kelompok M-STEM me…
Studi ini mengkaji bagaimana ketentuan hukum yang ambigu dalam Undang-Undang Informasi dan Transaksi Elektronik serta Kitab Undang-Undang Hukum Pidana Indonesia menyebabkan kriminalisasi berlebihan terhadap kritik, sehingga menimbulkan efe…
Metode
Studi ini menggunakan pendekatan yuridis normatif, menganalisis sumber hukum primer seperti Undang-Undang Informasi dan Transaksi Elektronik (UU ITE) dan Kitab Undang-Undang Hukum…
Hasil
Analisis mengungkap bahwa ketentuan hukum yang ambigu, terutama yang berkaitan dengan pencemaran nama baik dan ujaran kebencian, telah menyebabkan kriminalisasi berlebihan dan penegakan hukum yang ti…
Kajian ini menelaah bagaimana budaya terpinggirkan dalam teori hubungan internasional arus utama dan mengargumentasikan perlunya perspektif budaya untuk memahami urusan global secara lebih baik.
Metode
Kajian ini memakai pendekatan teoretis dan analitis, meninjau dan mengevaluasi teori-teori utama hubungan internasional—realisme, idealisme, neorealisme, dan neoliberalisme—melalu…
Hasil
Analisis mengungkapkan bahwa teori-teori hubungan internasional arus utama sebagian besar telah menyingkirkan budaya. Realisme dan neorealisme berfokus pada kekuatan dan keamanan, idealisme dan neoli…
Muhammad Irfan; Waas Khan; Afshan Bano Kandhro; Ali Raza
Ringkasan
Studi ini menunjukkan bahwa pasar keuangan, manajemen strategis, dinamika pemasaran, dan kebijakan makroekonomi secara bersama-sama dan interaktif mendorong pertumbuhan ekonomi berkelanjutan, dengan kebijakan makroekonomi menunjukkan efek …
Metode
Studi ini menggunakan dataset panel komprehensif yang mencakup 120 negara dari 2014 hingga 2023. Pertumbuhan ekonomi berkelanjutan diukur menggunakan indeks komposit yang menggabu…
Hasil
Hasil regresi menunjukkan bahwa keempat dimensi—pasar keuangan, manajemen strategis, dinamika pemasaran, dan kebijakan makroekonomi—memiliki efek positif yang signifikan secara statistik terhadap per…
