paper-with-me

홈 › Papers

TRACE: A Time-Relational Approximate Cubing Engine for Fast Data Insights

2024-01-12 · Suharsh Sivakumar, Jonathan Shen, Rajat Monga

A large class of data questions can be modeled as identifying important slices of data driven by user defined metrics. This paper presents TRACE, a Time-Relational Approximate Cubing Engine that enables interactive analysis on such slices with a low upfront cost - both in space and computation. It does this by materializing the most important parts of the cube over time enabling interactive querying for a large class of analytical queries e.g. what part of my business has the highest revenue growth ([SubCategory=Sports Equipment, Gender=Female]), what slices are lagging in revenue per user ([State=CA, Age=20-30]). Many user defined metrics are supported including common aggregations such as SUM, COUNT, DISTINCT COUNT and more complex ones such as AVERAGE. We implemented and deployed TRACE for a variety of business use cases.

📄 PDF Abstract BibTeX arXiv:2401.06336

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

2024-01-24 · Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright 외

This paper introduces AlphaMapleSAT, a novel Monte Carlo Tree Search (MCTS) based Cube-and-Conquer (CnC) SAT solving method aimed at efficiently solving challenging combinatorial problems. Despite the tremendous success …

Heuristic Search

Learning How to Cube

2026-05-15 · Ferhat Erata, Sam Kouteili, Thanos Typaldos, Timos Antonopoulos 외 arxiv

Despite the effectiveness of Cube-and-Conquer (C&C) for solving challenging Boolean Satisfiability (SAT) problems, no prior work has shown that transformer-based models can learn effective cubing heuristics. We introduce…

Smart Cubing for Graph Search: A Comparative Study

2025-01-27 · Markus Kirchweger, Hai Xia, Tomáš Peitl, Stefan Szeider

Parallel solving via cube-and-conquer is a key method for scaling SAT solvers to hard instances. While cube-and-conquer has proven successful for pure SAT problems, notably the Pythagorean triples conjecture, its applica…

CPU

Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems

2013-10-23 · Wolfgang Gatterbauer, Dan Suciu

Probabilistic inference over large data sets is a challenging data management problem since exact inference is generally #P-hard and is most often solved approximately with sampling-based methods today. This paper propos…

Management

Boosting Relational Deep Learning with Pretrained Tabular Models

2025-04-07 · Veronica Lachi, Antonio Longa, Beatrice Bevilacqua, Bruno Lepri 외

Relational databases, organized into tables connected by primary-foreign key relationships, are a common format for organizing data. Making predictions on relational data often involves transforming them into a flat tabu…

Deep LearningFeature Engineering