Proyek riset & pengembangan

EAGER: Trustworthy and Ethical AI Tutors with First-Principles/Axiomatic Reasoning

Ringkasan tujuan riset

AIR.QISE memadukan model bahasa dengan pembuktian formal serta simulasi numerik untuk tutor kuantum yang menjelaskan langkah penalaran dan memeriksa jawaban sendiri.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Linimasa NSF 2419204Periode tercatat 2024-05-15 sampai 2026-06-30.NSF 2419204MulaiAkhir tercatat202420272024-05-152026-06-30
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Proyek riset & pengembangan

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan National Science Foundation (NSF). Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Knowledge base khusus domain menghubungkan kueri bahasa alami dengan alat seperti Lean, Sympy dan QuTiP. Modul pembelajaran penguatan memperbarui pengambilan keputusan, sementara perhitungan serta logika memvalidasi inferensi dan mengakui pertanyaan yang belum terjawab. Proyek EAGER menargetkan pembuktian konsep dialog berbasis prinsip pertama. Tingkat halusinasi mendekati nol merupakan hipotesis yang harus diuji, bukan jaminan akurasi semua materi tutor.

Baca uraian penerbit

Konteks pengembangan

Institusi penerima pada catatan
Massachusetts Institute of Technology
Program
OFFICE OF MULTIDISCIPLINARY AC
Periode pendanaan tercatat
2024-05-15 → 2026-06-30

Proyek kolaboratif beberapa institusi diwakili oleh satu catatan penghargaan. Institusi di atas adalah penerima pada catatan tersebut.

Klasifikasi NSF

  • Directorate for Engineering
  • Electrical, Communications, & Cyber Systems

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status pendanaan menurut NSFTidak aktif (catatan pendanaan NSF)

Catatan NSF tidak melaporkan tingkat kesiapan teknologi (TRL). Status pendanaan aktif atau berakhir bukan bukti keberhasilan riset.

Batas informasi

Profil merangkum tujuan dan pendekatan dalam abstrak pendanaan NSF. Status pendanaan tidak membuktikan keberhasilan riset, kesiapan teknologi, atau ketersediaan produk. Hasil dan performa belum diverifikasi secara independen; tinjauan ahli belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NSF.