JiahaoShan / Glacier-tax-1099-B-Stock-Transactions-Helper
Chrome extension for helping nonresident alien fill in the 1099-B stock transaction
☆33Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Glacier-tax-1099-B-Stock-Transactions-Helper
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆37Updated last year
- A Learning Environment for Theorem Proving☆72Updated 2 years ago
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆153Updated 5 years ago
- LaTeX template in accordance with the University of Southern California Theses and Dissertations Formatting Guidelines.☆63Updated last year
- EE227C (Spring 2018) Course page☆217Updated 3 years ago
- Review notes for EE127/227A, based on the Spring 2017 iteration of the course.☆20Updated 6 years ago
- Karel dataset for program synthesis and program induction☆78Updated 6 years ago
- Feasible target propagation code for the paper "Deep Learning as a Mixed Convex-Combinatorial Optimization Problem" by Friesen & Domingos…☆28Updated 6 years ago
- ☆27Updated 6 years ago
- Optimizing control variates for black-box gradient estimation☆162Updated 5 years ago
- Off the convex path☆68Updated last year
- ☆24Updated 3 years ago
- An easy way to get latex snippets into Keynote☆22Updated 7 years ago
- Some hard problems for reinforcement learning.☆32Updated 6 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated last year
- Logistic Circuits☆35Updated 5 years ago
- LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.re…☆227Updated 11 months ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆34Updated 6 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆27Updated 4 years ago
- Light text markup for creating websites☆284Updated 4 years ago
- LaTeX class file for writing dissertations at UC San Diego☆95Updated 3 years ago
- DeepLearning Course Assignments☆16Updated 7 years ago
- Code to reproduce the experiments in The Mirage of Action-Dependent Baselines in Reinforcement Learning.☆17Updated 6 years ago
- Resources for people running research groups.☆206Updated 7 years ago
- ☆101Updated 4 years ago
- Benchmark for LP-relaxed robustness verification of ReLU-networks☆40Updated 5 years ago
- ☆105Updated 2 years ago
- SVG/Javascript-based library for creating presentations/figures☆58Updated 2 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆405Updated 2 years ago