ICLR 2025 "knowledge generalization" Papers
2 papers found
LeanAgent: Lifelong Learning for Formal Theorem Proving
Adarsh Kumarappan, Mohit Tiwari, Peiyang Song et al.
ICLR 2025posterarXiv:2410.06209
12
citations
NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks in Open Domains
Wonje Choi, Jinwoo Park, Sanghyun Ahn et al.
ICLR 2025posterarXiv:2503.00870
7
citations