Foundations

John Ellipsoids via Lazy Updates NeurIPS 2024 KITRO: Refining Human Mesh by 2D Clues and Kinematic-tree Rotation CVPR 2024 Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024 Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024 Learning-Augmented Priority Queues NeurIPS 2024 Learning Broadcast Protocols AAAI 2024 Learning Multiple Secrets in Mastermind ICML 2024 Learning on Large Graphs using Intersecting Communities NeurIPS 2024 Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation NeurIPS 2024 Learning Small Decision Trees with Few Outliers: A Parameterized Perspective AAAI 2024 Learning Structure-Aware Representations of Dependent Types NeurIPS 2024 Leveraging Camera Triplets for Efficient and Accurate Structure-from-Motion CVPR 2024 Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024 Link Prediction for Flow-Driven Spatial Networks WACV 2024 LinNet: Linear Network for Efficient Point Cloud Representation Learning NeurIPS 2024 Locally Rainbow Paths AAAI 2024 Low-degree phase transitions for detecting a planted clique in sublinear time COLT 2024 Low-Distortion Clustering with Ordinal and Limited Cardinal Information AAAI 2024 Low Rank Matrix Completion via Robust Alternating Minimization in Nearly Linear Time ICLR 2024 Matroid Semi-Bandits in Sublinear Time ICML 2024 Mayfly: a Neural Data Structure for Graph Stream Summarization ICLR 2024 Memory-Efficient Sequential Pattern Mining with Hybrid Tries JMLR 2024 Metric Clustering and MST with Strong and Weak Distance Oracles COLT 2024 Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024 MixSATGEN: Learning Graph Mixing for SAT Instance Generation ICLR 2024