Graph2Tac: Online Representation Learning of Formal Math Concepts
- Lasse Blaauwbroek
- Miroslav Olšák
- et al.
- 2024
- ICML 2024
Publications
Date
Featured collections
Popular topics
3489 results for Mathematical Sciences
Optimizing simultaneous autoscaling for serverless cloud computing
- Harold Ship
- Evgeny Shindin
- et al.
- 2024
- CLOUD 2024
PILOT: An O (1/K)-Convergent Approach for Policy Evaluation with Nonlinear Function Approximation
- Zhuqing Liu
- Xin Zhang
- et al.
- 2024
- ICLR 2024
On the Convergence to a Global Solution of Shuffling-Type Gradient Algorithms
- Lam Nguyen
- Trang H. Tran
- 2023
- NeurIPS 2023
SLM: A Smoothed First-Order Lagrangian Method for Structured Constrained Nonconvex Optimization
- 2023
- NeurIPS 2023
On the Convergence and Sample Complexity Analysis of Deep Q-Networks with epsilon-Greedy Exploration
- Shuai Zhang
- Hongkang Li
- et al.
- 2023
- NeurIPS 2023
An Alternating Optimization Method for Bilevel Problems under the Polyak-Łojasiewicz Condition
- Quan Xiao
- Songtao Lu
- et al.
- 2023
- NeurIPS 2023
Near-Optimal Algorithms for Gaussians with Huber Contamination: Mean Estimation and Linear Regression
- Ilias Diakonikolas
- Daniel Kane
- et al.
- 2023
- NeurIPS 2023
A Spectral Algorithm for List-Decodable Covariance Estimation in Relative Frobenius Norm
- Ilias Diakonikolas
- Daniel Kane
- et al.
- 2023
- NeurIPS 2023
On Partial Optimal Transport: Revising the Infeasibility of Sinkhorn and Efficient Gradient Methods
- Anh Duc Nguyen
- Tuan Dung Nguyen
- et al.
- 2024
- AAAI 2024