Graph2Tac: Online Representation Learning of Formal Math Concepts
- Lasse Blaauwbroek
- Miroslav Olšák
- et al.
- 2024
- ICML 2024
Conference paper
Publications
3602 results for Mathematical Sciences
Distributed Bilevel Optimization with Communication Compression
- Yutong He
- Jie Hu
- et al.
- 2024
- ICML 2024
Conference paperFederated Learning for Discrete Optimal Transport with Large Population under Incomplete Information
- Juntao Chen
- Yingdong Lu
- 2024
- ISMP 2024
Invited talkMixed selectivity: Cellular computations for complexity
- Kay M. Tye
- Earl K. Miller
- et al.
- 2024
- Neuron
ReviewEvolving scientific discovery by unifying data and background knowledge with AI Hilbert
- Ryan Cory-Wright
- Cristina Cornelio
- et al.
- 2024
- Nature Communications
PaperEpidemiological topology data analysis links severe COVID-19 to RAAS and hyperlipidemia associated metabolic syndrome conditions
- Dan Platt
- Aritra Bose
- et al.
- 2024
- ISMB 2024
Conference paperContinuation Methods for point clouds which represent smooth manifolds
- Michael E. Henderson
- 2024
- MLDS 2024
PosterOptimizing simultaneous autoscaling for serverless cloud computing
- Harold Ship
- Evgeny Shindin
- et al.
- 2024
- CLOUD 2024
Conference paperGraph Reconstruction from Noisy Random Subgraphs
- Andrew McGregor
- Rik Sengupta
- 2024
- ISIT 2024
Conference paperEntanglement Sharing Across a Damping-Dephasing Channel
- Vikesh Siddhu
- Dina Abdelhadi
- et al.
- 2024
- ISIT 2024
Conference paper