Graph2Tac: Online Representation Learning of Formal Math Concepts
- Lasse Blaauwbroek
- Miroslav Olšák
- et al.
- 2024
- ICML 2024
Publications
Date
Featured collections
Popular topics
41 results at ICML 2024
SF-DQN: Provable Knowledge Transfer using Successor Feature for Deep Reinforcement Learning
- Shuai Zhang
- Heshan Fernando
- et al.
- 2024
- ICML 2024
Larimar: Large Language Models with Episodic Memory Control
- 2024
- ICML 2024
LaMAGIC: Language-Model-based Topology Generation for Analog Integrated Circuits
- Chen-chia Chang
- Yikang Shen
- et al.
- 2024
- ICML 2024
What Improves the Generalization of Graph Transformers? A Theoretical Dive into the Self-attention and Positional Encoding
- Hongkang Li
- Meng Wang
- et al.
- 2024
- ICML 2024
Be Your Own Neighborhood: Detecting Adversarial Examples by the Neighborhood Relations Built on Self-Supervised Learning
- Zhiyuan He
- Yijun Yang
- et al.
- 2024
- ICML 2024
Revisiting Zeroth-Order Optimization for Memory-Efficient LLM Fine-Tuning: A Benchmark
- Yihua Zhang
- Pingzhi Li
- et al.
- 2024
- ICML 2024
Prompting4Debugging: Red-Teaming Text-to-Image Diffusion Models by Finding Problematic Prompts
- Zhi-yi Chin
- Chieh-ming Jiang
- et al.
- 2024
- ICML 2024
A new computationally efficient algorithm to solve Feature Selection for Functional Data Classification in high-dimensional spaces
- Tobia Boschi
- Francesca Bonin
- et al.
- 2024
- ICML 2024
Efficient Contrastive Learning for Fast and Accurate Inference on Graphs
- Teng Xiao
- Huaisheng Zhu
- et al.
- 2024
- ICML 2024