“There are some things which cannot be learned quickly, and time, which is all we have, must be paid heavily for their acquiring. They are the very simplest things, and because it takes a man’s life to know them the little new that each man gets from life is very costly and the only heritage he has to leave.” - Ernest Hemingway (More…)
News #
I will be updating both good news, bad news and all kinds of news.
Posts #
Solution of Evans PDE Problem 13
Bin Packing Problem (BPP)
Bin Packing Problem (BPP) # The Bin Packing Problem involves packing items into bins with minimum number of bins or minimum cost. It has many applications in logistics, manufacturing, and resource allocation. Recent Literature # Small Boxes Big Data: A Deep Learning Approach to Optimize Variable Sized Bin Packing BigDataService, 2017. paper Mao, Feng and Blanco, Edgar and Fu, Mingang and Jain, Rohit and Gupta, Anurag and Mancel, Sebastien and Yuan, Rong and Guo, Stephen and Kumar, Sai and Tian, Yayang
Boolean Satisfiability (SAT)
Boolean Satisfiability (SAT) # Boolean Satisfiability is a fundamental problem in computer science with applications to formal verification and automated reasoning. Machine learning approaches are increasingly being applied to improve SAT solver heuristics. Recent Literature # Graph neural networks and boolean satisfiability. Arxiv, 2017. paper Bünz, Benedikt, and Matthew Lamm. Learning a SAT solver from single-bit supervision. Arxiv, 2018. paper, code Selsam, Daniel, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, and David L. Dill.
Car Dispatch
Car Dispatch # Car dispatch focuses on optimally assigning vehicles to passenger requests, a key problem in autonomous driving and ride-hailing services. Recent Literature # Reinforcement Learning for Autonomous Taxi Fleet Dispatch NeurIPS, 2022. paper Philip Thomas, Bruno Castro Da Silva, Kemo Adeyemo, Jacob Tyo
Causal Discovery
Causal Discovery # Causal discovery focuses on learning the causal structure behind observational data, identifying causal relationships between variables. Recent Literature # A Scalable and General Framework for Privacy-Preserving Causality-Aware X AISTATS, 2024. paper Xupeng Cao, Yuming Huang, Zining Zhu, Jing Ma Scalable Computational Methods for Bayesian Additive Regression Trees Journal of Computational and Graphical Statistics, 2021. paper Brent R. Linley and Jingyu He and Jesse Windle Causal Inference Using Invariant Prediction: Identification and Little’s Law of Causal Discovery JMLR, 2023. paper