Desarrollo de un modelo para la medición de la implicación lógica en problemas de matemática elemental

Actualmente, existen modelos de lenguaje integrados en sistemas que pueden superar las capacidades humanas en una variedad de pruebas. Sin embargo, ¿cómo podemos medir la coherencia de estos modelos? En este trabajo, proponemos un enfoque que utiliza la arquitectura de transformers para abordar el p...

Full description

Autores:

Sánchez Tovar, Edwin Alejandro

Tipo de recurso:

https://purl.org/coar/resource_type/c_7a1f

Fecha de publicación:

2024

Institución:

Universidad El Bosque

Repositorio:

Repositorio U. El Bosque

Idioma:

spa

OAI Identifier:

oai:repositorio.unbosque.edu.co:20.500.12495/13595

Acceso en línea:

https://hdl.handle.net/20.500.12495/13595

Palabra clave:

Axiomas e IA
Implicación lógica
IA en matemáticas
Aprendizaje automático
Aprendizaje profundo
Inteligencia artificial
Modelos de lenguaje
510
Axioms and AI
Logical implication
AI in mathematics
Machine learning
Deep learning
Artificial intelligence
Language model

Rights

openAccess

License

Attribution 4.0 International