AST-PAC: Inferencia de membresía para código guiada por AST

Resumen: Los modelos de lenguaje grande de código se entrenan con frecuencia en conjuntos de datos masivos que contienen código fuente con licencia restrictiva. Esto crea desafíos urgentes en materia de gobernanza de datos y derechos de autor. Los ataques de inferencia de membresía (MIA) pueden servir como mecanismo de auditoría para detectar el uso de datos no autorizados en los modelos.

Leer más →

Comentarios desactivados en AST-PAC: Inferencia de membresía para código guiada por AST

NL2LOGIC: Traducción guiada por AST de lenguaje natural a lógica de primer orden con modelos de lenguaje grandes

Resumen: El razonamiento automatizado es fundamental en ámbitos como el derecho y la gobernanza, donde verificar las afirmaciones frente a los hechos en los documentos requiere precisión e interpretabilidad. Trabajos recientes adoptan canales de razonamiento estructurados que traducen el lenguaje natural en lógica de primer orden y delegan la inferencia a solucionadores automatizados.

Leer más →

Comentarios desactivados en NL2LOGIC: Traducción guiada por AST de lenguaje natural a lógica de primer orden con modelos de lenguaje grandes

Fin del contenido

No hay más páginas por cargar