← Back to papers

2024 ICML ICML 2024

Subgoal-based Demonstration Learning for Formal Theorem Proving

Authors

Xueliang Zhao , Wenda Li , Lingpeng Kong

Related papers

Learning Latent Dynamic Robust Representations for World Models 2024

Beyond Individual Input for Deep Anomaly Detection on Tabular Data 2024

Risk Estimation in a Markov Cost Process: Lower and Upper Bounds 2024

Collapse-Aware Triplet Decoupling for Adversarially Robust Image Retrieval 2024

Ranking-based Client Imitation Selection for Efficient Federated Learning 2024