Thinklab-SJTU / LinSATNet
Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
☆63Updated 10 months ago
Alternatives and similar repositories for LinSATNet:
Users that are interested in LinSATNet are comparing it to the libraries listed below
- End-to-end distributionally robust optimization☆32Updated last year
- pseudocode and algorithms for the paper "Alpha$^2$: Discovering Logical Formulaic Alphas using Deep Reinforcement Learning"☆129Updated 8 months ago
- Official implementation non-autoregressive combinatorial optimizaiton solvers, covering our ICLR 2023 paper and SCIENTIA SINICA Informati…☆38Updated 5 months ago
- A curated list of time series prediction resources.☆53Updated 3 years ago
- ☆30Updated 2 years ago
- Code for NeurIPS2021 submission "A Surrogate Objective Framework for Prediction+Programming with Soft Constraints"☆13Updated 3 years ago
- ☆90Updated last year
- The official API of DoubleAdapt (KDD'23), an incremental learning framework for online stock trend forecasting, WITHOUT dependencies on t…☆91Updated 2 months ago
- Official implementation of PRUDEX-Compass☆42Updated last year
- ☆23Updated 11 months ago
- ☆13Updated 2 years ago
- ☆25Updated 2 years ago
- Code for the paper "Smart 'Predict, then Optimize'"☆72Updated 6 months ago
- Fintech literature, including journal, conference, book and useful links☆92Updated 2 years ago
- ☆46Updated last year
- ☆62Updated 2 years ago
- The source code and data of the paper "Instance-wise Graph-based Framework for Multivariate Time Series Forecasting".☆30Updated 3 years ago
- Code for "Decision-Focused Learning without Differentiable Optimization: Learning Locally Optimized Decision Losses"☆27Updated 11 months ago
- Multi-scale Two-way Deep Neural Network☆44Updated 4 years ago
- JAX-LOB: A GPU-Accelerated limit order book simulator to unlock large scale reinforcement learning for trading☆111Updated this week
- ☆27Updated last year
- ☆11Updated 5 months ago
- Efficient Continuous Space Policy Optimization for High-frequency Trading (DRPO)☆18Updated last year
- This forked repo additionally includes our DoubleAdapt (KDD'23) and MASTER (AAAI'24) for re-experiment.☆119Updated 2 months ago
- ☆25Updated 3 years ago
- Implementation of Accurate Multivariate Stock Movement Prediction via Data-Axis Transformer with Multi-Level Contexts☆25Updated 2 years ago
- ☆66Updated 4 years ago
- ☆99Updated 3 years ago
- ☆40Updated 2 years ago
- ☆41Updated last year