Todos los cursos actuales de Ciencia de la Computación en 2024
3150 Cursos
VerMCTS: Síntesis de Programas de Múltiples Pasos utilizando un Verificador, un Modelo de Lenguaje Grande y Búsqueda en Árbol.
Únete a nosotros mientras exploramos VerMCTS, una técnica revolucionaria en la síntesis de programas que reúne el poder de los verificadores, modelos de lenguaje grandes (LLMs) y la búsqueda en árboles de Monte Carlo (MCTS). Este enfoque de vanguardia se centra en producir programas confiables y validados en lenguajes como Dafny y Coq. Observa.
YouTube
Free Video
21 minutes
On-Demand
Juego Automatizado de Videojuegos de Supervivencia con Razonamiento de Sentido Común
Sumérgete en la fascinante intersección de la inteligencia artificial y los videojuegos mientras exploramos cómo la programación de conjuntos de respuestas combinada con el razonamiento de sentido común puede mejorar el juego automatizado en el popular juego de supervivencia Don't Starve. Este curso profundiza en el desarrollo de un agente s.
YouTube
Free Video
22 minutes
On-Demand
Un Marco de Argumentación Bipolar Ponderado y su Implementación Basada en ASP
Únase a nosotros mientras exploramos un enfoque revolucionario para la argumentación con el Marco de Argumentación Bipolar Ponderado (WBAF). Este sistema avanzado gestiona hábilmente tanto las relaciones de ataque como de apoyo entre argumentos, incorporando pesos de argumentos y proporcionando una comprensión más matizada de las dinámicas inv.
YouTube
Free Video
23 minutes
On-Demand
Encontrar buenos programas evitando los malos.
Encontrar Buen Programas Evitando los Malos
Adéntrese en el innovador campo de la síntesis de programas aprendiendo cómo probar la irrealizabilidad, un concepto esencial que une métodos formales con la generación de código basada en LLM. Este curso ilustra cómo estas técnicas están allanando el camino para soluciones más sofisticadas de pro.
YouTube
Free Video
1 hour 4 minutes
On-Demand
Agentes de Aprendizaje Usando Q-Learning: Teoría y Código - Curso de Agentes AI Conferencia 13
Únete a nosotros en la Clase 13 del Curso de IA Agente mientras nos adentramos en el mundo de Q-Learning. Esta sesión ofrece una visión completa del aprendizaje por refuerzo a través de detalladas perspectivas teóricas y una implementación práctica en Python. Adquirirás conocimientos esenciales sobre agentes de aprendizaje y explorarás la.
YouTube
Free Video
39 minutes
On-Demand
Refinamiento Automático de Programas: Guía y Verifica el Código del Modelo de Lenguaje Grande con Cálculo de Refinamiento
Únete a la vanguardia de la tecnología con Refine4LLM, un método revolucionario que guía y verifica el código generado por Modelos de Lenguaje Amplio. Aprovechando las técnicas de refinamiento de programas, este enfoque no solo asegura la corrección, sino que también busca hacer que los métodos formales sean más accesibles para una audiencia.
YouTube
Free Video
19 minutes
On-Demand
¡Solucionadores, uníos! Una semántica unificada simple para razonar con seguridad y acuerdo.
Embárcate en un viaje a través de la semántica unificada en este curso revelador, que arroja luz sobre cómo enfrentar problemas complejos de razonamiento. Utilizando reglas lógicas, recursión y agregación, aprende cómo diversas clases de solvers pueden fusionarse para elevar el potencial de resolución de problemas.
Ofrecido a través de YouTu.
YouTube
Free Video
58 minutes
On-Demand
Procesamiento y Recuperación de Documentos con LangChain en Python
Adéntrate en el fascinante mundo de la inteligencia documental a través del curso "Procesamiento y Recuperación de Documentos con LangChain en Python". Ofrecido por CodeSignal, este curso te capacita para aprovechar las capacidades de LangChain en Python. Descubre cómo cargar, dividir e incrustar documentos de manera eficiente, utilizando técn.
CodeSignal
Free Certificate
Not Specified
On-Demand
Conceptos básicos de chat de LangChain en Python
Desbloquea el potencial de la IA conversacional con nuestro curso, "Esenciales de Chat en LangChain con Python". Este curso te guía desde intercambios de mensajes fundamentales hasta técnicas complicadas de gestión de conversaciones. Sumérgete en la personalización de respuestas de IA para crear aplicaciones innovadoras de Procesamiento de Le.
CodeSignal
Free Certificate
Not Specified
On-Demand
Q-Learning Desatado: Construyendo Agentes Inteligentes
Únete a CodeSignal en un emocionante curso titulado Q-Learning Desatado: Construyendo Agentes Inteligentes. Este curso te llevará desde lo básico hasta la implementación avanzada del Q-learning, centrándose en desarrollar agentes inteligentes capaces de explorar y tomar decisiones basadas en políticas dinámicas.
Ya sea que seas nuevo en la i.
CodeSignal
Free Certificate
Not Specified
On-Demand
Creación de Imágenes con Imagen de Gemini y Flask
Únete a nuestro curso integral sobre generación de imágenes con IA utilizando la API de Gemini de Google y el modelo Imagen. Este curso cubre todo, desde la configuración del cliente hasta la creación de indicaciones efectivas y la gestión eficiente de imágenes generadas usando Flask. Ideal para aquellos que buscan mejorar sus habilidades en.
CodeSignal
Free Certificate
Not Specified
On-Demand
Construcción de un chatbot potenciado por RAG con LangChain y Python
Únete a nosotros para adentrarte en el mundo de los chatbots impulsados por RAG con nuestro curso especial utilizando LangChain y Python. Este curso es presentado por CodeSignal y se centra en integrar elementos cruciales como el procesamiento de documentos, la recuperación contextual y la memoria conversacional para asegurar una entrega pr.
CodeSignal
Free Certificate
Not Specified
On-Demand