Antzeko izenburuak

• $\forall$uto$\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks
  nork: Karia, Rushang, et al.
  Argitaratua: (2024)
• From Real World to Logic and Back: Learning Generalizable Relational Concepts For Long Horizon Robot Planning
  nork: Shah, Naman, et al.
  Argitaratua: (2024)
• Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks
  nork: Karia, Rushang, et al.
  Argitaratua: (2024)
• Autonomous Option Invention for Continual Hierarchical Reinforcement Learning and Planning
  nork: Nayyar, Rashmeet Kaur, et al.
  Argitaratua: (2024)
• Context-Sensitive Abstractions for Reinforcement Learning with Parameterized Actions
  nork: Nayyar, Rashmeet Kaur, et al.
  Argitaratua: (2025)