Poster "progressive training" 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
Synergistic Integration of Coordinate Network and Tensorial Feature for Improving Neural Radiance Fields from Sparse Inputs
Mingyu Kim, Kim Jun-Seong, Se-Young Yun et al.
ICML 2024posterarXiv:2405.07857