Neuro-formal verification (NFV) uses AI coding agents to formalize source-level verification problems from mainstream languages into proof obligations in verification-aware languages, discharged by sound verifiers. Experiments on Python sh…
Method
NFV beroperasi melalui pipeline yang mengubah masalah verifikasi tingkat sumber menjadi putusan yang diperiksa mesin. Prosesnya dimulai dengan agen pengodean AI yang menerima masu…
Results
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
Summary
This paper presents the first cross-task empirical evaluation of LLMs spanning five requirements engineering activities, combining a controlled experiment on lightweight open-source models with an exploratory industrial case study on front…
Method
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…
Results
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 uses an LLM agent to plan exploration, capture multi-view evidence, and self-verify findings in black-box VR and 3D applications, storing each run as a structured per-object Exploration Knowledge Base (EKB). Across six Unity, AI2…
Method
ExploreAI menguraikan loop eksplorasi-dan-pengujian menjadi modul-modul khusus yang dikoordinasikan oleh perencana LLM. Persepsi berulang, navigasi, eksekusi penangkapan multi-sud…
Results
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 …
This paper presents software drivers that bring precise timing capabilities to the low-cost HackRF One SDR, first via a Python wrapper and later as a SoapySDR-compatible driver generated through an AI-assisted workflow. The redesign cut de…
Method
Proses pengembangan dimulai dengan memperluas firmware HackRF One asli untuk menyertakan fungsi penentuan waktu bagi pengambilan sampel tersinkronisasi, kendali skala waktu, dan p…
Results
Alur kerja pengembangan berbantuan AI menghasilkan driver kompatibel SoapySDR yang beroperasi setelah hanya melalui debugging terbatas. Penulis melaporkan bahwa pendekatan ini mengurangi upaya pengem…
This article compares Pyotr Tchaadaev and the thinkers of the Bengal Renaissance, arguing that both responded to the crises of modernization in Russia and India by creating 'philosophies of crisis' that inaugurated new epochs in intellectu…
Method
Penelitian ini menggunakan pendekatan historis-intelektual komparatif, dengan mengacu pada konsep "pemikir problematik" dan "filosofi krisis" M. Buber sebagai kerangka analitis. P…
Results
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
Summary
Organic agriculture enhances soil physical, chemical, and biological properties, contributing to ecosystem services like carbon sequestration and biodiversity, despite yield trade-offs. Barriers include yield variability and certification …
Method
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…
Results
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…
This study evaluates an M-STEM-based teaching model for laboratory diagnostics, showing higher student satisfaction and improved multidisciplinary integration compared to traditional instruction.
Method
Mahasiswa jurusan kedokteran klinis di South China University of Technology diikutsertakan dalam studi ini dan secara acak ditugaskan ke kelompok tradisional atau kelompok pembela…
Results
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…
This study examines how ambiguous legal provisions in Indonesia’s Electronic Information and Transactions Law and Criminal Code lead to overcriminalization of criticism, creating a chilling effect on free expression. It calls for legal ref…
Method
Studi ini menggunakan pendekatan yuridis normatif, menganalisis sumber hukum primer seperti Undang-Undang Informasi dan Transaksi Elektronik (UU ITE) dan Kitab Undang-Undang Hukum…
Results
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…
This study examines how culture has been marginalized in mainstream international relations theories and argues for a cultural perspective to better understand global affairs.
Method
Kajian ini memakai pendekatan teoretis dan analitis, meninjau dan mengevaluasi teori-teori utama hubungan internasional—realisme, idealisme, neorealisme, dan neoliberalisme—melalu…
Results
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
Summary
This study demonstrates that financial markets, strategic management, marketing dynamics, and macroeconomic policies jointly and interactively promote sustainable economic growth, with macroeconomic policies showing the strongest individua…
Method
Studi ini menggunakan dataset panel komprehensif yang mencakup 120 negara dari 2014 hingga 2023. Pertumbuhan ekonomi berkelanjutan diukur menggunakan indeks komposit yang menggabu…
Results
Hasil regresi menunjukkan bahwa keempat dimensi—pasar keuangan, manajemen strategis, dinamika pemasaran, dan kebijakan makroekonomi—memiliki efek positif yang signifikan secara statistik terhadap per…
